Pages that link to "Item:Q5282354"
From MaRDI portal
The following pages link to Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty (Q5282354):
Displaying 13 items.
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- 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 (Q533354) (← links)
- Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
- Comparing different ODE modelling approaches for gene regulatory networks (Q1628929) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Dynamics of complex feedback architectures in metabolic pathways (Q1716673) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models (Q4909338) (← links)
- Embedded control of cell growth using tunable genetic systems (Q6152801) (← links)
