Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement

DOI10.1007/S10626-008-0050-7MaRDI QIDQ838995zbMATH OpenOpenAlexFDO

Authors Francesco Basile, L. Recalde, Pasquale Chiacchio, Manuel Silva

Publication date 1 September 2009

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-008-0050-7

zbMATH Keywords

generalized mutual exclusion constraintsupervisory controlmarked graphsclosed-loop livenessmonitor places

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Recommendations

• scientific article; zbMATH DE number 1836366
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Forbidden state avoidance controller synthesis for Petri nets
• Supervisory control of marked graphs with partial observations
• Linear control of live marked graphs

Cites work

• scientific article; zbMATH DE number 2123125 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• A survey of Petri net methods for controlled discrete event systems
• Combinatorial optimization in geometry
• Design of T-liveness enforcing supervisors in petri nets
• Feedback control of Petri nets based on place invariants
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Supervisory control of concurrent systems. A Petri net structural approach.
• Synthesis of feedback control logic for a class of controlled Petri nets

Cited in

(4)

• On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• scientific article; zbMATH DE number 1836366 (Why is no real title available?)
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets

This page was built for publication: Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838995)