Pages that link to "Item:Q832202"
From MaRDI portal
The following pages link to Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202):
Displaying 4 items.
- Complete abstractions of dynamical systems by timed automata (Q360650) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Abstract simulation of reaction networks via Boolean networks (Q2112137) (← links)
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems (Q4561454) (← links)