Pages that link to "Item:Q2440681"

The following pages link to Symbolic reachability analysis of genetic regulatory networks using discrete abstractions (Q2440681):

Displaying 16 items.

• Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in \textit{Escherichia coli} (Q285158) (← links)
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
• Stability analysis of a reduced model of the lac operon under impulsive and switching control (Q619753) (← links)
• Hypothesizing about signaling networks (Q833723) (← links)
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
• Abstract simulation of reaction networks via Boolean networks (Q2112137) (← links)
• On persistent excitations for the identification of switched linear dynamical systems over finite fields (Q2342457) (← links)
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions (Q2440681) (← links)
• Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems (Q2448782) (← links)
• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
• Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
• Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
• Minimal intervention strategies in logical signaling networks with ASP (Q5398303) (← links)
• Robust and nonlinear control literature survey (No. 7) (Q5405791) (← links)
• Global stability at a limit cycle for switched multi-valued logical networks (Q6569861) (← links)