d/dt

swMATH10314MaRDI QIDQ22275FDOQ22275

Author name not available (Why is that?)

Cited In (40)

• 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
• Predicate Abstraction of Programs with Non-linear Computation
• Hybrid automata-based CEGAR for rectangular hybrid systems
• Reachable set computation for uncertain time-varying linear systems
• Sapo
• Change-of-bases abstractions for non-linear hybrid systems
• 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
• 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
• Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
• Formal System Verification
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
• 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