Modeling and control of constant speed Dynamic Hybrid Systems using Extended Time Petri Networks

In this paper, we consider the supervisory control problem of systems modeled by Extended Time Petri Networks (ETPNs). These are Dynamic Hybrid Systems (DHS) characterized by a strong discrete component, and presenting some features, such as, cumulative memory, continuous variables, and the possibility of preempting and restarting of actions. Our control approach, based on a safety specification, use Linear Hybrid Automata (LHA), which are derived automatically from the ETPN and used as a solution tool.