Automatic abstraction of non-linear systems using change of bases transformations
From MaRDI portal
Publication:2986722
DOI10.1145/1967701.1967723zbMath1362.93033OpenAlexW2019750884MaRDI 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
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