Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages

DOI10.1109/TAC.2014.2341891zbMath1360.93090arXiv1306.2422MaRDI QIDQ2982806

Kai Cai, Renyuan Zhang, W. Murray Wonham

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.2422

Mathematics Subject Classification ID

General topics of discrete mathematics in relation to computer science (68R01) Controllability (93B05) Discrete event control/observation systems (93C65)

Related Items (18)

What information really matters in supervisor reduction? ⋮ Modular control of discrete-event systems using similarity ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Synthesis of covert actuator and sensor attackers ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Supervisory control of state-tree structures with partial observation ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Characterizations and effective computation of supremal relatively observable sublanguages ⋮ Supervisor localisation for large-scale discrete-event systems under partial observation ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ 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 ⋮ Robust supervisory control of discrete event systems against intermittent loss of observations ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay

This page was built for publication: Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages