949 search results - page 33 / 190 » Fast Self-Recovering Controllers |
164
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
188
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
213
click to vote
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
145
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Sum rate maximization by power control is an important, challenging, and extensively studied problem in wireless networks. It is a nonconvex optimization problem and ac...
109
Voted
FDG
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...