Automatic abstraction of non-linear systems using change of bases transformations

DOI10.1145/1967701.1967723zbMath1362.93033OpenAlexW2019750884MaRDI QIDQ2986722

Sriram Sankaranarayanan

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967723

zbMATH Keywords

verificationinvariantshybrid systemsordinary differential equationsabstractionalgebraic geometry

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Linear systems in control theory (93C05) Linearizations (93B18) Transformations (93B17) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (5)

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Exact hierarchical reductions of dynamical models via linear transformations ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Generating invariants for non-linear hybrid systems

This page was built for publication: Automatic abstraction of non-linear systems using change of bases transformations