Cited in
(66)- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
- Event-B refinement for continuous behaviours approximation
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Hybrid Systems: Computation and Control
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Automated Technology for Verification and Analysis
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- Continuity and computability of reachable sets
- Hybrid Systems: Computation and Control
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Formal Methods in Computer-Aided Design
- 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
- Kronos
- MARCO
- HyTech
- PHAVer
- RSOLVER
- Benchmarks
- MATISSE
- ToolboxLS
- HSolver
- ReachLab
- SAHA-Tool
- HARE
- RAMAS
- SpaceEx
- Pyhybridanalysis
- Charon
- R-Charon
- C2e2
- Breach
- Sapo
- aaflib
- PyInterval
- CellExcite
- ASDeX
- POWER-TRUCTOR
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Reachable set computation for uncertain time-varying linear systems
- Change-of-bases abstractions for non-linear hybrid systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- scientific article; zbMATH DE number 1956619 (Why is no real title available?)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- 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
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Hybrid Systems: Computation and Control
- 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
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Automatic Verification of Hybrid Systems with Large Discrete State Space
- Hybrid Systems: Computation and Control
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
This page was built for software: d/dt
