Login

Tabuada, Paulo

Verification and Control of Hybrid Systems

Tabuada, Paulo - Verification and Control of Hybrid Systems, ebook

99,20€

Ebook, PDF with Adobe DRM
ISBN: 9781441902245
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9781441902245

Similar titles