Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
From MaRDI portal
Publication:2256887
DOI10.1007/S10626-012-0152-0zbMath1307.93257OpenAlexW2054032778MaRDI QIDQ2256887
Yu Ru, Christoforos N. Hadjicostis, Maria Paola Cabasino, Alessandro Giua
Publication date: 23 February 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11584/44401
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items (6)
Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Supervisory control based on minimal cuts and Petri net sub-controllers coordination ⋮ Design of supervisors for linear marking specifications in labeled Petri nets
Cites Work
- Unnamed Item
- Unnamed Item
- Reduction of constraints for controller synthesis based on safe Petri nets
- Extension based limited lookahead supervision of discrete event systems
- On-line control of partially observed discrete event systems
- Supervisory control using variable lookahead policies
- A survey of Petri net methods for controlled discrete event systems
- Control synthesis of Petri nets based on \(S\)-decreases
- Decentralized supervisory control of discrete-event systems
- Feedback control of Petri nets based on place invariants
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- Synthesis of feedback control logic for a class of controlled Petri nets
- Observability of place/transition nets
- Supervisory Control of Partially Observable Marked Graphs
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Marking Estimation of Petri Nets With Silent Transitions
- Limited lookahead policies in supervisory control of discrete event systems
- Approach for Transforming Linear Constraints on Petri Nets
- Modular Feedback Logic for Discrete Event Systems
- Structuring acyclic Petri nets for reachability analysis and control
This page was built for publication: Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
