6775 search results - page 167 / 1355 » Diagnosis of Active Systems |
215
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
174
click to vote
TSMC
2008
15 years 6 months ago
2008
Testing complex manufacturing systems, such as an ASML [1] lithographic machine, takes up to 45% of the total development time of a system. The problem of which tests must be execu...
133
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A master-slave type remote ultrasound diagnostic system was developed. The controller has impedance control capability for the master and slave manipulators' positions. And it...
185
click to vote
AAAI
2008
15 years 8 months ago
2008
Electrical power systems play a critical role in spacecraft and aircraft, and they exhibit a rich variety of failure modes. This paper discusses electrical power system fault diag...
163
click to vote
DOA
2000
15 years 7 months ago
2000
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...