526 search results - page 44 / 106 » Stochastic Controllability of Linear Systems With State Dela... |
143
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
142
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
189
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
148
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...
145
click to vote
ETFA
2006
IEEE
15 years 10 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...