2508 search results - page 61 / 502 » An analytic approach to stability |
AUTOMATICA
2000
15 years 1 months ago
2000
This paper is concerned with the characterization of all nonlinear stabilizing controllers. Observer based kernel representations are introduced to avoid the difficulty which occu...
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
120
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents an analytical approach to evaluate the expected complexity of a generalized sphere decoding (GSD) algorithm, GSDλ − , for underdetermined integer leastsquare...
101
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper presents a novel motion compensation approach for stabilizing video sequences captured by CMOS image sensors. Although a number of papers have been dedicated to the com...