Skip to Main Content
State-feedback supervisory controllers for discrete event systems are synthesized. A state observer providing the feedback information is integrated to the control scheme. Petri nets models are used for modeling the system, the controller and the observer. The required behavior of the system is specified as linear constrains. The proposed technique allows the construction of controllers for systems with partial state observation. An application example is provided.