Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

This paper concerns with the output feedback control for the nondeterministic discrete event systems (DES) with probabilities known. The nondeterministic DES models are introduced by using the minimax algebra to formalize the treatment of time sequences, and by using usual algebra to introduce a Markovian structure that assigns transition probabilities to events. Based on this representation, the closed nondeterministic DES models are established by the output feedback control to predict the long range performance of discrete event processes. The results are illustrated by some examples of flexible manufacturing systems.