BACKGROUND Supervision is meant to improve the performance and motivation of community health workers (CHWs). However, most evidence on supervision relates to facility health workers. The Integrated Maternal, Newborn, and Child Health (MNCH) Program in Morogoro region, Tanzania, implemented a CHW pilot with a cascade supervision model where facility health workers were trained in supportive sup...

The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as discrete-event systems (DESs). In this paper, a new DES control synthesis technique that combines Moore Automata (MA) and ControlledAutomata theories to synthesize supervisors is presented. The obtained supervisors can mo...

Background Foot ulcers are a common reason for diabetes-related hospitalisation. Foot ulcer simulation training (FUST) programs have increased podiatry participants self-confidence to manage foot ulcers. However, supervisors’ perspectives on their participants attending these simulation programs have not been investigated. This mixed method (quantitative and qualitative) study aimed to investig...

| Modal logic is introduced into the modeling of discrete-event systems. Analysis within this framework includes formal reasoning about what supervisors know or do not know about a given system. This model can be used to develop control strategies that solve decentralized discrete-event control problems. When a problem cannot be solved using fully decentralized supervisors, reasoning about know...