Xd. Koutsoukos et al., TIMED PETRI NETS IN HYBRID SYSTEMS - STABILITY AND SUPERVISORY CONTROL, Discrete event dynamic systems, 8(2), 1998, pp. 137-173
Citations number
52
Categorie Soggetti
Mathematics,"Operatione Research & Management Science","Robotics & Automatic Control",Mathematics,"Operatione Research & Management Science","Robotics & Automatic 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.