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):
Displayed 4 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)
- Linearization, model reduction and reachability in nonlinear ODEs (Q6173102) (← links)