The supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the supervisor is non-deterministic. We give necessary and suucient conditions for when equivalence holds. The input/output interpretation of the SCT is also examined in a non-deterministic setting. It ...

of Research Results Research on human interaction with automation in many domains including aviation and anesthesiology has shown that automated systems often fail to function as team players (Norman, 1990; Billings, 1991; 1996; Malin et al., 1991; Sarter and Woods, 1994b). To summarize the data, automated systems that are strong, silent, clumsy, and difficult to direct are not team players. Au...

Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control discrete-event systems under partial observation. Observation consistency local observation were identified as such conditions. To preserve normality, only is required. Although preserves normality levels normal specifications, that not normal, insuffici...

In this article, we investigate the enforcement of opacity via supervisory control in context discrete-event systems. A system is said to be opaque if intruder, which modeled as a passive observer, can never infer confidently that at secret state. The design objective synthesize supervisor such closed-loop even when policy publicly known. propose new approach for enforcing using nondeterministi...

Supervisory Controllers are Discrete Event Dynamic Systems (DEDSs) forming the discrete core of a Hybrid Control System. We address the problem of automatic synthesis of Optimal Finite State Supervisory Controllers (OSCs). We show that Boolean First Order Logic (BFOL) and Binary Decision Diagrams (BDDs) are an eeective meth-odological and practical framework for Optimal Finite State Supervisory...