Automatic abstraction of non-linear systems using change of bases transformations
From MaRDI portal
Publication:2986722
DOI10.1145/1967701.1967723zbMath1362.93033MaRDI QIDQ2986722
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
verification; invariants; hybrid systems; ordinary differential equations; abstraction; algebraic geometry
93C10: Nonlinear systems in control theory
93C05: Linear systems in control theory
93B18: Linearizations
93B17: Transformations
93C15: Control/observation systems governed by ordinary differential equations
Related Items
Exact hierarchical reductions of dynamical models via linear transformations, Linearization, model reduction and reachability in nonlinear ODEs, Change-of-bases abstractions for non-linear hybrid systems, Generating invariants for non-linear hybrid systems, Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems