Title :
On closed-loop liveness of discrete-event systems under maximally permissive control
Author :
Holloway, Lawrence E. ; Krogh, Bruce H.
Author_Institution :
Center for Robotics & Manuf. Syst., Kentucky Univ., Lexington, KY, USA
fDate :
5/1/1992 12:00:00 AM
Abstract :
A class of controlled discrete-event systems modeled as controlled marked graphs (CMGs), a special case of controlled Petri nets, is considered. Liveness of controlled systems under maximally permissive feedback control policies is investigated. In the CMG context, closed-loop liveness implies that from any reachable marking (state) any transition can be enabled to fire. The concept of synchronic distances in Petri nets is used to prove sufficient conditions under which the maximally permissive control results in a live closed-loop system
Keywords :
Petri nets; closed loop systems; discrete time systems; feedback; closed-loop liveness; closed-loop system; controlled Petri nets; controlled marked graphs; discrete-event systems; discrete-time systems; feedback control; maximally permissive control; sufficient conditions; synchronic distances; Automatic control; Continuous time systems; Control system synthesis; Control systems; Discrete event systems; Feedback control; Fires; Petri nets; State feedback; Sufficient conditions;
Journal_Title :
Automatic Control, IEEE Transactions on
