Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
From MaRDI portal
Cited in
(26)- Maximizing robustness of supervisors for partially observed discrete event systems.
- 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
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- 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
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- 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
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Optimal supervisory control of discrete event systems for cyclic tasks
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
- Supervisory control of quantitative Petri nets for fixed-initial-credit energy problems using a game structure
- Offline supervisory control synthesis: taxonomy and recent developments
- Set-theoretic safety control with formal guarantees for uncertain linear systems under sensor attacks
This page was built for publication: Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980556)
