Skip navigation
Skip navigation

Modeling and solving diagnosis of discrete-event systems via satisfiability

dc.contributor.authorGrastien, Alban
dc.contributor.authorAnbulagan, Anbu
dc.contributor.authorRintanen, Jussi
dc.contributor.authorKelareva, Elena
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.updated2015-12-08T10:31:31Z
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


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator