Cited in
(90)- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Set operations and order reductions for constrained zonotopes
- Rigorous simulation-based analysis of linear hybrid systems
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Multi-agent safety verification using symmetry transformations
- 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
- HySAT
- KeYmaera
- PHAVer
- MPT
- Ariadne
- HSolver
- NLTOOLBOX
- AERN
- Ellipsoidal Toolbox
- FaPAS
- SpaceEx
- BACH
- Handel-C
- FDR3
- ROSCoq
- Pyhybridanalysis
- HOL-TestGen
- C2e2
- CoSyma
- dReach
- Flow*
- ERODE
- HYST
- HySon
- PESSOA
- STRONG
- Breach
- HyLAA
- XSpeed
- Isabelle/UTP
- RailCNL
- Model Predictive Control Toolbox
- Solace
- ZRC
- ModelPlex
- JCSP
- timed-pattern-matching
- SHGO
- DryVR
- HyPro
- JuliaReach
- MONAA
- Marabou
- Reluplex
- Differential_Game_Logic
- NNV
- DynIbex
- OMPL
- VERIFAI
- BluSTL
- Control Toolbox
- Acumen
- CAPD DynSys
- helperOC
- sitar
- KeYmaera X
- SafetyKit
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- Sherlock
- ReachNN
- Scenic
- Transformer semantics
- 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
- GoTube
- nnenum
- NNVODE
- Verisig
- Kaa
- ParNMPC
- Robust data-driven predictive control using reachability analysis
- Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachability analysis of a general class of neural ordinary differential equations
- Veritex
- Reachset Conformance Testing of Hybrid Automata
This page was built for software: CORA
