Verification and control of hybrid systems : a symbolic approach
Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
New York, NY :
Springer US
2009.
Cham : Springer Nature |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Verification and control of hybrid systems, a symbolic approach, Paulo Tabuada, New York, Springer, 2009, 1 volume (xv-202 pages), 978-1-441-90223-8 • Verification and Control of Hybrid Systems, Texte imprimé, 9781441902306 • Verification and Control of Hybrid Systems, Texte imprimé, 9781441954985 |
جدول المحتويات:
- Basic concepts
- Systems
- Verifcation problems
- Control problems
- Finite systems
- Exact system relationships
- Verification
- Control
- Infinite Systems Exact symbolic models
- Exact symbolic models for verification
- Exact symbolic models for control
- Infinite Systems Approximate symbolic models
- Approximate system relationships
- Approximate symbolic models for verification
- Approximate symbolic models for control.