Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice

Simple item page
dc.contributor.authorGrastien, Alban
dc.contributor.authorHaslum, Patrik
dc.contributor.authorThiebaux, Sylvie
dc.coverage.spatialRome Italy
dc.date.accessioned2015-12-07T22:54:02Z
dc.date.createdJune 10-14 2012
dc.date.issued2012
dc.date.updated2022-08-07T08:18:35Z
dc.description.abstractWe present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Reiter's Diagnose algorithm to a much broader class of problems. This approach obviates the need to explicitly reconstruct the system's behaviors that are co
dc.identifier.isbn9781577355601
dc.identifier.urihttp://hdl.handle.net/1885/27993
dc.publisherConference Organising Committee
dc.relation.ispartofseriesInternational Conference on Principles of Knowledge Representation and Reasoning (KR 2012)
dc.source13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
dc.source.urihttp://www.dis.uniroma1.it/~kr12/
dc.titleConflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice
dc.typeConference paper
local.contributor.affiliationGrastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.affiliationHaslum, Patrik , College of Engineering and Computer Science, ANU
local.contributor.affiliationThiebaux, Sylvie, College of Engineering and Computer Science, ANU
local.contributor.authoremailu1818590@anu.edu.au
local.contributor.authoruidGrastien, Alban , a230022
local.contributor.authoruidHaslum, Patrik , u1818590
local.contributor.authoruidThiebaux, Sylvie, u4033066
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu3968803xPUB55
local.identifier.scopusID2-s2.0-84893422663
local.identifier.uidSubmittedByu3968803
local.type.statusPublished Version

Downloads

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Grastien_Conflict-Based_Diagnosis_of_2012.pdf
Size:
355.19 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS