This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques. The style of the paper is tutorial and provides the reader with enough detail to apply these techni...

In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty we propose a coordinated distributed supervisor synthesis approach, where specifications are enforced by local supervisors. To avoid conflicting among local supervisors, coordinators are created based on automaton a...

We present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high-level (i.e. aggregated) model, combined with local state-dependent controls, is eeective in the sense of achieving speciications given either for the high-level model or for the low-level...

For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for the case when the desired specifications must all simultaneously be met. In this paper, we study the case when at least one of the desired specifications must always be met while never blocking any of the remaining spe...

BACKGROUND Nurses leaving their jobs and the profession are an issue of international concern, with supply-demand gaps for nurses reported to be widening. There is a large body of existing literature, much of which is already in review form. In order to advance the usefulness of the literature for nurse and human resource managers, we undertook an overview (review of systematic reviews). The ai...

Situation awareness (SA) is a critical factor for human decision making and performance in dynamic environments. Actually SA is a mental model of the current state of the environment and includes many types of complex systems such as safety supervisory systems. The current paper employs two focus areas including neural network and expert system for maintaining SA in a safety supervisory system....