575 search results - page 75 / 115 » Controller Synthesis for Probabilistic Systems |
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
AUTOMATICA
2002
13 years 8 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
Publication
A large class of systems of biological and technological relevance can be described as analog networks, that is, collections of dynamic devices interconnected by links of varying s...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...