Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models

DOI10.1016/j.automatica.2013.08.018zbMath1315.93059OpenAlexW2010353902MaRDI QIDQ2350813

Luigi Piroddi, Roberto Cordone, Francesco Basile

Publication date: 25 June 2015

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2013.08.018

zbMATH Keywords

supervisory control liveness Petri nets discrete event systems monitors linear and nonlinear classifiers

Mathematics Subject Classification ID

Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Related Items (6)

Petri Nets Tracking Control for Electro-pneumatic Systems Automation ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems ⋮ Design of supervisors for linear marking specifications in labeled Petri nets ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models

This page was built for publication: Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models