SpaceEx
From MaRDI portal
Cited in
(only showing first 100 items - show all)- IMITATOR
- Verisig
- NNVODE
- Lazysets.jl
- ReachNN
- Kaa
- Romeo
- HySAT
- MARCO
- KeYmaera
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- PHAVer
- HyTech
- SMV
- RSOLVER
- Benchmarks
- Tracking smooth trajectories in linear hybrid systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Bellerophon: tactical theorem proving for hybrid systems
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Formal verification and quantitative metrics of MPSoC data dynamics
- ARMC
- Aspic
- PPL
- MATISSE
- ToolboxLS
- Ariadne
- dReal
- mctau
- HSolver
- Ptolemy
- CAPD
- An axiomatic approach to existence and liveness for differential equations
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- RunLim
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Parameter synthesis of polynomial dynamical systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Reachability analysis of a general class of neural ordinary differential equations
- NLTOOLBOX
- Event-B refinement for continuous behaviours approximation
- AERN
- Pegasus: sound continuous invariant generation
- S-TaLiRo
- Reachability analysis for high-index linear differential algebraic equations
- Abstraction based verification of stability of polyhedral switched systems
- A dynamic quantized state system execution framework for hybrid automata
- Extracting counterexamples induced by safety violation in linear hybrid systems
- ATL
- Computing branching distances with quantitative games
- d/dt
- LinAIG
- A compositional modelling and analysis framework for stochastic hybrid systems
- Safety preserving control synthesis for sampled data systems
- Ellipsoidal Toolbox
- HARE
- pyHybrid Analysis
- RoVerGeNe
- RAMAS
- Analysis on reachable set for spacecraft relative motion under low-thrust
- Template polyhedra and bilinear optimization
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- HybridSal
- BACH
- HyDI
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- \(\epsilon\)-semantics computations on biological systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- CalCS
- Numerically-aided deductive safety proof for a powertrain control system
- SynchAADL2Maude
- Rapture
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Pyhybridanalysis
- ODEIntegrator
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Reachability of weakly nonlinear systems using Carleman linearization
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Zélus: a synchronous language with ODEs
- Quasi-dependent variables in hybrid automata
- HYST: a source transformation and translation tool for hybrid automaton models
- Eliminating spurious transitions in reachability with support functions
- Finite state approximation for verification of partially observable stochastic hybrid systems
- Scalable static hybridization methods for analysis of nonlinear systems
- Reachset Conformance Testing of Hybrid Automata
- STRONG
- Charon
- Crossing the Bridge between Similar Games
- Efficient bounded reachability computation for rectangular automata
- Discretizing affine hybrid automata with uncertainty
- Linear hybrid system falsification through local search
- Verification of Hybrid Systems
This page was built for software: SpaceEx
