{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:58Z","timestamp":1750220098415,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"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":[[2022,5,4]]},"DOI":"10.1145\/3501710.3519519","type":"proceedings-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T14:28:32Z","timestamp":1651156112000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ABS: A formally correct software tool for space-efficient symbolic synthesis"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Weber","sequence":"first","affiliation":[{"name":"Department of Mechanical, Automotive and Aeronautical Engineering, Munich University of Applied Sciences, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisei","family":"Macoveiciuc","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering LRT-15, Institute of Control Engineering, Bundeswehr University Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunther","family":"Reissig","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering LRT-15, Institute of Control Engineering, Bundeswehr University Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.10.012"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAN.2006.20"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.004"},{"key":"e_1_3_2_1_4_1","volume-title":"Corliss and Robert Rihm","author":"F.","year":"1996","unstructured":"George\u00a0 F. Corliss and Robert Rihm . 1996 . Validating an a priori enclosure using high-order Taylor series. In Scientific computing and validated numerics (Wuppertal, 1995). Math. Res., Vol.\u00a090. Akademie Verlag , Berlin, 228\u2013238. George\u00a0F. Corliss and Robert Rihm. 1996. Validating an a priori enclosure using high-order Taylor series. In Scientific computing and validated numerics (Wuppertal, 1995). Math. Res., Vol.\u00a090. Akademie Verlag, Berlin, 228\u2013238."},{"key":"e_1_3_2_1_5_1","first-page":"78","article-title":"Validated explicit and implicit Runge-Kutta methods","volume":"22","author":"Sandretto Julien\u00a0Alexandre","year":"2016","unstructured":"Julien\u00a0Alexandre dit Sandretto and Alexandre Chapoutot . 2016 . Validated explicit and implicit Runge-Kutta methods . Reliab. Comput. 22 (2016), 78 \u2013 103 . Julien\u00a0Alexandre dit Sandretto and Alexandre Chapoutot. 2016. Validated explicit and implicit Runge-Kutta methods. Reliab. Comput. 22(2016), 78\u2013103.","journal-title":"Reliab. Comput."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_9_1","volume-title":"Evaluating derivatives","author":"Griewank Andreas","unstructured":"Andreas Griewank and Andrea Walther . 2008. Evaluating derivatives ( 2 nd ed.). SIAM. Andreas Griewank and Andrea Walther. 2008. Evaluating derivatives(2nd ed.). SIAM.","edition":"2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619659"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2009.11.365"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311798"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130904-3-FR-2041.00098"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456703"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. 21st Intl. Conf. Hybrid Systems: Computation and Control (HSCC)","author":"Li Yinan","year":"2018","unstructured":"Yinan Li and Jun Liu . 2018 . ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems . In Proc. 21st Intl. Conf. Hybrid Systems: Computation and Control (HSCC) , Porto, Portugal , April 11-13, 2018. 130\u2013135. Yinan Li and Jun Liu. 2018. ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. In Proc. 21st Intl. Conf. Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, April 11-13, 2018. 130\u2013135."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.470"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385014300029"},{"volume-title":"Vol.\u00a0162","author":"Lukes L.","key":"e_1_3_2_1_20_1","unstructured":"Dahlard\u00a0 L. Lukes . 1982. Differential equations. Mathematics in Science and Engineering , Vol.\u00a0162 . Academic Press Inc ., London. Dahlard\u00a0L. Lukes. 1982. Differential equations. Mathematics in Science and Engineering, Vol.\u00a0162. Academic Press Inc., London."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. 2013 IEEE\/RSJ Int. Conf. Intell Robots and Systems (IROS)","author":"Lyons D.M.","year":"2013","unstructured":"D.M. Lyons , R.C. Arkin , P. Nirmal , S. Jiang , T-M Liu , and J. Deeb . 2013. Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty . In Proc. 2013 IEEE\/RSJ Int. Conf. Intell Robots and Systems (IROS) , Tokyo, Japan , Nov. 3-7, 2013 . 5292\u20135299. D.M. Lyons, R.C. Arkin, P. Nirmal, S. Jiang, T-M Liu, and J. Deeb. 2013. Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty. In Proc. 2013 IEEE\/RSJ Int. Conf. Intell Robots and Systems (IROS), Tokyo, Japan, Nov. 3-7, 2013. 5292\u20135299."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814850"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1567"},{"key":"e_1_3_2_1_24_1","volume-title":"On-the-fly symbolic synthesis with memory reduction guarantees","author":"Macoveiciuc Elisei","year":"2023","unstructured":"Elisei Macoveiciuc and Gunther Reissig . 2023. On-the-fly symbolic synthesis with memory reduction guarantees . IEEE Trans. Automat. Control 68 ( 2023 ), Submitted . Elisei Macoveiciuc and Gunther Reissig. 2023. On-the-fly symbolic synthesis with memory reduction guarantees. IEEE Trans. Automat. Control 68 (2023), Submitted."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_49"},{"key":"e_1_3_2_1_26_1","unstructured":"Guillaume Melquiond. 2016. Gappa - G\u00e9n\u00e9ration Automatique de Preuves de Propri\u00e9t\u00e9s Arithm\u00e9tiques. INRIA. User\u2019s Guide http:\/\/gappa.gforge.inria.fr\/.  Guillaume Melquiond. 2016. Gappa - G\u00e9n\u00e9ration Automatique de Preuves de Propri\u00e9t\u00e9s Arithm\u00e9tiques. INRIA. User\u2019s Guide http:\/\/gappa.gforge.inria.fr\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"volume-title":"Handbook of floating-point arithmetic","author":"Muller Jean-Michel","key":"e_1_3_2_1_28_1","unstructured":"Jean-Michel Muller , Nicolas Brisebarre , Florent de Dinechin , Claude-Pierre Jeannerod , Vincent Lef\u00e8vre , Guillaume Melquiond , Nathalie Revol , Damien Stehl\u00e9 , and Serge Torres . 2010. Handbook of floating-point arithmetic . Birkh\u00e4user Boston, Inc. , Boston, MA . Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lef\u00e8vre, Guillaume Melquiond, Nathalie Revol, Damien Stehl\u00e9, and Serge Torres. 2010. Handbook of floating-point arithmetic. Birkh\u00e4user Boston, Inc., Boston, MA."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2863178"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314891"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_36_1","volume-title":"Proc. 59th IEEE Conf. Decision and Control (CDC), Jeju Island, R.\u00a0Korea","author":"Samuel Stanly","year":"2020","unstructured":"Stanly Samuel , Kaushik Mallik , Anne-Kathrin Schmuck , and Daniel Neider . 2020 . Resilient abstraction-based controller design . In Proc. 59th IEEE Conf. Decision and Control (CDC), Jeju Island, R.\u00a0Korea , 14-18 Dec. 2020. 2123\u20132129. Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, and Daniel Neider. 2020. Resilient abstraction-based controller design. In Proc. 59th IEEE Conf. Decision and Control (CDC), Jeju Island, R.\u00a0Korea, 14-18 Dec. 2020. 2123\u20132129."},{"volume-title":"Correct-by-Construction Approaches for SoC Design","author":"Sinha Roopak","key":"e_1_3_2_1_37_1","unstructured":"Roopak Sinha , Parthasarathi Roop , and Samik Basu . 2014. Correct-by-Construction Approaches for SoC Design . Springer . Roopak Sinha, Parthasarathi Roop, and Samik Basu. 2014. Correct-by-Construction Approaches for SoC Design. Springer."},{"volume-title":"Standard for Floating-Point Arithmetic","author":"IEEE\u00a0Computer Society","key":"e_1_3_2_1_38_1","unstructured":"IEEE\u00a0Computer Society . 2008. IEEE 754-2008 , Standard for Floating-Point Arithmetic . IEEE , New York, NY, USA . IEEE\u00a0Computer Society. 2008. IEEE 754-2008, Standard for Floating-Point Arithmetic. IEEE, New York, NY, USA."},{"volume-title":"Verification and control of hybrid systems","author":"Tabuada Paulo","key":"e_1_3_2_1_39_1","unstructured":"Paulo Tabuada . 2009. Verification and control of hybrid systems . Springer . Paulo Tabuada. 2009. Verification and control of hybrid systems. Springer."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"volume-title":"Methoden zur Effizienzsteigerung abstraktionsbasierter Reglerentwurfsverfahren. doctoral thesis","author":"Weber Alexander","key":"e_1_3_2_1_41_1","unstructured":"Alexander Weber . 2018. Methoden zur Effizienzsteigerung abstraktionsbasierter Reglerentwurfsverfahren. doctoral thesis . University of the Bundeswehr Munich , Inst.\u00a0f.\u00a0Regelungs- und Steuerungstheorie, Werner-Heisenberg-Weg 39, Neubiberg. Alexander Weber. 2018. Methoden zur Effizienzsteigerung abstraktionsbasierter Reglerentwurfsverfahren. doctoral thesis. University of the Bundeswehr Munich, Inst.\u00a0f.\u00a0Regelungs- und Steuerungstheorie, Werner-Heisenberg-Weg 39, Neubiberg."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2642794"}],"event":{"name":"HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Milan Italy","acronym":"HSCC '22"},"container-title":["25th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519519","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501710.3519519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:11Z","timestamp":1750183811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,4]]},"references-count":40,"alternative-id":["10.1145\/3501710.3519519","10.1145\/3501710"],"URL":"https:\/\/doi.org\/10.1145\/3501710.3519519","relation":{},"subject":[],"published":{"date-parts":[[2022,5,4]]},"assertion":[{"value":"2022-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}