5325 search results - page 24 / 1065 » Effective Computation for Nonlinear Systems |
128
Voted
AISC
2004
Springer
15 years 6 months ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
107
Voted
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
An imaging system with a single effective viewpoint is called a central projection system. The conventional perspective camera is an example of a central projection system. System...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
98
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
113
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...