Decoupling abstractions of non-linear ordinary differential equations

DOI10.1007/978-3-319-48989-6_38zbMath1427.68173OpenAlexW2529406970MaRDI QIDQ2281654

Khalil Ghorbal, Andrew Sogokon, Taylor T. Johnson

Publication date: 3 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-48989-6_38

zbMATH Keywords

simulationordinary differential equationsDarboux polynomialsdecouplingabstraction

Mathematics Subject Classification ID

Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Symmetries, invariants of ordinary differential equations (34C14) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics

This page was built for publication: Decoupling abstractions of non-linear ordinary differential equations