Pages that link to "Item:Q2901366"
From MaRDI portal
The following pages link to Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366):
Displaying 6 items.
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
