Linear control of live marked graphs

DOI10.1016/S0005-1098(02)00266-2zbMath1016.93047OpenAlexW1970634745MaRDI QIDQ1868050

Xiaolan Xie, Philippe Darondeau

Publication date: 27 April 2003

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0005-1098(02)00266-2

zbMATH Keywords

linear programmingpolyhedralivenesslinear constraintsmarked graphssupervisionfiring vectorsunobservable transitions

Mathematics Subject Classification ID

Controllability (93B05) Linear programming (90C05) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (4)

Supervision based on place invariants: a survey ⋮ Supervisory control of marked graphs with partial observations ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Supervisory control based on minimal cuts and Petri net sub-controllers coordination

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

This page was built for publication: Linear control of live marked graphs