Title: Verification and Control of Hybrid Systems
Subjects: Mathematics, Computer science, System theory, Hybrid systems, Computer systems, Verification, Digital control systems, Hybrid computers, Electronic systems, Mathematical Logic and Formal Languages, Models and Principles, Control, Control Systems Theory