Modeling Biological Pathway Dynamics With Timed Automata.
Stefano SchivoJetse ScholmaBrend WandersRicardo A. Urquidi CamachoPaul E. van der VetMarcel KarperienRom LangerakJaco van de PolJanine N. PostPublished in: IEEE J. Biomed. Health Informatics (2014)
Keyphrases
- timed automata
- dynamical systems
- reachability analysis
- dynamic aspects
- artificial intelligence
- animal behavior
- mathematical modeling
- regulatory networks
- dynamic model
- model checking
- inference rules
- biological systems
- modeling method
- first order logic
- microarray
- physical processes
- cellular automata
- living cells
- software engineering
- dynamic programming
- signal transduction
- data sets