{"type":"conference","day":"01","month":"01","article_processing_charge":"No","date_updated":"2022-07-06T09:58:25Z","date_published":"1996-01-01T00:00:00Z","extern":"1","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0020961"}],"abstract":[{"lang":"eng","text":"We use linear hybrid automata to define linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically."}],"oa_version":"None","date_created":"2018-12-11T12:08:47Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","quality_controlled":"1","title":"Linear phase-portrait approximations for nonlinear hybrid systems","status":"public","alternative_title":["LNCS"],"page":"377 - 388","doi":"10.1007/BFb0020961","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"full_name":"Wong Toi, Howard","last_name":"Wong Toi","first_name":"Howard"}],"publication":"Hybrid Systems III: Verification and Control","publication_identifier":{"isbn":["9783540611554"]},"citation":{"mla":"Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>.","ieee":"T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in <i>Hybrid Systems III: Verification and Control</i>, 1996, vol. 1066, pp. 377–388.","ista":"Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” In <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>.","apa":"Henzinger, T. A., &#38; Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, &#38; E. Sontag (Eds.), <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066, pp. 377–388). Springer. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>","ama":"Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol 1066. Springer; 1996:377-388. doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>","short":"T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388."},"language":[{"iso":"eng"}],"editor":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Sontag, Eduardo","last_name":"Sontag","first_name":"Eduardo"}],"_id":"4426","intvolume":"      1066","publist_id":"302","volume":1066,"year":"1996","acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892."}