3991 search results - page 258 / 799 » Bounding homogeneous models |
155
click to vote
AUTOMATICA
2004
15 years 6 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...
144
Voted
AUTOMATICA
1999
15 years 6 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 ...
171
click to vote
LOGCOM
2002
15 years 6 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...
167
Voted
STOC
2009
ACM
16 years 7 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...
161
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...