Pages that link to "Item:Q2475635"
From MaRDI portal
The following pages link to Constructing invariants for hybrid systems (Q2475635):
Displaying 6 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
