In many countries, administrative supervision has grown dramatically in recent years. Administrative supervision is a form of interaction between policy makers and policy executors, aimed at improving political accountability. In this paper, the role of information and information relationships between policy making bodies, executive institutions and administrative supervisors is explored. We i...

Efficient algorithms for synthesis and verification of supervisors in the Supervisory Control Theory framework are presented. The presented algorithms solve the controllability problem. In many real-world applications both the plant and specification is given as a set of interacting automata or processes. In this work, we exploit this modular structure to reduce the computational effort. First,...

Supervision has been identified as perhaps the most important mechanism for developing competencies in therapists in training. However, there is scant research on the effect of supervisors on client outcome. Moreover, in a relatively recent review of the existing literature, significant methodological concerns were raised that attenuate the interpretability of the existing reported findings. Th...

Power is at the core of feminist theories of sexual harassment, though it has rarely been measured directly in terms of workplace authority. While popular characterizations portray male supervisors harassing female subordinates, power-threat theories suggest that women in authority may be more frequent targets. This article analyzes longitudinal survey data and qualitative interviews from the Y...

Over the past 15 years, there has been an explosion of research and inquiry into the burnout phenomenon. The study of burnout has moved from a hot topic to a serious issue which affects millions of workers (Farber, 1983). “Burned out professionals are more frequently absent or late for work than their non-burned out colleagues; they become noticeably less idealistic and more rigid; their perfor...

We present a methodology to build a Petri net realization of a supervisor that, given a Petri net model of a (multi-)robot system and a linear temporal logic (LTL) specification, forces the system to fulfil the specification. The methodology includes composing the Petri net model with the Büchi automaton representing the LTL formula and trimming the result using a known method to reduce the siz...

Recent legislative trends toward early hospital dismissal and cost containment have shifted the setting for health care from the hospital to the home. Consequently, community health nursing supervisors are becoming increasingly responsible both for coordinating care for sicker clients with fewer available resources, and for guiding staff nurses who provide high-tech nursing skills in the home. ...

OBJECTIVE To review published studies to assess the effects of supervisor training on the mental health of subordinate workers, and thereby develop an evidence-based guideline for supervisor training in promoting workers' mental health. METHOD Seven studies that assessed the effect of supervisor training, whose outcomes included psychological stress responses of (subordinate) employees, were ...

Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...

Background Exploring the expectations of postgraduate nursing students from their supervisors is required in order to meet the expectations, raise the general students' satisfaction, and enhance the students' capabilities to the highest degree possible. The present study was conducted to explore the expectations of postgraduate nursing students from their supervisors. Materials and Methods Th...