{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:19Z","timestamp":1750307059122,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,7]]},"DOI":"10.1145\/2380356.2380370","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T12:20:46Z","timestamp":1349785246000},"page":"43-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Finite automata with time-delay blocks"],"prefix":"10.1145","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"Institute of Science and Technology, Austria, Klosterneuburg, Austria"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology, Austria, Klosterneuburg, Austria"}]},{"given":"Vinayak S.","family":"Prabhu","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0083"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00033-X"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_3_2_1_5_1","volume-title":"CoRR arXiv:1207.7019","author":"Chatterjee K.","year":"2012","unstructured":"K. Chatterjee , T. A. Henzinger , and V. S. Prabhu . Finite Automata with Time-Delay Blocks (Extended Version) \". In: CoRR arXiv:1207.7019 ( 2012 ). K. Chatterjee, T. A. Henzinger, and V. S. Prabhu. Finite Automata with Time-Delay Blocks (Extended Version)\". In: CoRR arXiv:1207.7019 (2012)."},{"key":"e_1_3_2_1_6_1","volume-title":"Applications of time delay systems. Lecture notes in control and information sciences","author":"Chiasson J. N.","year":"2007","unstructured":"J. N. Chiasson and J. J. Loiseau . Applications of time delay systems. Lecture notes in control and information sciences . Springer , 2007 . isbn: 9783540495550. J. N. Chiasson and J. J. Loiseau. Applications of time delay systems. Lecture notes in control and information sciences. Springer, 2007. isbn: 9783540495550."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_8_1","first-page":"698","volume-title":"Reachability Analysis of a Switched Buer Network","author":"Frehse G.","year":"2007","unstructured":"G. Frehse and O. Maler . \" Reachability Analysis of a Switched Buer Network \". In : HSCC. 2007 , pp. 698 -- 701 . G. Frehse and O. Maler. \"Reachability Analysis of a Switched Buer Network\". In: HSCC. 2007, pp. 698--701."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"1458","DOI":"10.1007\/978-1-4612-0039-0","volume-title":"Stability of time-delay systems","author":"Gu K.","year":"2003","unstructured":"K. Gu , V.L. Kharitonov , and J. Chen . Stability of time-delay systems . Vol. 41 . 12. Birkhauser , 2003 , pp. 1458 -- 1463 . K. Gu, V.L. Kharitonov, and J. Chen. Stability of time-delay systems. Vol. 41. 12. Birkhauser, 2003, pp. 1458--1463."},{"key":"e_1_3_2_1_10_1","first-page":"145","volume-title":"CIAA. LNCS 2088","author":"Ibarra O.H.","year":"2000","unstructured":"O.H. Ibarra . \"Reachability and Safety in Queue Systems\". In: CIAA. LNCS 2088 . Springer , 2000 , pp. 145 -- 156 . O.H. Ibarra. \"Reachability and Safety in Queue Systems\". In: CIAA. LNCS 2088. Springer, 2000, pp. 145--156."},{"volume-title":"Control System Toolbox","year":"2012","key":"e_1_3_2_1_11_1","unstructured":"MathWorks. Control System Toolbox . 2012 . url: http:\/\/www.mathworks.com\/products\/control\/. MathWorks. Control System Toolbox. 2012. url: http:\/\/www.mathworks.com\/products\/control\/."},{"key":"e_1_3_2_1_12_1","unstructured":"MathWorks. Simulink. 2012. url: http:\/\/www.mathworks.com\/help\/toolbox\/simulink\/slref\/unitdelay.html.  MathWorks. Simulink. 2012. url: http:\/\/www.mathworks.com\/help\/toolbox\/simulink\/slref\/unitdelay.html."},{"key":"e_1_3_2_1_13_1","first-page":"189","volume-title":"CHARME. LNCS 987","author":"Maler O.","year":"1995","unstructured":"O. Maler and A. Pnueli . \" Timing analysis of asynchronous circuits using timed automata \". In: CHARME. LNCS 987 . Springer , 1995 , pp. 189 -- 205 . O. Maler and A. Pnueli. \"Timing analysis of asynchronous circuits using timed automata\". In: CHARME. LNCS 987. Springer, 1995, pp. 189--205."},{"key":"e_1_3_2_1_14_1","unstructured":"Ptolemy II. 2012. url: http:\/\/ptolemy.berkeley.edu\/ptolemyII\/.  Ptolemy II. 2012. url: http:\/\/ptolemy.berkeley.edu\/ptolemyII\/."},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-25221-1","volume-title":"Time Delay Systems: Methods, Applications and New Trends","author":"Sipahi R.","year":"2012","unstructured":"R. Sipahi Time Delay Systems: Methods, Applications and New Trends . Lecture Notes in Control and Information Sciences . Springer , 2012 . R. Sipahi et al. Time Delay Systems: Methods, Applications and New Trends. Lecture Notes in Control and Information Sciences. Springer, 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.15"},{"key":"e_1_3_2_1_17_1","volume-title":"Robust control of time-delay systems","author":"Zhong Q.C.","year":"2006","unstructured":"Q.C. Zhong . Robust control of time-delay systems . Springer , 2006 . isbn: 9781846282645. Q.C. Zhong. Robust control of time-delay systems. Springer, 2006. isbn: 9781846282645."}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Tampere Finland","acronym":"ESWEEK'12"},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2380356.2380370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:14Z","timestamp":1750238474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":17,"alternative-id":["10.1145\/2380356.2380370","10.1145\/2380356"],"URL":"https:\/\/doi.org\/10.1145\/2380356.2380370","relation":{},"subject":[],"published":{"date-parts":[[2012,10,7]]},"assertion":[{"value":"2012-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}