Model Checking Genetic Regulatory Networks with Parameter Uncertainty
From MaRDI portal
Publication:3612958
DOI10.1007/978-3-540-71493-4_8zbMath1221.93135OpenAlexW1485333286MaRDI QIDQ3612958
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
Control/observation systems with incomplete information (93C41) Design techniques (robust design, computer-aided design, etc.) (93B51) Specification and verification (program logics, model checking, etc.) (68Q60) Genetics and epigenetics (92D10)
Related Items (10)
Model Checking of Biological Systems ⋮ Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics ⋮ Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models ⋮ Computing reachable states for nonlinear biological models ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Uses Software
This page was built for publication: Model Checking Genetic Regulatory Networks with Parameter Uncertainty