Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
From MaRDI portal
Publication:2980556
DOI10.1109/TAC.2015.2460391zbMath1359.93296MaRDI QIDQ2980556
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Discrete event control/observation systems (93C65) Distributed systems (68M14)
Related Items (17)
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ 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 ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Supervisory control of state-tree structures with partial observation ⋮ Synthesis of covert actuator attackers for free ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ 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 ⋮ Observation-assisted heuristic synthesis of covert attackers against unknown supervisors ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
This page was built for publication: Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
