DocumentCode
3415741
Title
A method for the synthesis of liveness enforcing supervisors in Petri nets
Author
Iordache, Marian V. ; Moody, John O. ; Antsaklis, Panos J.
Author_Institution
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Volume
6
fYear
2001
fDate
2001
Firstpage
4943
Abstract
Given an arbitrary Petri net structure, which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement. The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. Moreover, the supervision is least restrictive in the fully controllable and observable case
Keywords
Petri nets; control system synthesis; controllability; observability; Petri net structure; controllability; linear marking inequalities; liveness enforcing supervisors synthesis; observability; supervised Petri net; supervision; unbounded Petri net; uncontrollable transitions; unobservable transitions; Application software; Automata; Petri nets; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2001. Proceedings of the 2001
Conference_Location
Arlington, VA
ISSN
0743-1619
Print_ISBN
0-7803-6495-3
Type
conf
DOI
10.1109/ACC.2001.945768
Filename
945768
Link To Document