CORA
From MaRDI portal
Software:37397
swMATH25659MaRDI QIDQ37397FDOQ37397
Author name not available (Why is that?)
Cited In (22)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Set operations and order reductions for constrained zonotopes
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- A comparison of zonotope order reduction techniques
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Comparison of guaranteed state estimators for linear time-invariant systems
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Parameter synthesis of polynomial dynamical systems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- On the co-NP-completeness of the zonotope containment problem
- Multi-agent Safety Verification Using Symmetry Transformations
- Robust data-driven predictive control using reachability analysis
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachability analysis of a general class of neural ordinary differential equations
- Reachset Conformance Testing of Hybrid Automata
This page was built for software: CORA