{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:55Z","timestamp":1750306855410,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T00:00:00Z","timestamp":1396915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSA Science of Security Lablet","award":["W911NSF-13-0086"],"award-info":[{"award-number":["W911NSF-13-0086"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,8]]},"DOI":"10.1145\/2600176.2600188","type":"proceedings-article","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T13:53:50Z","timestamp":1407851630000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Proving abstractions of dynamical systems through numerical simulations"],"prefix":"10.1145","author":[{"given":"Sayan","family":"Mitra","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}]}],"member":"320","published-online":{"date-parts":[[2014,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"issue":"6","key":"e_1_3_2_1_3_1","first-page":"1386","article-title":"Further results on incremental input-to-state stability. Automatic Control","volume":"54","author":"Angeli D.","year":"2009","unstructured":"D. Angeli . Further results on incremental input-to-state stability. Automatic Control , IEEE Transactions on , 54 ( 6 ): 1386 -- 1391 , 2009 . D. Angeli. Further results on incremental input-to-state stability. Automatic Control, IEEE Transactions on, 54(6):1386--1391, 2009.","journal-title":"IEEE Transactions on"},{"issue":"3","key":"e_1_3_2_1_4_1","first-page":"410","article-title":"A lyapunov approach to incremental stability properties. Automatic Control","volume":"47","author":"Angeli David","year":"2002","unstructured":"David Angeli . A lyapunov approach to incremental stability properties. Automatic Control , IEEE Transactions on , 47 ( 3 ): 410 -- 421 , 2002 . David Angeli. A lyapunov approach to incremental stability properties. Automatic Control, IEEE Transactions on, 47(3):410--421, 2002.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987416"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAN.2006.20"},{"key":"e_1_3_2_1_8_1","unstructured":"CAPD. Computer assisted proofs in dynamics 2002.  CAPD. Computer assisted proofs in dynamics 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.69"},{"key":"e_1_3_2_1_12_1","volume-title":"The compute execute check engine (c2e2)","author":"Duggirala Parasara Sridhar","year":"2013","unstructured":"Parasara Sridhar Duggirala , Sayan Mitra , and Mahesh Viswanathan . The compute execute check engine (c2e2) , 2013 . Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. The compute execute check engine (c2e2), 2013."},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proceedings of International Conference on Embedded Software (EMSOFT 2013","author":"Duggirala Parasara Sridhar","year":"2013","unstructured":"Parasara Sridhar Duggirala , Sayan Mitra , and Mahesh Viswanathan . Verificationcation of annotated models from executions . In Proceedings of International Conference on Embedded Software (EMSOFT 2013 ), pages 1 -- 10 , Montreal, QC, Canada , September 2013 . ACM SIGBED, IEEE. Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Verificationcation of annotated models from executions. In Proceedings of International Conference on Embedded Software (EMSOFT 2013), pages 1--10, Montreal, QC, Canada, September 2013. ACM SIGBED, IEEE."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3182\/20060607-3-IT-3902.00022"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_15"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321466.321473"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562126"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"e_1_3_2_1_19_1","volume-title":"Synthesis Lectures on Computer Science. Morgan Claypool","author":"Kaynar Dilsun K.","year":"2005","unstructured":"Dilsun K. Kaynar , Nancy Lynch , Roberto Segala , and Frits Vaandrager . The Theory of Timed I\/O Automata . Synthesis Lectures on Computer Science. Morgan Claypool , November 2005 . Also available as Technical Report MIT-LCS-TR-917. Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I\/O Automata. Synthesis Lectures on Computer Science. Morgan Claypool, November 2005. Also available as Technical Report MIT-LCS-TR-917."},{"key":"e_1_3_2_1_20_1","volume-title":"Nonlinear Systems","author":"Khalil H. K.","year":"2002","unstructured":"H. K. Khalil . Nonlinear Systems . Prentice Hall , New Jersey , 3 rd edition, 2002 . H. K. Khalil. Nonlinear Systems. Prentice Hall, New Jersey, 3rd edition, 2002.","edition":"3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control. Systems and Control: Foundations and Applications","author":"Liberzon Daniel","year":"2003","unstructured":"Daniel Liberzon . Switching in Systems and Control. Systems and Control: Foundations and Applications . Birkhauser, Boston , June 2003 . Daniel Liberzon. Switching in Systems and Control. Systems and Control: Foundations and Applications. Birkhauser, Boston, June 2003."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00019-3"},{"key":"e_1_3_2_1_23_1","volume-title":"Introduction to Dynamic Systems: Theory, Models, and Applications","author":"Luenberger David G.","year":"1979","unstructured":"David G. Luenberger . Introduction to Dynamic Systems: Theory, Models, and Applications . John Wiley and Sons, Inc. , New York , 1979 . David G. Luenberger. Introduction to Dynamic Systems: Theory, Models, and Applications. John Wiley and Sons, Inc., New York, 1979."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1007\/3-540-63165-8_221","volume-title":"Automata, languages and programming","author":"S\u00e9nizergues G\u00e9raud","year":"1997","unstructured":"G\u00e9raud S\u00e9nizergues . The equivalence problem for deterministic pushdown automata is decidable . In Automata, languages and programming , pages 671 -- 681 . Springer , 1997 . G\u00e9raud S\u00e9nizergues. The equivalence problem for deterministic pushdown automata is decidable. In Automata, languages and programming, pages 671--681. Springer, 1997."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647764.735689"}],"event":{"name":"HotSoS '14: Symposium and Bootcamp on the Science of Security","sponsor":["No. Carolina State Univeresity North Carolina State University"],"location":"Raleigh North Carolina USA","acronym":"HotSoS '14"},"container-title":["Proceedings of the 2014 Symposium and Bootcamp on the Science of Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2600176.2600188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2600176.2600188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:25Z","timestamp":1750234225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2600176.2600188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,8]]},"references-count":28,"alternative-id":["10.1145\/2600176.2600188","10.1145\/2600176"],"URL":"https:\/\/doi.org\/10.1145\/2600176.2600188","relation":{},"subject":[],"published":{"date-parts":[[2014,4,8]]},"assertion":[{"value":"2014-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}