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