Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Modeling and solving diagnosis of discrete-event systems via satisfiability

Request a Copy

link to publisher version

Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi; Kelareva, Elena

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.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.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2007
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB141
local.type.statusPublished Version
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.description.embargo2037-12-31
local.bibliographicCitation.startpage114
local.bibliographicCitation.lastpage121
dc.date.updated2022-08-07T08:19:51Z
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Grastien_Modeling_and_solving_diagnosis_2007.pdf466.51 kBAdobe PDF    Request a copy
02_Grastien_Modeling_and_solving_diagnosis_2007.pdf583.42 kBAdobe PDF    Request a copy
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator