Design of Hybrid Supervisors for High Level Control

We consider the case that supervisors are used as high level controllers，and investigate fundamental properties for hybrid control.The main results are as follows：·We proposed a method for discrete approximation of continuous systems using Petri nets.Moreover，we modified a firing rule of weak enabling in hybrid Petri nets so that behaviors for circles consisting of weakly enabled transitions are well-defined.·We showed a necessary and sufficient condition for the existence of finite-state supervisors under partial observations.Moreover，we proposed an on-line supervisory control method，and proved that the language generated by the supervised system is a maximal controllable and observable sublanguage。·We showed a necessary and sufficient condition for the existence of reliable decentralized supervisors。We also proposed a fault detection method for systems modeled by Petri nets.·We proposed a switching strategy for eliminating chaos in a hybrid system modeled by a switched flow model。·We proved a Lyapunov theorem for a class of hybrid systems modeled by a mixed cell mapping.Moreover，we investigated stability in composite hybrid systems using multiple Lyapunov functions.·We developed hierarchical control architecture for plants described by multiple models or a model set。We also improved closed-loop response by tuning time-varying parameters adaptively according to estimation of uncertain parameters of the plants

We consider the case that supervisors are used as high level controllers, and investigate fundamental properties for hybrid control. The main results are as follows :・We proposed a method for discrete approximation of continuous systems using Petri nets. Moreover, we modified a firing rule of weak enabling in hybrid Petri nets so that behaviors for circles consisting of weakly enabled transitions are well-defined.・We showed a necessary and sufficient condition for the existence of finite-state supervisors under partial observations. Moreover, we proposed an on-line supervisory control method, and proved that the language generated by the supervised system is a maximal controllable and observable sublanguage.・We showed a necessary and sufficient condition for the existence of reliable decentralized supervisors. We also proposed a fault detection method for systems modeled by Petri nets.・We proposed a switching strategy for eliminating chaos in a hybrid system modeled by a switched flow model.・We proved a Lyapunov theorem for a class of hybrid systems modeled by a mixed cell mapping. Moreover, we investigated stability in composite hybrid systems using multiple Lyapunov functions.・We developed hierarchical control architecture for plants described by multiple models or a model set. We also improved closed-loop response by tuning time-varying parameters adaptively according to estimation of uncertain parameters of the plants