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...

Supervisory Distributed Computer Control Systems help the operator to run the process by putting control and monitoring functionality at his or her disposal. These systems support the Human Machine Interface, Message Handling, Archiving, Hardware Diagnostics and they execute control functions automatically. With respect to these requirements, the functionality of supervisory distributed control...

Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...