The following pages link to CORA (Q37397):
Displaying 22 items.
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- A comparison of zonotope order reduction techniques (Q1626916) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- On the co-NP-completeness of the zonotope containment problem (Q2068561) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Robust data-driven predictive control using reachability analysis (Q2095289) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle (Q2137077) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Comparison of guaranteed state estimators for linear time-invariant systems (Q2665326) (← links)
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Reachset Conformance Testing of Hybrid Automata (Q2988994) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Multi-agent Safety Verification Using Symmetry Transformations (Q5039508) (← links)
- Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems (Q5275325) (← links)
