dReach
From MaRDI portal
DReach
swMATH20164MaRDI QIDQ31986FDOQ31986
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_15
Cited In (77)
- DyverseRBT
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Implementing hybrid semantics: from functional to imperative
- Efficient choice of parameters on delta-reachability bounded hybrid systems
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- Sherlock
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- dd
- Decidability of the reachability for a family of linear vector fields
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Introducing interval differential dynamic logic
- Pegasus: sound continuous invariant generation
- Formal verification of braking while swerving in automobiles
- On checking equivalence of simulation scripts
- Applying differential dynamic logic to reconfigurable biological networks
- GSPeeDI
- StateFlow
- MATISSE
- Ariadne
- dReal
- BLAD
- NLTOOLBOX
- AutoMOTGen
- S-TaLiRo
- d/dt
- pyHybrid Analysis
- SpaceEx
- Coquelicot
- BACH
- CalCS
- Pyhybridanalysis
- BFComp
- C2e2
- CyPhySim
- Flow*
- HYST
- HyComp
- LySHA
- Breach
- SCIFF
- HyLAA
- Stabhyli
- XSpeed
- ABsolver
- ROCS
- HLIO
- Bellerophon
- Sapo
- ModelPlex
- CORA
- timed-pattern-matching
- contractLarva
- DryVR
- HyPro
- iSAT
- MONAA
- COMBOS
- MonPoly
- GHCi
- HybCore
- UTop
- FaSTrack
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Parameter synthesis of polynomial dynamical systems
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Safe \& robust reachability analysis of hybrid systems
- Kaa
- ParaPlan
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
- Bellerophon: tactical theorem proving for hybrid systems
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Reachability computation for polynomial dynamical systems
This page was built for software: dReach