Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty

DOI10.1109/TAC.2007.911330MaRDI QIDQ5282354zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(13)

• Comparing different ODE modelling approaches for gene regulatory networks
• Augmented finite transition systems as abstractions for control synthesis
• Dynamics of complex feedback architectures in metabolic pathways
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• Qualitative analysis of gene regulatory networks by temporal logic
• Applying differential dynamic logic to reconfigurable biological networks
• Embedding of biological regulatory networks and property preservation
• Falsification of LTL Safety Properties in Hybrid Systems
• Trajectory-based theory for hybrid systems
• 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
• Embedded control of cell growth using tunable genetic systems
• Reachability and stabilization of discrete-time affine systems with disturbances

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

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