Tabuada, Paulo
Verification and Control of Hybrid Systems
Table of contents
2. Systems
Paulo Tabuada
3. Verifcation problems
Paulo Tabuada
4. Control problems
Paulo Tabuada
5. Exact system relationships
Paulo Tabuada
6. Verification
Paulo Tabuada
7. Control
Paulo Tabuada
8. Exact symbolic models for verification
Paulo Tabuada
9. Exact symbolic models for control
Paulo Tabuada
10. Approximate system relationships
Paulo Tabuada
11. Approximate symbolic models for verification
Paulo Tabuada
12. Approximate symbolic models for control
Paulo Tabuada
Keywords: Mathematics, Mathematical Logic and Formal Languages, Models and Principles, Control, Systems Theory, Control
- Author(s)
- Tabuada, Paulo
- Publisher
- Springer
- Publication year
- 2009
- Language
- en
- Edition
- 1
- Page amount
- 12 pages
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9781441902245
