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

It is difficult to achieve excellent tracking performance for a two-joint leg rehabilitation machine driven by pneumatic artificial muscles (PAMs) because the system has a coupling effect, highly nonlinear and time-varying behavior associated with gas compression, and the nonlinear elasticity of bladder containers. This paper therefore proposes a T-S fuzzy theory with supervisory control in ord...