Title :
State feedback and modular control synthesis in controlled Petri nets
Author :
Ushio, Toshimitsu ; Matsumoto, Ryuichi
Author_Institution :
Dept. of Syst. Eng., Kobe Univ., Japan
Abstract :
Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction of a predicate and show that it is the necessary and sufficient condition for the uniqueness of the maximally permissive feedback. Modular control synthesis problems are represented by conjunction and/or disjunction predicates. It is also shown that the maximally permissive feedback for conjunction of component predicates exists uniquely if each predicate is weakly interactive
Keywords :
Petri nets; control system synthesis; discrete systems; feedback; state-space methods; conjunction predicates; controlled Petri nets; discrete-event systems; disjunction predicates; maximally permissive feedback; modular control synthesis; necessary and sufficient condition; predicate interaction; state feedback; weak interaction; Automatic control; Control system synthesis; Controllability; Discrete event systems; Flexible manufacturing systems; Parallel processing; Petri nets; State feedback; Sufficient conditions; Systems engineering and theory;
Conference_Titel :
Decision and Control, 1988., Proceedings of the 27th IEEE Conference on
Conference_Location :
Austin, TX
DOI :
10.1109/CDC.1988.194577
