A New Model for Discrete Event State Feedback Systems: Framework and Weak Interaction
Qiying Hu · 2001
A new model, based on automaton, for the state-feedback control of discrete event systems is presented, which unifies Ramadge-Wonham framework with and without concurrence, and controlled Petri nets. The model is presented in the form of axioms. The problems of uniqueness for the maximally permissive state feedback of a predicate P and the relationships between the basis sys- tems and the concurrent systems are discussed, which makes it possible to study the concurrent sys- tems by transforming them into the simple basic systems.