{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T02:43:25Z","timestamp":1768963405517,"version":"3.49.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p>An in-progress pipeline based on B-series is proposed to solve reachability analysis of ordinary differential equations. First, a symbolic step generates a B-series and its associated truncation error. This later is symbolically optimized in order to reduce the over-estimation introduced by computation with sets. Finally, the B-series is evaluated with affine arithmetic and intervals to produce a guaranteed reachable tube.<\/jats:p>","DOI":"10.1145\/3787957.3787961","type":"journal-article","created":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:56:52Z","timestamp":1768921012000},"page":"57-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series"],"prefix":"10.1145","volume":"59","author":[{"given":"Julien Alexandre dit","family":"Sandretto","sequence":"first","affiliation":[{"name":"ENSTA - Institut Polytechnique de Paris, Palaiseau, France"}]}],"member":"320","published-online":{"date-parts":[[2026,1,20]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"185","volume":"3","author":"Butcher","year":"1963","unstructured":"Butcher, J. Coefficients for the Study of Runge-Kutta Integration Processes. Journal of The Australian Mathematical Society. 3 pp. 185\u2013201 (1963)","journal-title":"J. Coefficients for the Study of Runge-Kutta Integration Processes. Journal of The Australian Mathematical Society."},{"key":"e_1_2_1_2_1","unstructured":"Figueiredo L. & Stolfi J. Self-Validated Numerical Methods and Applications. (IMPA\/CNPq 1997)"},{"key":"e_1_2_1_3_1","volume-title":"Solving Ordinary Differential Equations I: Nonstiff Problems","author":"Hairer E.","year":"2009","unstructured":"Hairer, E., N\u00f8rsett, S. & Wanner, G. Solving Ordinary Differential Equations I: Nonstiff Problems. (Springer-Verlag,2009)"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"e_1_2_1_5_1","volume":"10","author":"Alexandre","year":"2022","unstructured":"Alexandre dit Sandretto, J. Set-Based B-Series. Mathematics. 10 (2022), https:\/\/www.mdpi.com\/2227-7390\/10\/17\/3165","journal-title":"J. Set-Based B-Series. Mathematics."},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1201\/9780203026922","volume-title":"Global Optimization Using Interval Analysis","author":"Hansen E.","year":"2003","unstructured":"Hansen, E. Global Optimization Using Interval Analysis. (Marcel Dekker Inc.,2003)"},{"key":"e_1_2_1_7_1","first-page":"1","volume":"13","author":"Hairer E.","year":"1974","unstructured":"Hairer, E. & Wanner, G. On the Butcher Group and General Multi-Value Methods. Computing. 13, 1\u201315 (1974)","journal-title":"On the Butcher Group and General Multi-Value Methods. Computing."},{"key":"e_1_2_1_8_1","first-page":"79","volume":"22","author":"Alexandre","year":"2016","unstructured":"Alexandre dit Sandretto, J. & Chapoutot, A. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing. 22 pp. 79\u2013103 (2016)","journal-title":"Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","first-page":"903","DOI":"10.3934\/dcds.2014.34.903","volume":"34","author":"Bartha F.","year":"2014","unstructured":"Bartha, F. & Munthe-Kaas, H. Computing of B-series by Automatic Differentiation. Discrete And Continuous Dynamical Systems. 34, 903\u2013914 (2014)","journal-title":"Automatic Differentiation. Discrete And Continuous Dynamical Systems."},{"key":"e_1_2_1_10_1","volume-title":"Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations","author":"Hairer E.","year":"2006","unstructured":"Hairer, E., Lubich, C. & Wanner, G. Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations. (Springer,2006)"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.nima.2005.11.109","volume":"558","author":"Makino K.","year":"2006","unstructured":"Makino, K. & Berz, M. COSY INFINITY Version 9. Nuclear Instruments And Methods In Physics Research Section A: Accelerators, Spectrometers, Detectors And Associated Equipment. 558, 346\u2013350 (2006)","journal-title":"Detectors And Associated Equipment."},{"key":"e_1_2_1_12_1","volume-title":"Interval Analysis","author":"Moore R.","year":"1966","unstructured":"Moore, R. Interval Analysis. (Prentice Hall,1966)"},{"key":"e_1_2_1_13_1","first-page":"21","volume":"105","author":"Nedialkov N.","year":"1999","unstructured":"Nedialkov, N., Jackson, K. & Corliss, G. Validated Solutions of Initial Value Problems for Ordinary Differential Equations. Applied Mathematics And Computation. 105, 21\u201368 (1999)","journal-title":"Validated Solutions of Initial Value Problems for Ordinary Differential Equations. Applied Mathematics And Computation."},{"key":"e_1_2_1_14_1","first-page":"425","volume-title":"R. Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems. Institute of Mathematics And Its Applications Conference Series. 39","author":"Lohner","year":"1992","unstructured":"Lohner, R. Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems. Institute of Mathematics And Its Applications Conference Series. 39 pp. 425\u2013425 (1992)"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-9274(96)00028-1"},{"key":"e_1_2_1_16_1","author":"Ketcheson D.","year":"2022","unstructured":"Ketcheson, D. & Ranocha, H. Computing with B-series. ACM Transactions On Mathematical Software. (2022,12)","journal-title":"Computing with B-series. ACM Transactions On Mathematical Software. ("},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-023-01697-5"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Althoff Matthias and Frehse Goran and Girard Antoine. Set Propagation Techniques for Reachability Analysis. Annual Review of Control Robotics and Autonomous Systems. 2021","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"e_1_2_1_19_1","volume-title":"Symbolic Computation of Local Truncation Error for Approximate B-Series-Based Validated Simulation. Scientific Computing and Software","author":"Alexandre","year":"2025","unstructured":"Alexandre dit Sandretto, J. Symbolic Computation of Local Truncation Error for Approximate B-Series-Based Validated Simulation. Scientific Computing and Software, Springer Proceedings in Mathematics & Statistics. 495 (2025)"},{"key":"e_1_2_1_20_1","first-page":"5072","volume-title":"M. Data-Driven Reachability Analysis with Christoffel Functions. 2021 60th IEEE Conference On Decision And Control (CDC).","author":"Devonport A.","year":"2021","unstructured":"Devonport, A., Yang, F., El Ghaoui, L. & Arcak, M. Data-Driven Reachability Analysis with Christoffel Functions. 2021 60th IEEE Conference On Decision And Control (CDC). pp. 5067\u20135072 (2021)"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3787957.3787961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:56:57Z","timestamp":1768921017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787957.3787961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["10.1145\/3787957.3787961"],"URL":"https:\/\/doi.org\/10.1145\/3787957.3787961","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"value":"1932-2232","type":"print"},{"value":"1932-2240","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"2026-01-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}