You are here

Verification and Control of Hybrid Systems: A Symbolic Approach

Paulo Tabuada
Publisher: 
Springer
Publication Date: 
2009
Number of Pages: 
202
Format: 
Hardcover
Price: 
99.00
ISBN: 
9781441902238
Category: 
Monograph
We do not plan to review this book.

Part I Basic concepts: Systems. Verification problems. Control problems.- Part II Finite systems: Exact system relationships. Verification. Control.- Part III Infinite Systems: Exact symbolic models: Exact symbolic models for verification. Exact symbolic models for control.- Part IV Infinite Systems: Approximate symbolic models: Approximate system relationships. Approximate symbolic models for verification. Approximate symbolic models for control.- Appendix. References.- Index.