Verification and Control of Hybrid Systems A Symbolic Approach /

• Main Author: Tabuada, Paulo. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Mathematics.; Computer science.; Systems theory.; Mathematical Logic and Formal Languages.; Models and Principles.; Control.; Systems Theory, Control.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-0224-5

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever...

Table of Contents:

• 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.