{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:42Z","timestamp":1750306722987,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0953941"],"award-info":[{"award-number":["CNS-0953941"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656060","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation"],"prefix":"10.1145","author":[{"given":"Hadi","family":"Ravanbakhsh","sequence":"first","affiliation":[{"name":"University of Colorado, Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871306"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646875.709990"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760294"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"135","volume-title":"VMCAI","author":"Bagnara R.","year":"2004","unstructured":"R. Bagnara , P. M. Hill , and E. Zaffanella . Widening operators for powerset domains . In VMCAI , volume 2937 of LNCS , pages 135 -- 148 . Springer-Verlag , 2004 . R. Bagnara, P. M. Hill, and E. Zaffanella. Widening operators for powerset domains. In VMCAI, volume 2937 of LNCS, pages 135--148. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.716096"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535860"},{"key":"e_1_3_2_1_7_1","first-page":"106","volume-title":"Proc. ISOP'76","author":"Cousot P.","year":"1976","unstructured":"P. Cousot and R. Cousot . Static determination of dynamic properties of programs . In Proc. ISOP'76 , pages 106 -- 130 , 1976 . P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. ISOP'76, pages 106--130, 1976."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980268"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"e_1_3_2_1_14_1","volume-title":"Benchmark problem: A PK\/PD model and safety constraints for anesthesia delivery","author":"Gan V.","year":"2014","unstructured":"V. Gan , G. A. Dumont , and I. M. Mitchell . Benchmark problem: A PK\/PD model and safety constraints for anesthesia delivery , 2014 . Benchmark presented at the ARCH 2014 workshop. V. Gan, G. A. Dumont, and I. M. Mitchell. Benchmark problem: A PK\/PD model and safety constraints for anesthesia delivery, 2014. Benchmark presented at the ARCH 2014 workshop."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"e_1_3_2_1_19_1","series-title":"LNCS","first-page":"39","volume-title":"SAS","author":"Jeannet B.","year":"1999","unstructured":"B. Jeannet , N. Halbwachs , and P. Raymond . Dynamic partitioning in analyses of numerical properties . In SAS , volume 1694 of LNCS , pages 39 -- 50 , 1999 . B. Jeannet, N. Halbwachs, and P. Raymond. Dynamic partitioning in analyses of numerical properties. In SAS, volume 1694 of LNCS, pages 39--50, 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582126"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_49"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837141"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710472"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis. springer","author":"Nielson F.","year":"1999","unstructured":"F. Nielson , H. R. Nielson , and C. Hankin . Principles of Program Analysis. springer , 1999 . F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. springer, 1999."},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"331","volume-title":"ASIAN","author":"Popeea C.","year":"2006","unstructured":"C. Popeea and W.-N. Chin . Inferring disjunctive postconditions . In ASIAN , volume 4435 of LNCS , pages 331 -- 345 . Springer , 2006 . C. Popeea and W.-N. Chin. Inferring disjunctive postconditions. In ASIAN, volume 4435 of LNCS, pages 331--345. Springer, 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185651"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_2"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768100.1768135"},{"key":"e_1_3_2_1_33_1","series-title":"LNCS","first-page":"71","volume-title":"LOPSTR","author":"Simon A.","year":"2003","unstructured":"A. Simon , A. King , and J. M. Howe . Two variables per linear inequality as an abstract domain . In LOPSTR , volume 2664 of LNCS , pages 71 -- 89 . Springer , 2003 . A. Simon, A. King, and J. M. Howe. Two variables per linear inequality as an abstract domain. In LOPSTR, volume 2664 of LNCS, pages 71--89. Springer, 2003."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0172-8"},{"key":"e_1_3_2_1_35_1","unstructured":"UCLA CyPhy Laboratory. PESSOA: Software toolbox for the synthesis of correct-by-design embedded control software.  UCLA CyPhy Laboratory. PESSOA: Software toolbox for the synthesis of correct-by-design embedded control software."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710447"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649708"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":35,"alternative-id":["10.1145\/2656045.2656060","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656060","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}