|
We introduce the class of lazy rectangular hybrid automata. The key feature of
this class is that both the observation of the continuous state and the rate
changes associated with mode switchings take place with bounded delays.
We show that the discrete time dynamics of this class of automata can be
effectively analyzed without requiring resetting of the continuous variables
during mode changes.
[.pdf]
|