Automatic abstraction of non-linear systems using change of bases transformations
From MaRDI portal
Recommendations
- Change-of-bases abstractions for non-linear hybrid systems
- Computing Abstractions of Nonlinear Systems
- scientific article; zbMATH DE number 4176922
- scientific article; zbMATH DE number 232835
- Transformations of descriptions of nonlinear systems
- A new algorithm for constructing approximate transformations for nonlinear systems
- scientific article; zbMATH DE number 4158494
- Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems
Cited in
(9)- Generating invariants for non-linear hybrid systems
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
- Exact hierarchical reductions of dynamical models via linear transformations
- Linearization, model reduction and reachability in nonlinear ODEs
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Linearization, model reduction and reachability in nonlinear \textsc{ODEs}
- Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
- Cone-based abstract interpretation for nonlinear positive invariant synthesis
- Change-of-bases abstractions for non-linear hybrid systems
This page was built for publication: Automatic abstraction of non-linear systems using change of bases transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986722)
