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

MAA Review
Table of Contents

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.

Tags:

Engineering Mathematics