{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:14Z","timestamp":1750306034922,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"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":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178154","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"259-264","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Averist"],"prefix":"10.1145","author":[{"given":"Miriam Garc\u00eda","family":"Soto","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Pozuelo de Alarc\u00f3n, Madrid, Spain"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243","author":"Bengtsson Johan","year":"1995","unstructured":"Johan Bengtsson , Kim G. Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi . 1995 . Uppaal --- a Tool Suite for Automatic Verification of Real-Time Systems . In Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243 . Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. Uppaal --- a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of Workshop on Verification and Control of Hybrid Systems III (Lecture Notes in Computer Science). Springer-Verlag, 232--243."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_7_1","unstructured":"Version 4.45 GNU Linear Programming Kit. 2010. GLPK: https:\/\/www.gnu.org\/software\/glpk\/. (2010).  Version 4.45 GNU Linear Programming Kit. 2010. GLPK: https:\/\/www.gnu.org\/software\/glpk\/. (2010)."},{"volume-title":"Proceedings of the International Conference on Computer Aided Verification. 72--83","author":"Graf S.","key":"e_1_3_2_1_8_1","unstructured":"S. Graf and H. Saidi . 1997. Construction of abstact state graphs with PVS . In Proceedings of the International Conference on Computer Aided Verification. 72--83 . S. Graf and H. Saidi. 1997. Construction of abstact state graphs with PVS. In Proceedings of the International Conference on Computer Aided Verification. 72--83."},{"volume-title":"Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15","author":"Hagberg Aric A.","key":"e_1_3_2_1_9_1","unstructured":"Aric A. Hagberg , Daniel A. Schult , and Pieter J. Swart . 2008. Exploring Network Structure, Dynamics, and Function using NetworkX . In Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15 . Aric A. Hagberg, Daniel A. Schult, and Pieter J. Swart. 2008. Exploring Network Structure, Dynamics, and Function using NetworkX. In Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15."},{"volume-title":"Nonlinear Systems","author":"Khalil H.K.","key":"e_1_3_2_1_10_1","unstructured":"H.K. Khalil . 1996. Nonlinear Systems . Prentice-Hall , Upper Saddle River, NJ. H.K. Khalil. 1996. Nonlinear Systems. Prentice-Hall, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00012-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461347"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883840"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_20"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859056"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.10.013"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_27"},{"key":"e_1_3_2_1_19_1","unstructured":"W.A. Stein etal 2016. Sage Mathematics Software (Version 7.3). The Sage Development Team. http:\/\/www.sagemath.org.  W.A. Stein et al. 2016. Sage Mathematics Software (Version 7.3). The Sage Development Team. http:\/\/www.sagemath.org."}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Porto Portugal","acronym":"HSCC '18"},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178154"}},"subtitle":["Algorithmic Verifier for Stability of Linear Hybrid Systems"],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":19,"alternative-id":["10.1145\/3178126.3178154","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178154","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}