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)
68Q25: Analysis of algorithms and problem complexity
93C65: Discrete event control/observation systems
68M14: Distributed systems
Related Items
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication, 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, On the relation between reactive synthesis and supervisory control of non-terminating processes, 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, Supervisor localization of discrete-event systems under partial observation, 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