swMATH10314MaRDI QIDQ22275FDOQ22275
Author name not available (Why is that?)
Official website: http://www-verimag.imag.fr/~tdang/ddt.html
Cited In (61)
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
- Event-B refinement for continuous behaviours approximation
- Hybrid Systems: Computation and Control
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Continuity and computability of reachable sets
- Formal Methods in Computer-Aided Design
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Reachability analysis of continuous-time piecewise affine systems
- Hybridization methods for the analysis of nonlinear systems
- Formal system verification. State-of the-art and future trends
- Predicate Abstraction of Programs with Non-linear Computation
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Benchmarks
- MATISSE
- ToolboxLS
- HSolver
- Reachable set computation for uncertain time-varying linear systems
- ReachLab
- SAHA-Tool
- HARE
- RAMAS
- SpaceEx
- Pyhybridanalysis
- Charon
- R-Charon
- C2e2
- Breach
- Sapo
- aaflib
- PyInterval
- CellExcite
- Change-of-bases abstractions for non-linear hybrid systems
- ASDeX
- POWER-TRUCTOR
- Title not available (Why is that?)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Hybrid Systems: Computation and Control
- Parameter synthesis of polynomial dynamical systems
- Spatial networks of hybrid I/O automata for modeling excitable tissue
- Constructing invariants for hybrid systems
- Hybrid automata, reachability, and systems biology
- Hybrid Systems: Computation and Control
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Kaa
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Robust data-driven predictive control using reachability analysis
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Hybrid Systems: Computation and Control
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Automatic Verification of Hybrid Systems with Large Discrete State Space
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
This page was built for software: d/dt