scientific article; zbMATH DE number 1905118
From MaRDI portal
Publication:4806208
zbMath1010.68796MaRDI QIDQ4806208
Oded Maler, Thao Dang, Eugene Asarin
Publication date: 21 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Finite data-rate feedback stabilization of switched and hybrid linear systems, Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology, Event-B refinement for continuous behaviours approximation, Hybridization methods for the analysis of nonlinear systems, Hybrid automata-based CEGAR for rectangular hybrid systems, Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space, Change-of-bases abstractions for non-linear hybrid systems, Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces, Hybrid Automata in Systems Biology: How Far Can We Go?, Constructing invariants for hybrid systems, Hybrid automata, reachability, and systems biology, Modeling and simulation of cardiac tissue using hybrid I/O automata, Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, Reachability analysis of continuous-time piecewise affine systems, Applications of MetiTarski in the Verification of Control and Hybrid Systems, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Parameter synthesis of polynomial dynamical systems, Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Uses Software
