Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty

DOI10.1109/TAC.2007.911330zbMath1366.92077OpenAlexW2035991642MaRDI QIDQ5282354

Grégory Batt, Calin Belta, Ron Weiss

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2007.911330

Mathematics Subject Classification ID

Genetics and epigenetics (92D10)

Related Items (13)

Comparing different ODE modelling approaches for gene regulatory networks ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Embedding of biological regulatory networks and property preservation ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Augmented finite transition systems as abstractions for control synthesis ⋮ Embedded control of cell growth using tunable genetic systems ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Dynamics of complex feedback architectures in metabolic pathways ⋮ Reachability and stabilization of discrete-time affine systems with disturbances ⋮ Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models ⋮ Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Qualitative analysis of gene regulatory networks by temporal logic

This page was built for publication: Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty