RoVerGeNe: A tool for the Robust Verification of Gene Networks. Rovergene is a tool for the analysis of genetic regulatory networks under parameter uncertainty. Genetic regulatory networks are described by a class of piecewise multiaffine differential equation models, dynamical properties are expressed in linear temporal logic and uncertain parameters are specified by intervals. The tool addresses two problems: robustness analysis: checking whether a dynamical property is satisfied by every parameter in a given set and for every initial state in a given region. The parameter set is then called valid. parameter constraint synthesis: searching for valid subsets of a given parameter set. Rovergene can be used for the analysis of the robustness of dynamical properties of gene networks with respect to parameter variations and for the tuning of synthetic gene networks.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Crawford-Kahrl, Peter; Cummins, Bree; Gedeon, Tomas: Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models (2019)
  2. Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro: Data-driven and model-based verification via Bayesian identification and reachability analysis (2017)
  3. Brim, Luboš; Češka, Milan; Šafránek, David: Model checking of biological systems (2013)
  4. Bagagiolo, Fabio; Danieli, Katia: Infinite horizon optimal control problems with multiple thermostatic hybrid dynamics (2012)
  5. Dang, Thao; Le Guernic, Colas; Maler, Oded: Computing reachable states for nonlinear biological models (2011)
  6. Ramdani, Nacim; Nedialkov, Nedialko S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (2011)
  7. Ramdani, Nacim; Meslem, Nacim; Candau, Yves: Computing reachable sets for uncertain nonlinear monotone systems (2010)
  8. Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido: Probabilistic model checking of biological systems with uncertain kinetic rates (2009)
  9. Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Fabriková, J.; Šafránek, D.: On algorithmic analysis of transcriptional regulation by LTL model checking (2009)
  10. Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D.: Parallel model checking large-scale genetic regulatory networks with DiVinE (2008)
  11. Yordanov, Boyan; Belta, Calin: Parameter synthesis for piecewise affine systems from temporal logic specifications (2008)
  12. Batt, Grégory; Belta, Calin; Weiss, Ron: Model checking liveness properties of genetic regulatory networks (2007)
  13. Batt, Grégory; Belta, Calin; Weiss, Ron: Model checking genetic regulatory networks with parameter uncertainty (2007)