Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
From MaRDI portal
Publication:5282354
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
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
