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