{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:21:21Z","timestamp":1778498481015,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["64392"],"award-info":[{"award-number":["64392"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Research Council (ERC)","award":["817629"],"award-info":[{"award-number":["817629"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456703","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["AROC"],"prefix":"10.1145","author":[{"given":"Niklas","family":"Kochdumper","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]},{"given":"Felix","family":"Gruber","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]},{"given":"Bastian","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]},{"given":"Victor","family":"Ga\u00dfmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]},{"given":"Moritz","family":"Klischat","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems. 120--151","author":"Althoff M.","year":"2015","unstructured":"M. Althoff . 2015 . An Introduction to CORA 2015 . In Proc. of the 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems. 120--151 . M. Althoff. 2015. An Introduction to CORA 2015. In Proc. of the 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems. 120--151."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the 28th IEEE Intelligent Vehicles Symposium. 719--726","author":"Althoff M.","unstructured":"M. Althoff , M. Koschi , and S. Manzinger . 2017. CommonRoad: Composable Benchmarks for Motion Planning on Roads . In Proc. of the 28th IEEE Intelligent Vehicles Symposium. 719--726 . M. Althoff, M. Koschi, and S. Manzinger. 2017. CommonRoad: Composable Benchmarks for Motion Planning on Roads. In Proc. of the 28th IEEE Intelligent Vehicles Symposium. 719--726."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-63428-3.50333-7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.05.003"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 281--282","author":"Chan N.","unstructured":"N. Chan and S. Mitra . 2018. CODEV: Automated Model Predictive Control Design and Formal Verification . In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 281--282 . N. Chan and S. Mitra. 2018. CODEV: Automated Model Predictive Control Design and Formal Verification. In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 281--282."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of the 1997 American Control Conference. 3073--3077","author":"Chen H.","unstructured":"H. Chen , C. Scherer , and F. Allg\u00f6wer . 1997. A Game Theoretic Approach to Nonlinear Robust Receding Horizon Control of Constrained Systems . In Proc. of the 1997 American Control Conference. 3073--3077 . H. Chen, C. Scherer, and F. Allg\u00f6wer. 1997. A Game Theoretic Approach to Nonlinear Robust Receding Horizon Control of Constrained Systems. In Proc. of the 1997 American Control Conference. 3073--3077."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the 18th European Control Conference. 3365--3370","author":"Chen Y.","unstructured":"Y. Chen and et al. 2019. MATMPC-A MATLAB Based Toolbox for Real-time Nonlinear Model Predictive Control . In Proc. of the 18th European Control Conference. 3365--3370 . Y. Chen and et al. 2019. MATMPC-A MATLAB Based Toolbox for Real-time Nonlinear Model Predictive Control. In Proc. of the 18th European Control Conference. 3365--3370."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2012.2205651"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the 43rd IEEE Conference on Decision and Control. 2491--2496","author":"de la Pena M.","unstructured":"M. de la Pena , A. Bemporad , and C. Filippi . 2004. Robust Explicit MPC Based on Approximate Multi-parametric Convex Programming . In Proc. of the 43rd IEEE Conference on Decision and Control. 2491--2496 . M. de la Pena, A. Bemporad, and C. Filippi. 2004. Robust Explicit MPC Based on Approximate Multi-parametric Convex Programming. In Proc. of the 43rd IEEE Conference on Decision and Control. 2491--2496."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"H. Deng and T. Ohtsuka. 2020. ParNMPC-A Parallel Optimisation Toolkit for Real-time Nonlinear Model Predictive Control. To appear in: International Journal of Control (2020).  H. Deng and T. Ohtsuka. 2020. ParNMPC-A Parallel Optimisation Toolkit for Real-time Nonlinear Model Predictive Control. To appear in: International Journal of Control (2020).","DOI":"10.1080\/00207179.2020.1798019"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of the 2018 International Conference on Simulation, Modeling, and Programming for Autonomous Robots. 123--129","author":"Giftthaler M.","unstructured":"M. Giftthaler and et al. 2018. The Control Toolbox-An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control . In Proc. of the 2018 International Conference on Simulation, Modeling, and Programming for Autonomous Robots. 123--129 . M. Giftthaler and et al. 2018. The Control Toolbox-An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control. In Proc. of the 2018 International Conference on Simulation, Modeling, and Programming for Autonomous Robots. 123--129."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1474--1481","author":"He\u00df D.","unstructured":"D. He\u00df , M. Althoff , and T. Sattel . 2014. Formal Verification of Maneuver Automata for Parameterized Motion Primitives . In Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1474--1481 . D. He\u00df, M. Althoff, and T. Sattel. 2014. Formal Verification of Maneuver Automata for Parameterized Motion Primitives. In Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1474--1481."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/oca.939"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of the 20th IFAC World Congress. 531--536","author":"Jane\u010dek F.","unstructured":"F. Jane\u010dek and et al. 2017. OPTIPLAN: A MATLAB Toolbox for Model Predictive Control with Obstacle Avoidance . In Proc. of the 20th IFAC World Congress. 531--536 . F. Jane\u010dek and et al. 2017. OPTIPLAN: A MATLAB Toolbox for Model Predictive Control with Obstacle Avoidance. In Proc. of the 20th IFAC World Congress. 531--536."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920943266"},{"key":"e_1_3_2_1_18_1","unstructured":"H. Kwakernaak and R. Sivan. 1972. Linear Optimal Control Systems. Vol. 1. Wiley.  H. Kwakernaak and R. Sivan. 1972. Linear Optimal Control Systems. Vol. 1. Wiley."},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 130--135","author":"Li Y.","unstructured":"Y. Li and J. Liu . 2018. ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems . In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 130--135 . Y. Li and J. Liu. 2018. ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 130--135."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. of the 51st IEEE Conference on Decision and Control. 7664--7670","author":"Liu L.","unstructured":"L. Liu and et al. 2012. Reactive Controllers for Differentially Flat Systems with Temporal Logic Constraints . In Proc. of the 51st IEEE Conference on Decision and Control. 7664--7670 . L. Liu and et al. 2012. Reactive Controllers for Differentially Flat Systems with Temporal Logic Constraints. In Proc. of the 51st IEEE Conference on Decision and Control. 7664--7670."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1758"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. of the 22nd International Conference on Computer Aided Verification. 566--569","author":"Mazo M.","unstructured":"M. Mazo , A. Davitian , and P. Tabuada . 2010. PESSOA: A Tool for Embedded Controller Synthesis . In Proc. of the 22nd International Conference on Computer Aided Verification. 566--569 . M. Mazo, A. Davitian, and P. Tabuada. 2010. PESSOA: A Tool for Embedded Controller Synthesis. In Proc. of the 22nd International Conference on Computer Aided Verification. 566--569."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of the 16th International Conference on Hybrid Systems: Computation and Control. 83--88","author":"Mouelhi S.","unstructured":"S. Mouelhi , A. Girard , and G. G\u00f6ssler . 2013. CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions . In Proc. of the 16th International Conference on Hybrid Systems: Computation and Control. 83--88 . S. Mouelhi, A. Girard, and G. G\u00f6ssler. 2013. CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions. In Proc. of the 16th International Conference on Hybrid Systems: Computation and Control. 83--88."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the 2008 AIChE Annual Meeting. 16--21","author":"Nagy Z. K.","year":"2008","unstructured":"Z. K. Nagy . 2008 . OptCon-An Efficient Tool for Rapid Prototyping of Nonlinear Model Predictive Control Applications . In Proc. of the 2008 AIChE Annual Meeting. 16--21 . Z. K. Nagy. 2008. OptCon-An Efficient Tool for Rapid Prototyping of Nonlinear Model Predictive Control Applications. In Proc. of the 2008 AIChE Annual Meeting. 16--21."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of the 20th International Conference on Process Control. 272--277","author":"Oravec J.","unstructured":"J. Oravec and M. Bako\u0161ov\u00e9 . 2015. Software for Efficient LMI-based Robust MPC Design . In Proc. of the 20th International Conference on Process Control. 272--277 . J. Oravec and M. Bako\u0161ov\u00e9. 2015. Software for Efficient LMI-based Robust MPC Design. In Proc. of the 20th International Conference on Process Control. 272--277."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/aic.11965"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 269--270","author":"Qi B.","unstructured":"B. Qi and et al. 2018. DryVR 2.0: A Tool for Verification and Controller Synthesis of Black-box Cyber-physical Systems . In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 269--270 . B. Qi and et al. 2018. DryVR 2.0: A Tool for Verification and Controller Synthesis of Black-box Cyber-physical Systems. In Proc. of the 21st International Conference on Hybrid Systems: Computation and Control. 269--270."},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of the 18th IFAC World Congress. 9284--9289","author":"Raimondo D. M.","unstructured":"D. M. Raimondo and et al. 2011. A Robust Explicit Nonlinear MPC Controller with Input-to-state Stability Guarantees . In Proc. of the 18th IFAC World Congress. 9284--9289 . D. M. Raimondo and et al. 2011. A Robust Explicit Nonlinear MPC Controller with Input-to-state Stability Guarantees. In Proc. of the 18th IFAC World Congress. 9284--9289."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2191174"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2074590"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. of the 19th International Conference on Hybrid Systems: Computation and Control. 99--104","author":"Rungger M.","unstructured":"M. Rungger and M. Zamani . 2016. SCOTS: A Tool for the Synthesis of Symbolic Controllers . In Proc. of the 19th International Conference on Hybrid Systems: Computation and Control. 99--104 . M. Rungger and M. Zamani. 2016. SCOTS: A Tool for the Synthesis of Symbolic Controllers. In Proc. of the 19th International Conference on Hybrid Systems: Computation and Control. 99--104."},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1525 -- 1532","author":"Saha I.","unstructured":"I. Saha and et al. 2014. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications . In Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1525 -- 1532 . I. Saha and et al. 2014. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications. In Proc. of the 2014 International Conference on Intelligent Robots and Systems. 1525 -- 1532."},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of the 2008 American Control Conference. 2254--2259","author":"Sanfelice R.","unstructured":"R. Sanfelice and E. Frazzoli . 2008. A Hybrid Control Framework for Robust Maneuver-based Motion Planning . In Proc. of the 2008 American Control Conference. 2254--2259 . R. Sanfelice and E. Frazzoli. 2008. A Hybrid Control Framework for Robust Maneuver-based Motion Planning. In Proc. of the 2008 American Control Conference. 2254--2259."},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. of the 20th International Conference on Hybrid Systems: Computation and Control. 121--130","author":"Sch\u00fcrmann B.","unstructured":"B. Sch\u00fcrmann and M. Althoff . 2017. Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems . In Proc. of the 20th International Conference on Hybrid Systems: Computation and Control. 121--130 . B. Sch\u00fcrmann and M. Althoff. 2017. Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. In Proc. of the 20th International Conference on Hybrid Systems: Computation and Control. 121--130."},{"key":"e_1_3_2_1_36_1","volume-title":"Proc. of the 20th IFAC World Congress. 11515--11522","author":"Sch\u00fcrmann B.","unstructured":"B. Sch\u00fcrmann and M. Althoff . 2017. Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space . In Proc. of the 20th IFAC World Congress. 11515--11522 . B. Sch\u00fcrmann and M. Althoff. 2017. Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space. In Proc. of the 20th IFAC World Congress. 11515--11522."},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. of the 2017 American Control Conference. 2522--2529","author":"Sch\u00fcrmann B.","unstructured":"B. Sch\u00fcrmann and M. Althoff . 2017. Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems . In Proc. of the 2017 American Control Conference. 2522--2529 . B. Sch\u00fcrmann and M. Althoff. 2017. Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems. In Proc. of the 2017 American Control Conference. 2522--2529."},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. of the 57th IEEE Conference on Decision and Control. 3463--3470","author":"Sch\u00fcrmann B.","unstructured":"B. Sch\u00fcrmann , N. Kochdumper , and M. Althoff . 2018. Reachset Model Predictive Control for Disturbed Nonlinear Systems . In Proc. of the 57th IEEE Conference on Decision and Control. 3463--3470 . B. Sch\u00fcrmann, N. Kochdumper, and M. Althoff. 2018. Reachset Model Predictive Control for Disturbed Nonlinear Systems. In Proc. of the 57th IEEE Conference on Decision and Control. 3463--3470."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of the 1st IEEE Conference on Control Technology and Applications. 1625--1630","author":"Weiss A.","unstructured":"A. Weiss and et al. 2017. Motion Planning with Invariant Set Trees . In Proc. of the 1st IEEE Conference on Control Technology and Applications. 1625--1630 . A. Weiss and et al. 2017. Motion Planning with Invariant Set Trees. In Proc. of the 1st IEEE Conference on Control Technology and Applications. 1625--1630."},{"key":"e_1_3_2_1_41_1","volume-title":"Proc. of the 14th International Conference on Hybrid Systems: Computation and Control. 313--314","author":"Wongpiromsarn T.","unstructured":"T. Wongpiromsarn and et al. 2011. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning . In Proc. of the 14th International Conference on Hybrid Systems: Computation and Control. 313--314 . T. Wongpiromsarn and et al. 2011. TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning. In Proc. of the 14th International Conference on Hybrid Systems: Computation and Control. 313--314."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","location":"Nashville Tennessee","acronym":"HSCC '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456703"}},"subtitle":["a toolbox for automated reachset optimal controller synthesis"],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":43,"alternative-id":["10.1145\/3447928.3456703","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456703","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}