721 search results - page 2 / 145 » An NP-Hardness Result for Nonlinear Systems |
AUTOMATICA
2006
13 years 7 months ago
2006
We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentim...
RC
1998
13 years 7 months ago
1998
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper we present a parameterized reduction technique for non-linear systems. Our approach combines an existing non-parameterized trajectory piecewise linear method for ...