Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Discrete Event Dynamic Systems: Theory and Applications, 8, 137173 (1998) c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
 

Summary: Discrete Event Dynamic Systems: Theory and Applications, 8, 137173 (1998)
c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Timed Petri Nets in Hybrid Systems:
Stability and Supervisory Control
XENOFON D. KOUTSOUKOS xkoutsou@maddog.ee.nd.edu
KEVIN X. HE xhe@maddog.ee.nd.edu
MICHAEL D. LEMMON lemmon@maddog.ee.nd.edu
PANOS J. ANTSAKLIS antsakli@maddog.ee.nd.edu
Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN 46556
Abstract. In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead
of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity
issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A
class of timed 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
introduced. In particular, we present sufficient conditions for the uniform ultimate boundness of hybrid systems
composed of multiple linear time invariant plants which are switched between using a logical rule described by
a Petri net. This paper also examines the supervisory control of a hybrid system in which the continuous state
is transfered to a region of the state space in a way that respects safety specifications on the plant's discrete and
continuous dynamics.
Keywords: hybrid systems, switched systems, timed Petri nets, stability, supervisory control

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering