Lazy Rectangular Hybrid Automata


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]
Copyright © 2004-2006 P.S. Thiagarajan. All rights reserved.