Diagnosis of discrete-event systems using satisfiability algorithms
dc.contributor.author | Grastien, Alban | |
dc.contributor.author | Anbulagan, Anbu | |
dc.contributor.author | Rintanen, Jussi | |
dc.contributor.author | Kelareva, Elena | |
dc.contributor.editor | Holte, R. C. | |
dc.contributor.editor | Howe, A. E. | |
dc.coverage.spatial | Vancouver Canada | |
dc.date.accessioned | 2015-12-08T22:41:45Z | |
dc.date.created | July 22-26 2007 | |
dc.date.issued | 2007 | |
dc.date.updated | 2022-08-07T08:19:50Z | |
dc.description.abstract | The diagnosis of a discrete-event system is the problem of computing possible behaviors of the system given observations of the actual behavior, and testing whether the behaviors are normal or faulty. We show how the diagnosis problems can be translated into the propositional satisfiability problem (SAT) and solved by algorithms for SAT. Our experiments demonstrate that current SAT algorithms can solve much bigger diagnosis problems than traditional diagnosis algorithms can. | |
dc.identifier.isbn | 9781577353232 | |
dc.identifier.uri | http://hdl.handle.net/1885/36782 | |
dc.publisher | AAAI Press | |
dc.relation.ispartofseries | National Conference on Artificial Intelligence (AAAI 2007) | |
dc.source | Proceedings of the 22nd AAAI Conference on Artificial Intelligence | |
dc.source.uri | http://www.aaai.org/Library/AAAI/aaai07contents.php | |
dc.subject | Algorithms | |
dc.subject | Computational methods | |
dc.subject | Discrete event simulation | |
dc.subject | Propositional satisfiability problem | |
dc.subject | SAT | |
dc.subject | Satisfiability algorithms | |
dc.subject | Traditional diagnosis algorithms | |
dc.subject | Artificial intelligence | |
dc.title | Diagnosis of discrete-event systems using satisfiability algorithms | |
dc.type | Conference paper | |
local.bibliographicCitation.lastpage | 310 | |
local.bibliographicCitation.startpage | 305 | |
local.contributor.affiliation | Grastien, Alban , College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Anbulagan, Anbu, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Rintanen, Jussi , College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Kelareva, Elena, University of Melbourne | |
local.contributor.authoremail | u4593416@anu.edu.au | |
local.contributor.authoruid | Grastien, Alban , a230022 | |
local.contributor.authoruid | Anbulagan, Anbu, u4593416 | |
local.contributor.authoruid | Rintanen, Jussi , u1814932 | |
local.description.embargo | 2037-12-31 | |
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 | u8803936xPUB140 | |
local.identifier.scopusID | 2-s2.0-36349021952 | |
local.identifier.uidSubmittedBy | u8803936 | |
local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 02_Grastien_Diagnosis_of_discrete-event_2007.pdf
- Size:
- 457.42 KB
- Format:
- Adobe Portable Document Format