Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series

Julien Alexandre dit Sandretto

doi:10.1145/3787957.3787961

Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series

Julien Alexandre dit Sandretto

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	57-63
Nombre de pages	7
journal	ACM Communications in Computer Algebra
Volume	59
Numéro de publication	3
Les DOIs	https://doi.org/10.1145/3787957.3787961
état	Publié - 1 sept. 2025

Accès au document

10.1145/3787957.3787961

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{87b44592bdee41e9b468bc845c460430,

title = "Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series",

abstract = "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.",

author = "Sandretto, \{Julien Alexandre dit\}",

note = "Publisher Copyright: {\textcopyright} 2025 Copyright is held by the owner/author(s)",

year = "2025",

month = sep,

day = "1",

doi = "10.1145/3787957.3787961",

language = "English",

volume = "59",

pages = "57--63",

journal = "ACM Communications in Computer Algebra",

issn = "1932-2232",

number = "3",

}

TY - JOUR

T1 - Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series

AU - Sandretto, Julien Alexandre dit

PY - 2025/9/1

Y1 - 2025/9/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/105028446448

U2 - 10.1145/3787957.3787961

DO - 10.1145/3787957.3787961

M3 - Article

AN - SCOPUS:105028446448

SN - 1932-2232

VL - 59

SP - 57

EP - 63

JO - ACM Communications in Computer Algebra

JF - ACM Communications in Computer Algebra

IS - 3

ER -

Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-Series

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation