Tabuada, Paulo. <br/><br/>
Verification and control of hybrid systems  a symbolic approach /  [electronic resource] : 
by Paulo Tabuada. 
 - Boston, MA :  Springer-Verlag US,  2009. 
 - xv, 202 p. :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9781441902245 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Hybrid systems.<br/>Computer systems--Verification.<br/>Digital control systems.<br/>Models and Principles.<br/>Mathematics.<br/>Mathematical Logic and Formal Languages.<br/>Systems Theory, Control.<br/>Control.
<br/><br/><label>LC Class. No.: </label>QA76.38  / .T33 2009 
<br/><br/><label>Dewey Class. No.: </label>004.259