{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:25:53Z","timestamp":1760171153653,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["AL 1185\/5-1"],"award-info":[{"award-number":["AL 1185\/5-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382192","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Utilizing dependencies to obtain subsets of reachable sets"],"prefix":"10.1145","author":[{"given":"Niklas","family":"Kochdumper","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}]},{"given":"Bastian","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M. Althoff. 2013. Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets. In Hybrid Systems: Computation and Control. 173--182.  M. Althoff. 2013. Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets. In Hybrid Systems: Computation and Control. 173--182.","DOI":"10.1145\/2461328.2461358"},{"volume-title":"Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120--151","year":"2015","author":"Althoff M.","key":"e_1_3_2_1_2_1"},{"volume-title":"Proc. of the 47th IEEE Conference on Decision and Control. 4042--4048","author":"Althoff M.","key":"e_1_3_2_1_3_1"},{"volume-title":"Proc. of Tools and Algorithms for the Construction and Analysis of Systems. 254--257","author":"Annapureddy Y.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"volume-title":"Proc. of the 20th International Conference on Hybrid Systems: Computation and Control. 173--178","author":"Bak S.","key":"e_1_3_2_1_6_1"},{"volume-title":"Proc. of International Conference on Computer Aided Verification. 401--420","author":"Bak S.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2914"},{"volume-title":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM, 1--10","author":"Bogomolov S.","key":"e_1_3_2_1_9_1"},{"volume-title":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM, 39--44","author":"Sergiy","key":"e_1_3_2_1_10_1"},{"volume-title":"Proc. of the 33rd IEEE Real-Time Systems Symposium.","author":"Chen X.","key":"e_1_3_2_1_11_1"},{"volume-title":"Proc. of Computer-Aided Verification (LNCS 8044)","author":"Chen X.","key":"e_1_3_2_1_12_1"},{"volume-title":"Under-approximate flow-pipes for non-linear continuous systems. In 2014 Formal Methods in Computer-Aided Design (FMCAD)","author":"Chen X.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"T. Dang and etal 2010. Accurate Hybridization of Nonlinear Systems. In Hybrid Systems: Computation and Control. 11--19.  T. Dang and et al. 2010. Accurate Hybridization of Nonlinear Systems. In Hybrid Systems: Computation and Control. 11--19.","DOI":"10.1145\/1755952.1755956"},{"volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 68--82","author":"Duggirala P. S.","key":"e_1_3_2_1_16_1"},{"volume-title":"Proc. of International Conference on Computer Aided Verification. 477--494","author":"Duggirala P. S.","key":"e_1_3_2_1_17_1"},{"volume-title":"Proc. of the 23rd International Conference on Computer Aided Verification (LNCS 6806)","author":"Frehse G.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A. Girard and etal 2006. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In Hybrid Systems: Computation and Control (LNCS 3927). Springer 257--271.  A. Girard and et al. 2006. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In Hybrid Systems: Computation and Control (LNCS 3927). Springer 257--271.","DOI":"10.1007\/11730637_21"},{"volume-title":"Proc. of the 17th IFAC World Congress. 8966--8971","author":"Girard A.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0238-z"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Eric Goubault and Sylvie Putot. 2019. Inner and outer reachability for the verification of control systems.. In HSCC. 11--22.  Eric Goubault and Sylvie Putot. 2019. Inner and outer reachability for the verification of control systems.. In HSCC. 11--22.","DOI":"10.1145\/3302504.3311794"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"J. Hoefkens and etal 2001. Scientific Computing Validated Numerics Interval Methods. Springer Chapter Verified High-Order Integration of DAEs and Higher-Order ODEs 281--292.  J. Hoefkens and et al. 2001. Scientific Computing Validated Numerics Interval Methods. Springer Chapter Verified High-Order Integration of DAEs and Higher-Order ODEs 281--292.","DOI":"10.1007\/978-1-4757-6484-0_23"},{"volume-title":"Proc. of the 2nd Workshop on Applied Verification for Continuous and Hybrid Systems. 180--187","year":"2015","author":"Immler F.","key":"e_1_3_2_1_24_1"},{"volume-title":"6th International Workshop on Applied Verification of Continuous and Hybrid Systems.","author":"Immler F.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","unstructured":"N. Kochdumper and M. Althoff. 2019. Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. arXiv preprint arXiv:1901.01780 (2019).  N. Kochdumper and M. Althoff. 2019. Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. arXiv preprint arXiv:1901.01780 (2019)."},{"volume-title":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. ACM, 163--172","author":"Kong H.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"A. B. Kurzhanski and P. Varaiya. 2000. Ellipsoidal Techniques for Reachability Analysis. In Hybrid Systems: Computation and Control (LNCS 1790). Springer 202--214.  A. B. Kurzhanski and P. Varaiya. 2000. Ellipsoidal Techniques for Reachability Analysis. In Hybrid Systems: Computation and Control (LNCS 1790). Springer 202--214.","DOI":"10.1007\/3-540-46430-1_19"},{"volume-title":"International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 252--270","author":"Li M.","key":"e_1_3_2_1_29_1"},{"volume-title":"Proceedings of the ninth ACM international conference on Embedded software. ACM, 97--106","author":"Liu J.","key":"e_1_3_2_1_30_1"},{"volume-title":"Proc. of Symbolic-Numeric Computation. 79--84","author":"Makino K.","key":"e_1_3_2_1_31_1"},{"volume-title":"International Static Analysis Symposium. Springer, 373--389","author":"Matringe N.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"P. Prabhakar and M. Viswanathan. 2011. A Dynamic Algorithm for Approximate Flow Computations. In Hybrid Systems: Computation and Control. 133--142.  P. Prabhakar and M. Viswanathan. 2011. A Dynamic Algorithm for Approximate Flow Computations. In Hybrid Systems: Computation and Control. 133--142.","DOI":"10.1145\/1967701.1967722"},{"volume-title":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM, 285--286","author":"Ray R.","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","unstructured":"Julien Alexandre Dit Sandretto and Alexandre Chapoutot. 2016. DynBEX: a Differential Constraint Library for Studying Dynamical Systems.  Julien Alexandre Dit Sandretto and Alexandre Chapoutot. 2016. DynBEX: a Differential Constraint Library for Studying Dynamical Systems."},{"volume-title":"NASA Formal Methods Symposium. Springer, 288--294","author":"Stefan","key":"e_1_3_2_1_37_1"},{"volume-title":"Proc. of American Control Conference. 2795--2801","author":"Sch\u00fcrmann B.","key":"e_1_3_2_1_38_1"},{"volume-title":"Proc. of Hybrid Systems: Computation and Control. 121--130","author":"Sch\u00fcrmann B.","key":"e_1_3_2_1_39_1"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sydney New South Wales Australia","acronym":"HSCC '20"},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382192","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":39,"alternative-id":["10.1145\/3365365.3382192","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382192","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}