5326 search results - page 228 / 1066 » On what we can ensure |
159
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
119
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the estimation of the force applied by a piezocantilever dedicated to micromanipulation/microassembly. Relative to previous works, the presented method avoi...
134
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies consensus seeking over noisy networks with time-varying noise statistics. Stochastic approximation type algorithms can ensure consensus in mean square and wi...
179
click to vote
SECURWARE
2008
IEEE
16 years 28 days ago
2008
IEEE
—We present the design of a trusted platform module (TPM) that supports hardware-based virtualization techniques. Our approach enables multiple virtual machines to use the comple...
161
click to vote
DALT
2007
Springer
16 years 22 days ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...