scientific article; zbMATH DE number 1798190
From MaRDI portal
Publication:4553263
zbMath0997.92010MaRDI QIDQ4553263
Claire J. Tomlin, Ronojoy Ghosh
Publication date: 10 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Piecewise-linear models of genetic regulatory networks: equilibria and their stability, Modeling and querying biomolecular interaction networks, Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology, Comparing chemical reaction networks: a categorical and algorithmic perspective, Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions, Stability analysis for stochastic hybrid systems: a survey, Dynamical properties of a two-gene network with hysteresis, Hybrid systems: Modelling and analysis using emergent dynamics, Abstractions for hybrid systems, Box invariance in biologically-inspired dynamical systems, Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by Bacillus subtilis, Abstract interpretation and types for systems biology, Inductive process modeling, Property Driven Three-Valued Model Checking on Hybrid Automata, Approximated Reachability on Hybrid Automata: Falsification meets Certification, Unwinding biological systems