
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.
- Undertittel
- A Symbolic Approach
- Forfatter
- Paulo Tabuada
- Opplag
- Softcover reprint of hardcover 1st ed. 2009
- ISBN
- 9781441954985
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 5.11.2010
- Antall sider
- 202
