357 search results - page 5 / 72 » Computing Reachable States for Nonlinear Biological Models |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
CONCUR
2001
Springer
13 years 12 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
IPL
2007
13 years 7 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
NECO
2002
13 years 7 months ago
2002
A Bayesian ensemble learning method is introduced for unsupervised extraction of dynamic processes from noisy data. The data are assumed to be generated by an unknown nonlinear ma...
ASM
2003
ASM
14 years 19 days ago
2003
ASM