1054 search results - page 84 / 211 » Translation Validation of System Abstractions |
170
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
147
click to vote
HYBRID
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
169
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
173
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
161
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract--In this paper, we propose a decentralized sensor network scheme capable to reach a globally optimum maximum-likelihood (ML) estimate through self-synchronization of nonli...