Research on the Progress of the Supervisory Control Theory of DES and Current Application in Astronautics

This paper summarizes the usual tools used to describe the logical behavior of discrete event systems,such as automaton,formal language,and Petri net.The basic idea to design the supervisory controller is also included.Finally,this paper illustrates the new application of the supervisory control theory based on automaton model to aircraft,these applications not only verify the correctness of the supervisory control theory,but also widen the field of this theory can be applied in.