Lazy rectangular hybrid automata

Agrawal, Manindra ; Thiagarajan, P. S. (2004) Lazy rectangular hybrid automata Lecture Notes in Computer Science, 2993 . pp. 249-257. ISSN 0302-9743

PDF - Author Version

Official URL:

Related URL:


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.

Item Type:Article
Source:Copyright of this article belongs to Springer.
ID Code:92029
Deposited On:26 May 2012 13:58
Last Modified:19 May 2016 05:37

Repository Staff Only: item control page