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 c...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 27th IEEE Conference on Decision and Control pp. 1502 - 1507 vol.2
Main Authors Ushio, T., Matsumoto, R.
Format Conference Proceeding
LanguageEnglish
Japanese
Published IEEE 06.01.2003
Subjects
Automatic control
Control system synthesis
Controllability
Discrete event systems
Flexible manufacturing systems
Parallel processing
Petri nets
State feedback
Sufficient conditions
Systems engineering and theory
Online AccessGet full text
DOI10.1109/CDC.1988.194577

Cover

More Information
Summary: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.< >
DOI:10.1109/CDC.1988.194577