| Presentation | 2000/3/22 A Model-based Diagnosis for Stuck-at Faults of Sequential Circuit Satoshi HIRATSUKA, Akira FUSAOKA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we propose a new diagnosis method for a synchronous boolean network(SBN)based of the concept of the model based diagnosis. The diagnosis for SBN is a troublesome task with high complexity because it is necessary to identify a candidate for a faulty component with its failure mode and check its feasibility throughout the observed state transitions. We present an effective method to enumerate the set of all candidate of failure components incrementally, and also present a whole system for SBN diagnosis based on this algorithm. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model-based diagnosis / logic circuit / sequential circuit / theorem prover |
| Paper # | AI99-104,KBSE99-63 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2000/3/22(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Model-based Diagnosis for Stuck-at Faults of Sequential Circuit |
| Sub Title (in English) | |
| Keyword(1) | Model-based diagnosis |
| Keyword(2) | logic circuit |
| Keyword(3) | sequential circuit |
| Keyword(4) | theorem prover |
| 1st Author's Name | Satoshi HIRATSUKA |
| 1st Author's Affiliation | Depertment of Computer Science, Ritsumeikan University() |
| 2nd Author's Name | Akira FUSAOKA |
| 2nd Author's Affiliation | Depertment of Computer Science, Ritsumeikan University |
| Date | 2000/3/22 |
| Paper # | AI99-104,KBSE99-63 |
| Volume (vol) | vol.99 |
| Number (no) | 718 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |