Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

DOI10.1016/j.automatica.2007.08.004zbMath1283.93046arXivq-bio/0702058OpenAlexW2049491928MaRDI QIDQ2440681

Hidde de Jong, Grégory Batt, Michel Page, Johannes Geiselmann

Publication date: 19 March 2014

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/q-bio/0702058

zbMATH Keywords

hybrid systemssystems biologygenetic regulatory networksqualitative analysisdiscrete abstractionpiecewise-affine differential equations

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Systems biology, networks (92C42)

Related Items

Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in \textit{Escherichia coli} ⋮ Hypothesizing about signaling networks ⋮ Stability analysis of a reduced model of the lac operon under impulsive and switching control ⋮ Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Symbolic reachability analysis of genetic regulatory networks using discrete abstractions ⋮ Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ Minimal intervention strategies in logical signaling networks with ASP ⋮ Robust and nonlinear control literature survey (No. 7) ⋮ Decomposition of timed automata for solving scheduling problems ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ On persistent excitations for the identification of switched linear dynamical systems over finite fields ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE ⋮ Abstract simulation of reaction networks via Boolean networks

Cites Work

• Unnamed Item
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• A class of piecewise linear differential equations arising in biological models
• Hybrid Systems: Computation and Control
• Analysis of continuous-time switching networks