CORA

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