Programmable timed Petri nets in the analysis and design of hybrid control systems
N.D. Koutsoukos, Panos J. Antsaklis, Kaiyan He, Michael D. Lemmon · 2002
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.