Open Research will be updating the system on Monday, 25 May 2026, from 8:15 to 8:45 AM. We apologise for any inconvenience caused.

Modeling and solving diagnosis of discrete-event systems via satisfiability

Simple item page
dc.contributor.authorGrastien, Alban
dc.contributor.authorAnbulagan, Anbu
dc.contributor.authorRintanen, Jussi
dc.contributor.authorKelareva, Elena
dc.contributor.editorBiswas, G.
dc.contributor.editorKoutsoukos, X.
dc.contributor.editorAbdelwahed, S.
dc.coverage.spatialNashville USA
dc.date.accessioned2015-12-08T22:41:55Z
dc.date.createdMay 29-31 2007
dc.date.issued2007
dc.date.updated2022-08-07T08:19:51Z
dc.identifier.urihttp://hdl.handle.net/1885/36856
dc.publisherAAAI Press
dc.relation.ispartofseriesInternational Workshop on Principles of Diagnosis (DX 2007)
dc.sourceProceedings of the 18th International Workshop on Principles of Diagnosis (DX-07)
dc.source.urihttp://www.isis.vanderbilt.edu/dx07/Proceedings/Proceedings.pdf
dc.titleModeling and solving diagnosis of discrete-event systems via satisfiability
dc.typeConference paper
local.bibliographicCitation.lastpage121
local.bibliographicCitation.startpage114
local.contributor.affiliationGrastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.affiliationAnbulagan, Anbu, College of Engineering and Computer Science, ANU
local.contributor.affiliationRintanen, Jussi , College of Engineering and Computer Science, ANU
local.contributor.affiliationKelareva, Elena, University of Melbourne
local.contributor.authoruidGrastien, Alban , a230022
local.contributor.authoruidAnbulagan, Anbu, u4593416
local.contributor.authoruidRintanen, Jussi , u1814932
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.ariespublicationu8803936xPUB141
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
01_Grastien_Modeling_and_solving_diagnosis_2007.pdf
Size:
466.51 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Grastien_Modeling_and_solving_diagnosis_2007.pdf
Size:
583.42 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS