
Verification and Control of Hybrid Systems
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.
- Alaotsikko
- A Symbolic Approach
- Kirjailija
- Paulo Tabuada
- Painos
- 2009 ed.
- ISBN
- 9781441902238
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 15.6.2009
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 202