{"date_updated":"2022-06-10T09:33:19Z","publication_identifier":{"isbn":["0818673370"]},"month":"01","article_processing_charge":"No","publication":"Proceedings 16th IEEE Real-Time Systems Symposium","day":"01","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"page":"56 - 65","doi":"10.1109/REAL.1995.495196 ","type":"conference","abstract":[{"text":"We describe a new implementation of HYTECH, a symbolic model checker for hybrid systems. Given a parametric description of an embedded system as a collection of communicating automata, HYTECH automatically computes the conditions on the parameters under which the system satisfies its safety and timing requirements. While the original HYTECH prototype was based on the symbolic algebra tool Mathematica, the new implementation is written in C++ and builds on geometric algorithms instead of formula manipulation. The new HYTECH offers a cleaner and more expressive input language, greater portability, superior performance (typically two to three orders of magnitude), and new features such as diagnostic error-trace generation. We illustrate the effectiveness of the new implementation by applying HYTECH to the automatic parametric analysis of the generic railroad crossing benchmark problem and to an active structure control algorithm","lang":"eng"}],"main_file_link":[{"url":"https://ieeexplore.ieee.org/document/495196"}],"_id":"4499","language":[{"iso":"eng"}],"conference":{"name":"RTSS: Real-Time Systems Symposium","start_date":"1995-12-05","end_date":"1995-12-07","location":"Pisa, Italy"},"extern":"1","publication_status":"published","citation":{"ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>, Pisa, Italy, 1995, pp. 56–65.","mla":"Henzinger, Thomas A., et al. “HyTech: The next Generation.” <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>, IEEE, 1995, pp. 56–65, doi:<a href=\"https://doi.org/10.1109/REAL.1995.495196 \">10.1109/REAL.1995.495196 </a>.","short":"T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65.","apa":"Henzinger, T. A., Ho, P., &#38; Wong Toi, H. (1995). HyTech: The next generation. In <i>Proceedings 16th IEEE Real-Time Systems Symposium</i> (pp. 56–65). Pisa, Italy: IEEE. <a href=\"https://doi.org/10.1109/REAL.1995.495196 \">https://doi.org/10.1109/REAL.1995.495196 </a>","ista":"Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings 16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.” In <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>, 56–65. IEEE, 1995. <a href=\"https://doi.org/10.1109/REAL.1995.495196 \">https://doi.org/10.1109/REAL.1995.495196 </a>.","ama":"Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>. IEEE; 1995:56-65. doi:<a href=\"https://doi.org/10.1109/REAL.1995.495196 \">10.1109/REAL.1995.495196 </a>"},"date_published":"1995-01-01T00:00:00Z","scopus_import":"1","year":"1995","publisher":"IEEE","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"232","date_created":"2018-12-11T12:09:10Z","oa_version":"None","status":"public","quality_controlled":"1","title":"HyTech: The next generation"}