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
Proc of the 37th IEEE Conference on Decision and Control,
Tampa, FL, Dec 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 transferred 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.
[postscript file] [pdf file]