Verification and Control of Hybrid Systems: A Symbolic Approach

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.