Pages that link to "Item:Q2986722"
From MaRDI portal
The following pages link to Automatic abstraction of non-linear systems using change of bases transformations (Q2986722):
Displaying 5 items.
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Exact hierarchical reductions of dynamical models via linear transformations (Q6121818) (← links)
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement (Q6487327) (← links)