Linear control of live marked graphs
From MaRDI portal
Publication:1868050
DOI10.1016/S0005-1098(02)00266-2zbMath1016.93047MaRDI QIDQ1868050
Xiaolan Xie, Philippe Darondeau
Publication date: 27 April 2003
Published in: Automatica (Search for Journal in Brave)
linear programming; polyhedra; liveness; linear constraints; marked graphs; supervision; firing vectors; unobservable transitions
93B05: Controllability
90C05: Linear programming
93C65: Discrete event control/observation systems
93B07: Observability
Related Items
Supervisory control of marked graphs with partial observations, Supervision based on place invariants: a survey
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The residue of vector sets with applications to decidability problems in Petri nets
- Control synthesis of Petri nets based on \(S\)-decreases
- Feedback control of Petri nets based on place invariants
- Control of vector discrete-event systems. I. The base model
- Circuit theoretic analysis and synthesis of marked graphs
- Control of vector discrete-event systems. II. Controller synthesis
- Net structure and control logic synthesis of controlled Petri nets
- Petri net supervisors for DES with uncontrollable and unobservable transitions