{"publication_identifier":{"isbn":["9783540626008"]},"author":[{"last_name":"Gupta","first_name":"Vineet","full_name":"Gupta, Vineet"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"},{"last_name":"Jagadeesan","first_name":"Radha","full_name":"Jagadeesan, Radha"}],"publication":"Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems","page":"331 - 345","doi":"10.1007/BFb0014736","_id":"4520","language":[{"iso":"eng"}],"citation":{"apa":"Gupta, V., Henzinger, T. A., &#38; Jagadeesan, R. (1997). Robust timed automata. In <i>Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems</i> (Vol. 1201, pp. 331–345). Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/BFb0014736\">https://doi.org/10.1007/BFb0014736</a>","chicago":"Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.” In <i>Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems</i>, 1201:331–45. Springer, 1997. <a href=\"https://doi.org/10.1007/BFb0014736\">https://doi.org/10.1007/BFb0014736</a>.","ista":"Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 331–345.","ama":"Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: <i>Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems</i>. Vol 1201. Springer; 1997:331-345. doi:<a href=\"https://doi.org/10.1007/BFb0014736\">10.1007/BFb0014736</a>","short":"V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.","mla":"Gupta, Vineet, et al. “Robust Timed Automata.” <i>Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems</i>, vol. 1201, Springer, 1997, pp. 331–45, doi:<a href=\"https://doi.org/10.1007/BFb0014736\">10.1007/BFb0014736</a>.","ieee":"V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in <i>Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems</i>, Grenoble, France, 1997, vol. 1201, pp. 331–345."},"conference":{"location":"Grenoble, France","end_date":"1997-03-28","start_date":"1997-03-26","name":"HART: Hybrid and Real-Time Systems"},"year":"1997","volume":1201,"publist_id":"207","intvolume":"      1201","acknowledgement":"The first and third author were supported in part by grants from ARPA and ONR. The second author was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR contract F49620-93-1-0056, by the ARO MURI grant DAAH-04-96-1-0341, by the ARPA grant NAG2-892, and by the SRC contract 95-DC-324.036. The third author was also supported by the NSF.","date_updated":"2022-08-17T09:04:39Z","article_processing_charge":"No","month":"01","day":"01","type":"conference","abstract":[{"text":"We define robust timed automata, which are timed automata that accept all trajectories robustly: if a robust timed automaton accepts a trajectory, then it must accept neighboring trajectories also; and if a robust timed automaton rejects a trajectory, then it must reject neighboring trajectories also. We show that the emptiness problem for robust timed automata is still decidable, by modifying the region construction for timed automata. We then show that, like timed automata, robust timed automata cannot be determinized. This result is somewhat unexpected, given that in temporal logic, the removal of realtime equality constraints is known to lead to a decidable theory that is closed under all boolean operations.","lang":"eng"}],"date_published":"1997-01-01T00:00:00Z","publication_status":"published","extern":"1","scopus_import":"1","publisher":"Springer","date_created":"2018-12-11T12:09:17Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","alternative_title":["LNCS"],"status":"public","title":"Robust timed automata","quality_controlled":"1"}