Title :
Maximally permissive feedback and modular control synthesis in Petri nets with external input places
Author :
Ushio, Toshimitsu
Author_Institution :
Sch. of Home Econ., Kobe Coll., Hyogo, Japan
fDate :
7/1/1990 12:00:00 AM
Abstract :
A necessary and sufficient condition is presented for the unique existence of a maximally permissive feedback (MPF) in a concurrent discrete-event system modeled by a Petri net. The concept of the weak interaction of a predicate is introduced. In addition to reviewing fundamental definitions and notations, the author defines the control invariance of a predicate and an MPF. A modular synthesis problem of MPF is discussed
Keywords :
Petri nets; control system synthesis; discrete time systems; feedback; Petri nets; concurrent discrete-event system; control invariance; maximally permissive feedback; modular control synthesis; necessary condition; sufficient condition; weak interaction; Automata; Automatic control; Concurrent computing; Control system synthesis; Controllability; Petri nets; Robots; Robust control; State feedback; Sufficient conditions;
Journal_Title :
Automatic Control, IEEE Transactions on
