Flow*

swMATH20162MaRDI QIDQ31984FDOQ31984

Author name not available (Why is that?)

Cited In (36)

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• An axiomatic approach to existence and liveness for differential equations
• 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
• 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
• 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)
• 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
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• JuliaReach
• TIRA
• Lie symmetries applied to interval integration
• Change-of-bases abstractions for non-linear hybrid systems
• Counterexample-Guided Refinement of Template Polyhedra
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Parameter synthesis of polynomial dynamical systems
• Reachability analysis for high-index linear differential algebraic equations
• Numerically-aided deductive safety proof for a powertrain control system
• Generalized property-directed reachability for hybrid systems
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
• Barrier certificates revisited
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Reachability analysis of a general class of neural ordinary differential equations
• Sherlock - A tool for verification of neural network feedback systems
• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
• Forward inner-approximated reachability of non-linear continuous systems
• Reachability computation for polynomial dynamical systems

This page was built for software: Flow*