Sciweavers

1866 search results - page 13 / 374
» A Computational Journey into Nonlinearity
Sort
View
86
Voted
SIAMSC
2010
132views more  SIAMSC 2010»
14 years 4 months 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
70
Voted
HYBRID
1999
Springer
15 years 1 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»
15 years 6 months ago
Non-linear Quantification Scheduling in Image Computation
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...