swMATH20162MaRDI QIDQ31984FDOQ31984
Author name not available (Why is that?)
Official website: https://flowstar.org/
Cited In (only showing first 100 items - show all)
- An axiomatic approach to existence and liveness for differential equations
- Event-B refinement for continuous behaviours approximation
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- Multi-agent safety verification using symmetry transformations
- Codac
- Quantifying conformance using the Skorokhod metric
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- A dynamic quantized state system execution framework for hybrid automata
- Lie symmetries applied to interval integration
- Counterexample-Guided Refinement of Template Polyhedra
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Reachability analysis for high-index linear differential algebraic equations
- Numerically-aided deductive safety proof for a powertrain control system
- 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
- Forward inner-approximated reachability of non-linear continuous systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Lumpability for uncertain continuous-time Markov chains
- 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
- Sherlock
- dd
- ReachNN
- Decidability of the reachability for a family of linear vector fields
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- GSPeeDI
- ValEncIA-IVP
- MATISSE
- Ariadne
- dReal
- HSolver
- Cosy
- ValEncIA
- NLTOOLBOX
- AERN
- S-TaLiRo
- d/dt
- Ellipsoidal Toolbox
- pyHybrid Analysis
- SpaceEx
- BACH
- HyDI
- IBEX
- SynchAADL2Maude
- Pyhybridanalysis
- ODEIntegrator
- C2e2
- CyPhySim
- dReach
- ERODE
- HYST
- HyComp
- HySon
- LySHA
- PESSOA
- GRKLib
- ProbReach
- STRONG
- Breach
- SCIFF
- HyLAA
- Stabhyli
- XSpeed
- HLIO
- Sapo
- ModelPlex
- CORA
- timed-pattern-matching
- contractLarva
- HyPro
- JuliaReach
- MONAA
- Polyhedra.jl
- TIRA
- Differential_Game_Logic
- NNV
- DynIbex
- aaflib
- PyInterval
- JuliaReach
- TIRA
- Change-of-bases abstractions for non-linear hybrid systems
- Acumen
- AdaptiveStressTesting.jl
- CAPD DynSys
- MonPoly
- FaSTrack
- helperOC
- ERAN
- sitar
- KeYmaera X
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Parameter synthesis of polynomial dynamical systems
- Generalized property-directed reachability for hybrid systems
- GoTube
- NNVODE
This page was built for software: Flow*
