d/dt

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