257 search results - page 17 / 52 » On Popovski's method for nonlinear equations |
CDC
2008
IEEE
15 years 3 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...
SIAMCO
2010
14 years 4 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
110
click to vote
CPHYSICS
2010
14 years 9 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
A finite-element deformable surface-spine model is developed in this paper to register two surfaces by recovering the nonlinear deformation with respect to each other. The deforma...