Verification and Control of Hybrid Systems A Symbolic Approach /

• Κύριος συγγραφέας: Tabuada, Paulo (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Θέματα: Mathematics.; Mathematical logic.; Computers.; System theory.; Control engineering.; Systems Theory, Control.; Control.; Models and Principles.; Mathematical Logic and Formal Languages.

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

Πίνακας περιεχομένων:

• Basic concepts
• Systems
• Verifcation problems
• Control problems
• Finite systems
• Exact system relationships
• Verification
• Control
• Infinite Systems Exact symbolic models
• Exact symbolic models for verification
• Exact symbolic models for control
• Infinite Systems Approximate symbolic models
• Approximate system relationships
• Approximate symbolic models for verification
• Approximate symbolic models for control.