TIMED PETRI NETS IN HYBRID SYSTEMS - STABILITY AND SUPERVISORY CONTROL

In this paper, timed Petri nets are used to model and control hybrid s ystems. Petri nets are used instead of finite automata primarily becau se of the advantages they offer in dealing with concurrency and comple xity issues. A brief overview of existing results on hybrid systems th at are based on Petri nets is first presented. A class of rimed Petri nets named programmable timed Petri nets (PTPN) is then used to model hybrid systems. Using the PTPN, the stability and supervisory control of hybrid systems are addressed and efficient algorithms are introduce d. In particular, we present sufficient conditions for the uniform ult imate boundness of hybrid systems composed of multiple linear time inv ariant plants which are switched between using a logical rule describe d by a Petri net. This paper also examines the supervisory control of a hybrid system in which the continuous state is transfered to a regio n of the state space in a way that respects safety specifications on t he plant's discrete and continuous dynamics.