Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

DOI10.1016/j.nahs.2011.07.002zbMath1235.93153OpenAlexW2011124896MaRDI QIDQ665122

Aydın Aybar, Altuğ İftar

Publication date: 5 March 2012

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2011.07.002

zbMATH Keywords

boundednesslivenessreversibilitytimed Petri netssupervisory controller design

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• A theory of timed automata
• A brief survey and synthesis of the roles of time in Petri nets.
• Supervisory control of timed discrete-event systems
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Supervisory control of timed discrete-event systems under partial observation
• Design of T-liveness enforcing supervisors in petri nets
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets