Pages that link to "Item:Q3460586"
From MaRDI portal
The following pages link to Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586):
Displaying 5 items.
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- (Q4552459) (← links)
- Reachability analysis of linear systems (Q6592109) (← links)