All from One, One for All, Failure Diagnosis of Discrete Event Systems using Representatives
| dc.contributor.author | Pencole, Yannick | |
| dc.coverage.spatial | Sacramento USA | |
| dc.date.accessioned | 2015-12-13T23:12:22Z | |
| dc.date.available | 2015-12-13T23:12:22Z | |
| dc.date.created | November 3 2003 | |
| dc.date.issued | 2003 | |
| dc.date.updated | 2015-12-12T08:31:22Z | |
| dc.description.abstract | Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique. | |
| dc.identifier.isbn | 0769520383 | |
| dc.identifier.uri | http://hdl.handle.net/1885/88025 | |
| dc.publisher | The Printing House | |
| dc.relation.ispartofseries | IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003) | |
| dc.source | Proceedings 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003) | |
| dc.subject | Keywords: Algorithms; Automata theory; Computational methods; Failure analysis; Mathematical models; Problem solving; Discere event systems; Partial order reduction; Artificial intelligence | |
| dc.title | All from One, One for All, Failure Diagnosis of Discrete Event Systems using Representatives | |
| dc.type | Conference paper | |
| local.bibliographicCitation.lastpage | 212 | |
| local.bibliographicCitation.startpage | 208 | |
| local.contributor.affiliation | Pencole, Yannick, College of Engineering and Computer Science, ANU | |
| local.contributor.authoruid | Pencole, Yannick, u4054161 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 080199 - Artificial Intelligence and Image Processing not elsewhere classified | |
| local.identifier.ariespublication | MigratedxPub17535 | |
| local.identifier.scopusID | 2-s2.0-0345097621 | |
| local.type.status | Published Version |