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