Symbolic reachability analysis of genetic regulatory networks using discrete abstractions.
Grégory BattHidde de JongMichel PageJohannes GeiselmannPublished in: Autom. (2008)
Keyphrases
- reachability analysis
- genetic regulatory networks
- model checking
- markov decision processes
- reverse engineering
- timed automata
- qualitative simulation
- incremental algorithms
- steady state
- state space
- gene regulatory networks
- expert systems
- knowledge representation
- neural network
- biological networks
- ordinary differential equations
- learning algorithm