Verification and Control of Hybrid Systems A Symbolic Approach - Tabuada, Paulo; SpringerLink (Online service) (Boston, MA : Springer US, 2009)
Keywords: Mathematics; Computer science; Systems theory; Mathematics; Mathematical Logic and Formal Languages; Models and Principles; Control; Systems Theory, Control