Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on
 

Summary: Hybrid Control Systems Using Timed Petri
Nets: Supervisory Control Design Based on
Invariant Properties?
Xenofon D. Koutsoukos?? and Panos J. Antsaklis
Department of Electrical Engineering
University of Notre Dame
Notre Dame, IN 46556
e-mail: xkoutsou,antsaklis.1@nd.edu
Abstract. Inthis paper, a class of timedPetri nets namedprogrammable
timed Petri nets is used for supervisory control of hybrid systems. In par-
ticular, the transfer of the continuous state to a region of the state space
under safety speci cations on the discrete and continuous dynamics is ad-
dressed. The switching policy is embedded in the dynamics of the under-
lying Petri net structure and the supervisors are described by Petri nets.
The discrete speci cations are expressed in terms of linear constraints on
the marking vector and are satis ed by applying supervisory control of
Petri nets based on place invariants. The hybrid system switches from a
subsystem to another, in a way that the state gradually progresses from
one equilibrium to another towards the desired target equilibrium. The
supervisory control algorithm is designed to allow switchings to occur

  

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

 

Collections: Engineering