Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
From MaRDI portal
Publication:665122
DOI10.1016/J.NAHS.2011.07.002zbMath1235.93153OpenAlexW2011124896MaRDI QIDQ665122
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
Uses Software
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
This page was built for publication: Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching