The discrete time behavior of lazy linear hybrid automata

Agrawal, Manindra ; Thiagarajan, P. S. (2005) The discrete time behavior of lazy linear hybrid automata Lecture Notes in Computer Science, 3414 . pp. 55-69. ISSN 0302-9743

Full text not available from this repository.

Official URL:

Related URL:


We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: The observation of the continuous state and the rate changes associated with mode switchings take place with bounded delays. The values of the continuous variables can be observed with only finite precision. The guards controlling the transitions of the automaton are finite conjunctions of arbitrary linear constraints. 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. In fact, our result holds for guard languages that go well beyond linear constraints.

Item Type:Article
Source:Copyright of this article belongs to Springer.
ID Code:92028
Deposited On:26 May 2012 13:58
Last Modified:04 Jul 2012 08:35

Repository Staff Only: item control page