662 search results - page 60 / 133 » Model Checking Procedures for Infinite State Systems |
124
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
102
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
122
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
144
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...