57 search results - page 7 / 12 » The Reach-and-Evolve Algorithm for Reachability Analysis of ... |
131
click to vote
FOCS
1992
IEEE
15 years 8 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
117
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
146
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...
117
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
147
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...