Sciweavers

1866 search results - page 13 / 374
» A Computational Journey into Nonlinearity
Sort
View
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 22 days ago
An Interior-Point Algorithm for Large-Scale Nonlinear Optimization with Inexact Step Computations
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
Frank E. Curtis, Olaf Schenk, Andreas Wächter
HYBRID
1999
Springer
15 years 10 months ago
Computing Controllers for Nonlinear Hybrid Systems
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
Claire Tomlin, John Lygeros, Shankar Sastry
ICCAD
2001
IEEE
70views Hardware» more  ICCAD 2001»
16 years 2 months ago
Non-linear Quantification Scheduling in Image Computation
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...