Agrawal, Manindra ; Thiagarajan, P. S. (2004) Lazy rectangular hybrid automata Lecture Notes in Computer Science, 2993 . pp. 249-257. ISSN 0302-9743
![[img]](https://repository.ias.ac.in/style/images/fileicons/application_pdf.png)
|
PDF
- Author Version
232kB |
Official URL: http://www.springerlink.com/content/7ka7k1ge1qcqga...
Related URL: http://dx.doi.org/10.1007/978-3-540-24743-2_1
Abstract
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
