Programmable Timed Petri Nets in the Analysis and Design of Hybrid Control Systems

X.D. Koutsoukos, P.J. Antsaklis, K.X. He, and M.D. Lemmon

Proceedings of the 1998 Conference on Decision and Control
pp. 1617-1622. Tampa, FL, USA, December 16-18, 1998.

Abstract- In this paper, a class of timed Petri nets, named programmable timed Petri nets is used to model and study switched hybrid systems. 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 is examined. The approach is illustrated using a power system example.

[pdf file]