227 search results - page 24 / 46 » Linearly Parameterized Bandits |
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
IVC
2007
13 years 9 months ago
2007
Many natural image sets are samples of a low-dimensional manifold in the space of all possible images. When the image data set is not a linear combination of a small number of bas...
AUTOMATICA
1999
13 years 9 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...