Sciweavers

2 search results - page 1 / 1
» Efficient Signature-Based Fault Diagnosis Using Variable Siz...
Sort
View
VLSID
2001
IEEE
82views VLSI» more  VLSID 2001»
14 years 4 months ago
Efficient Signature-Based Fault Diagnosis Using Variable Size Windows
A technique for signature based diagnosis using windows of different sizes is presented. It allows to obtain increased diagnostic information from a given test at a lower cost, wi...
Thomas Clouqueur, Ozen Ercevik, Kewal K. Saluja, H...
ECAI
2008
Springer
13 years 5 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan