Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
From MaRDI portal
Abstract: We identify a new observability concept, called relative observability, in supervisory control of discrete-event systems under partial observation. A fixed, ambient language is given, relative to which observability is tested. Relative observability is stronger than observability, but enjoys the important property that it is preserved under set union; hence there exists the supremal relatively observable sublanguage of a given language. Relative observability is weaker than normality, and thus yields, when combined with controllability, a generally larger controlled behavior; in particular, no constraint is imposed that only observable controllable events may be disabled. We design algorithms which compute the supremal relatively observable (and controllable) sublanguage of a given language, which is generally larger than the normal counterparts. We demonstrate the new observability concept and algorithms with a Guideway and an AGV example.
Cited in
(23)- Synthesis of covert actuator and sensor attackers
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Characterizations and effective computation of supremal relatively observable sublanguages
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- On coparanormality in distributed supervisory control of discrete-event systems
- Supervisor localisation for large-scale discrete-event systems under partial observation
- What information really matters in supervisor reduction?
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Relative coobservability for decentralised supervisory control of discrete-event systems
- Supervisory control of state-tree structures with partial observation
- Offline supervisory control synthesis: taxonomy and recent developments
- Localisation-based distributed control of timed discrete-event systems with communication delay
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Optimal supervisory control with mean payoff objectives and under partial observation
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Modular control of discrete-event systems using similarity
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Supervisor localization of discrete-event systems under partial observation
- Robust supervisory control of discrete event systems against intermittent loss of observations
This page was built for publication: Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982806)
