Title :
On closed-loop liveness of discrete event systems under maximally permissive control
Author :
Holloway, Lawrence E. ; Krogh, Bruce H.
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
A class of controlled discrete-event systems that can be modeled as cyclic controlled marked graphs (CMGs), a special case of control Petri nets, is considered. Liveness of the controlled system under the maximally permissive feedback control is examined. 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; Petri nets; closed-loop liveness; cyclic controlled marked graphs; discrete event systems; feedback; maximally permissive control; sufficient conditions; synchronic distances; Automatic control; Continuous time systems; Control system synthesis; Control systems; Discrete event systems; Feedback control; Fires; Information processing; Laboratories; Petri nets;
Conference_Titel :
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location :
Tampa, FL
DOI :
10.1109/CDC.1989.70674
