721 search results - page 1 / 145 » An NP-Hardness Result for Nonlinear Systems |
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...
IPCCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Due to the dynamic nature of WAHN communications and the multi-node involvement in most WAHN applications, group key management has been proposed for efficient support of secure c...
AUTOMATICA
2008
13 years 7 months ago
2008
We consider a class of nonlinear control systems for which stabilizing feedbacks and corresponding Lyapunov functions for the closed loop systems are available. In the presence of...
AMC
1999
13 years 7 months ago
1999
The stability of the equilibria of time-invariant nonlinear dynamical systems with discrete time scale is investigated. We present an elementary proof showing that in the case of ...