{"author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Wong Toi, Howard","last_name":"Wong Toi","first_name":"Howard"}],"conference":{"name":"CDC: Decision and Control","end_date":"1997-12-12","location":"San Diego, CA, USA","start_date":"1997-12-12"},"date_created":"2018-12-11T12:09:43Z","status":"public","date_updated":"2022-08-17T08:08:36Z","publist_id":"101","abstract":[{"text":"A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. In this survey, we demonstrate symbolic algorithms for the verification of and controller synthesis for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically","lang":"eng"}],"oa_version":"None","doi":"10.1109/CDC.1997.650717  ","type":"conference","page":"702 - 707","scopus_import":"1","_id":"4605","publication":"Proceedings of the 36th IEEE Conference on Decision and Control","language":[{"iso":"eng"}],"publication_status":"published","quality_controlled":"1","title":"Symbolic analysis of hybrid systems","citation":{"mla":"Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>, IEEE, 1997, pp. 702–07, doi:<a href=\"https://doi.org/10.1109/CDC.1997.650717  \">10.1109/CDC.1997.650717  </a>.","short":"R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.","ieee":"R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” in <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>, San Diego, CA, USA, 1997, pp. 702–707.","ama":"Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>. IEEE; 1997:702-707. doi:<a href=\"https://doi.org/10.1109/CDC.1997.650717  \">10.1109/CDC.1997.650717  </a>","chicago":"Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.” In <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>, 702–7. IEEE, 1997. <a href=\"https://doi.org/10.1109/CDC.1997.650717  \">https://doi.org/10.1109/CDC.1997.650717  </a>.","apa":"Alur, R., Henzinger, T. A., &#38; Wong Toi, H. (1997). Symbolic analysis of hybrid systems. In <i>Proceedings of the 36th IEEE Conference on Decision and Control</i> (pp. 702–707). San Diego, CA, USA: IEEE. <a href=\"https://doi.org/10.1109/CDC.1997.650717  \">https://doi.org/10.1109/CDC.1997.650717  </a>","ista":"Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. Proceedings of the 36th IEEE Conference on Decision and Control. CDC: Decision and Control, 702–707."},"extern":"1","date_published":"1997-12-01T00:00:00Z","article_processing_charge":"No","year":"1997","month":"12","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","day":"01","publisher":"IEEE","publication_identifier":{"isbn":["0780341872"]}}