{"intvolume":"       199","publist_id":"91","volume":199,"year":"1994","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"full_name":"Courcoubetis, Costas","first_name":"Costas","last_name":"Courcoubetis"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"full_name":"Ho, Pei","first_name":"Pei","last_name":"Ho"},{"full_name":"Nicollin, Xavier","last_name":"Nicollin","first_name":"Xavier"},{"full_name":"Olivero, Alfredo","last_name":"Olivero","first_name":"Alfredo"},{"first_name":"Joseph","last_name":"Sifakis","full_name":"Sifakis, Joseph"},{"last_name":"Yovine","first_name":"Sergio","full_name":"Yovine, Sergio"}],"publication":"11th International Conference on Analysis and Optimization of Systems Discrete Event Systems","doi":"10.1007/BFb0033565","page":"331 - 351","publication_identifier":{"isbn":["978-3-540-19896-3"]},"conference":{"end_date":"1994-06-17","location":"Sophia-Antipolis, France","name":"ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems","start_date":"1994-06-15"},"citation":{"apa":"Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i> (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. <a href=\"https://doi.org/10.1007/BFb0033565\">https://doi.org/10.1007/BFb0033565</a>","ista":"Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.","chicago":"Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” In <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, 199:331–51. Springer, 1994. <a href=\"https://doi.org/10.1007/BFb0033565\">https://doi.org/10.1007/BFb0033565</a>.","ama":"Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>. Vol 199. Springer; 1994:331-351. doi:<a href=\"https://doi.org/10.1007/BFb0033565\">10.1007/BFb0033565</a>","short":"R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.","mla":"Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, vol. 199, Springer, 1994, pp. 331–51, doi:<a href=\"https://doi.org/10.1007/BFb0033565\">10.1007/BFb0033565</a>.","ieee":"R. Alur <i>et al.</i>, “The algorithmic analysis of hybrid systems,” in <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351."},"_id":"4617","language":[{"iso":"eng"}],"oa_version":"None","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_created":"2018-12-11T12:09:46Z","publisher":"Springer","title":"The algorithmic analysis of hybrid systems","quality_controlled":"1","status":"public","alternative_title":["LNCIS"],"type":"conference","day":"01","article_processing_charge":"No","month":"01","date_updated":"2022-06-01T14:14:31Z","date_published":"1994-01-01T00:00:00Z","publication_status":"published","extern":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0033565"}],"abstract":[{"lang":"eng","text":"We extend the timed-automaton model for real-time systems [AD90] to a formal model for hybrid systems: while the continuous variables of a timed automaton are clocks that measure time, the continuous variables of a hybrid system are governed by arbitrary differential equations. We then adopt the verification methodology for timed automata [ACD90, ACD+92, HNSY92] to analyze hybrid systems: while the verification problem is decidable for timed automata, we obtain semidecision procedures for the class of hybrid systems whose continuous variables change in a piecewise linear fashion. "}]}