Verification and control of hybrid systems a symbolic approach - Tabuada, Paulo; SpringerLink (Online service) (Boston, MA : Springer-Verlag US, 2009)
Keywords: Hybrid systems; Computer systems -- Verification; Digital control systems; Models and Principles; Mathematics; Mathematical Logic and Formal Languages; Systems Theory, Control; Control