The following pages link to (Q4806208):
Displaying 22 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Reachability analysis of continuous-time piecewise affine systems (Q2518996) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- Verifying industrial hybrid systems with \textsc{MathSAT} (Q2849590) (← links)
- Spatial networks of hybrid I/O automata for modeling excitable tissue (Q2870297) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Hybrid Systems: Computation and Control (Q5703927) (← links)
