While the goal of verification is to check whether a model of the system under consideration has a desired property, supervisory control achieves correctness by adding a so-called supervisor that prevents the occurrence of incorrect behaviors to the original system. Supervisory control methods are appealing because they can be much more tractable than the corresponding verification problems. He...

Supervisory control of the mobile robot navigation system has critical importance. The supervisory control software development of mobile robot navigation can be performed in an unknown environment or for controlled robots in a known environment. Finite automata and graph theory are functional tools in modeling the robot navigation system through discrete environment. This research has emphasis...

BACKGROUND By 2020, the World Health Organization predicts that two-thirds of all diseases worldwide will be the result of lifestyle choices. Physicians often do not counsel patients about healthy behaviors, and lack of training has been identified as one of the barriers. Between 2010 and 2014, Hebrew University developed and implemented a 58-h Lifestyle Medicine curriculum spanning five of the...

INTRODUCTION The years spent in acquiring medical education is considered a stressful period in the life of many students. Students whose mental health deteriorates during this long period of study are less likely to become empathic and productive physicians. In addition to other specific stressors, academic examinations seem to further induce medical school-related stress and anxiety. Combined...

The authors examined the effects of supervisory guidance (providing instruction to employees) and behavioral integrity (a pattern of word-deed alignment) on employee organizational citizenship behavior (OCB) and deviant behavior. Results revealed a pattern of Supervisory Guidance x Behavioral Integrity interaction effects, such that relationships between guidance and outcome variables were depe...

During this study, 10 expert coaches were interviewed to examine their views on aspects of their individual coaching practice. Four themes emerged from the interviews: (a) the long-term approach, (b) the authentic coaching environment, (c) creating a learning environment, and (d) the quality and quantity of training sessions. These coaches were consistent in their attempts to facilitate learnin...

Practice coaching, also called practice facilitation, assists physician practices with the desire to improve in such areas as patient access, chronic and preventive care, electronic medical record use, patient-centeredness, cultural competence, and team-building. This issue brief clarifies the essential features of practice coaching and offers guidance for health system leaders, public and priv...

The Heart-Healthy Lenoir Project is a multi-study project designed to reduce the risk burden of heart disease in Lenoir County, North Carolina. This case report examines one client's experience in this project and the impact of health coaching interventions that were used. The client presented with unhealthy lifestyle behaviors and a systolic blood pressure (BP) of more than 200 mmHg. After 1 y...

Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. In an attempt t o cope with this complexity, a Hybrid Supervisory Controller HSC) i s proposed. It splits pervisor...