dReach

swMATH20164MaRDI QIDQ31986FDOQ31986

Author name not available (Why is that?)

Cited In (25)

• 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
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• 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
• Title not available (Why is that?)
• Applying differential dynamic logic to reconfigurable biological networks
• ROCS
• Sapo
• Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
• Decidability of the Reachability for a Family of Linear Vector Fields
• 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
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
• Bellerophon: tactical theorem proving for hybrid systems
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
• Reachability computation for polynomial dynamical systems

This page was built for software: dReach