
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.
- Undertitel
- A Symbolic Approach
- Författare
- Paulo Tabuada
- Upplaga
- 2009 ed.
- ISBN
- 9781441902238
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2009-06-15
- Sidor
- 202
