3820 search results - page 224 / 764 » Bounded Model Debugging |
131
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— For an Estimation Based Multiple Model Switched Adaptive Control (EMMSAC) algorithm controlling a MIMO minimal LTI plant, lp, 1 ≤ p ≤ ∞ bounds on the gain from the input ...
117
click to vote
AUTOMATICA
2004
15 years 3 months ago
2004
This paper addresses the development of a nonlinear model based interval model control system for the quasi-keyhole arc welding process, a novel arc welding process which has adva...
105
Voted
AUTOMATICA
1999
15 years 3 months ago
1999
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
125
click to vote
LOGCOM
2002
15 years 3 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
115
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-onsolid model of statistical physics. This model has been proposed...