On Approximative Reachability Analysis of Biochemical Dynamical Systems.
Lubos BrimJana FabrikováSven DrazanDavid SafránekPublished in: Trans. Comp. Sys. Biology (2012)
Keyphrases
- dynamical systems
- reachability analysis
- state space
- markov decision processes
- model checking
- differential equations
- dynamic systems
- timed automata
- qualitative simulation
- incremental algorithms
- control theory
- nonlinear dynamical systems
- partially observable
- linear systems
- dynamic programming
- phase space
- markov chain
- finite state
- agent environment
- real time
- optimal policy
- predictive state representations
- reinforcement learning