Model Checking Genetic Regulatory Networks with Parameter Uncertainty

DOI10.1007/978-3-540-71493-4_8MaRDI QIDQ3612958zbMATH OpenOpenAlexFDO

Authors Grégory Batt, Calin Belta, Ron Weiss

Publication date 11 March 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71493-4_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Genetics and epigenetics (92D10) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems with incomplete information (93C41)

Recommendations

• Model Checking Liveness Properties of Genetic Regulatory Networks
• Model Checking Gene Regulatory Networks
• On Timed Models of Gene Networks
• Model checking the evolution of gene regulatory networks
• Robustness analysis of genetic regulatory networks affected by model uncertainty

Cited in

(25)

• Model checking the evolution of gene regulatory networks
• On algorithmic analysis of transcriptional regulation by LTL model checking
• Combining refinement of parametric models with goal-oriented reduction of dynamics
• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Parameter space abstraction and unfolding semantics of discrete regulatory networks
• A genetically modified Hoare logic
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• Parameter synthesis for polynomial biological models
• Reliable biological circuit design including uncertain kinetic parameters
• On Timed Models of Gene Networks
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics
• Rigorous computational dynamics in the context of unknown nonlinearities
• Assigning probabilities to qualitative dynamics of gene regulatory networks
• Model Checking Gene Regulatory Networks
• Model checking of biological systems
• Computing reachable states for nonlinear biological models
• Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Constraint identification using modified Hoare logic on hybrid models of gene networks
• Robustness analysis of genetic regulatory networks affected by model uncertainty
• Computing reachable sets for uncertain nonlinear monotone systems

Describes a project that uses

Uses Software

• RoVerGeNe
• RAMAS
• HyTech

This page was built for publication: Model Checking Genetic Regulatory Networks with Parameter Uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612958)