State feedback and modular control synthesis in controlled Petri nets
説明
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. >
収録刊行物
-
- Proceedings of the 27th IEEE Conference on Decision and Control
-
Proceedings of the 27th IEEE Conference on Decision and Control 1502-1507, 2003-01-06
IEEE