Cited in
(only showing first 100 items - show all)- Formal Verification Applied to Robotic Surgery
- Non-convex invariants and urgency conditions on linear hybrid automata
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Forward inner-approximated reachability of non-linear continuous systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- An axiomatic approach to existence and liveness for differential equations
- Efficient bounded reachability computation for rectangular automata
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Analysis on reachable set for spacecraft relative motion under low-thrust
- Event-B refinement for continuous behaviours approximation
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Quantitative Model Checking for a Controller Design
- Finite state approximation for verification of partially observable stochastic hybrid systems
- Rigorous simulation-based analysis of linear hybrid systems
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Discretizing affine hybrid automata with uncertainty
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Eliminating spurious transitions in reachability with support functions
- Quasi-dependent variables in hybrid automata
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Scalable static hybridization methods for analysis of nonlinear systems
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- A compositional modelling and analysis framework for stochastic hybrid systems
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Safety preserving control synthesis for sampled data systems
- Reachability analysis of polynomial systems using linear programming relaxations
- Template polyhedra and bilinear optimization
- An accurate join for zonotopes, preserving affine input/output relations
- \(\epsilon\)-semantics computations on biological systems
- A dynamic quantized state system execution framework for hybrid automata
- Formal system verification. State-of the-art and future trends
- Pegasus: sound continuous invariant generation
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- IMITATOR
- Romeo
- HySAT
- MARCO
- KeYmaera
- HyTech
- PHAVer
- SMV
- RSOLVER
- Benchmarks
- ARMC
- Aspic
- PPL
- MATISSE
- ToolboxLS
- Ariadne
- dReal
- mctau
- HSolver
- Ptolemy
- CAPD
- RunLim
- NLTOOLBOX
- AERN
- S-TaLiRo
- ATL
- d/dt
- LinAIG
- Ellipsoidal Toolbox
- HARE
- pyHybrid Analysis
- RAMAS
- RoVerGeNe
- BACH
- HybridSal
- HyDI
- CalCS
- Rapture
- SynchAADL2Maude
- Pyhybridanalysis
- ODEIntegrator
- Charon
- Averist
- C2e2
- CyPhySim
- dReach
- Flow*
- HyCreate
- HYST
- HyComp
- HySon
- LySHA
- PESSOA
- GRKLib
- STRONG
- SCOTS
This page was built for software: SpaceEx
