{"intvolume":"       199","publisher":"Springer","title":"The algorithmic analysis of hybrid systems","publication_status":"published","date_updated":"2022-06-01T14:14:31Z","conference":{"start_date":"1994-06-15","end_date":"1994-06-17","name":"ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems","location":"Sophia-Antipolis, France"},"quality_controlled":"1","abstract":[{"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. ","lang":"eng"}],"extern":"1","language":[{"iso":"eng"}],"date_published":"1994-01-01T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_created":"2018-12-11T12:09:46Z","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0033565"}],"year":"1994","oa_version":"None","month":"01","publication_identifier":{"isbn":["978-3-540-19896-3"]},"doi":"10.1007/BFb0033565","day":"01","author":[{"first_name":"Rajeev","full_name":"Alur, Rajeev","last_name":"Alur"},{"first_name":"Costas","full_name":"Courcoubetis, Costas","last_name":"Courcoubetis"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"last_name":"Ho","full_name":"Ho, Pei","first_name":"Pei"},{"first_name":"Xavier","full_name":"Nicollin, Xavier","last_name":"Nicollin"},{"full_name":"Olivero, Alfredo","first_name":"Alfredo","last_name":"Olivero"},{"first_name":"Joseph","full_name":"Sifakis, Joseph","last_name":"Sifakis"},{"last_name":"Yovine","full_name":"Yovine, Sergio","first_name":"Sergio"}],"article_processing_charge":"No","_id":"4617","volume":199,"alternative_title":["LNCIS"],"publication":"11th International Conference on Analysis and Optimization of Systems Discrete Event Systems","page":"331 - 351","citation":{"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.","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>","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.","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.","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>.","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>"},"status":"public","type":"conference","publist_id":"91"}