Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study

Simple item page
dc.contributor.authorGrastien, Alban
dc.contributor.authorAnbulagan, Anbu
dc.date.accessioned2015-12-13T22:32:54Z
dc.date.issued2013
dc.date.updated2022-08-07T08:17:54Z
dc.description.abstractWe propose a novel algorithm for the diagnosis of systems modelled as discrete event systems. Instead of computing all paths of the model that are consistent with the observations, we use a two-level approach: at the first level diagnostic questions are g
dc.identifier.issn0018-9286
dc.identifier.urihttp://hdl.handle.net/1885/75781
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE Inc)
dc.sourceIEEE Transactions on Automatic Control
dc.subjectKeywords: Empirical studies; Novel algorithm; Propositional satisfiability; Satisfiability algorithms; Satisfiability solvers; Second level; Two-level approach; Algorithms; Diagnosis; Discrete event simulation; Formal logic Diagnosis; Discrete event systems; Propositional satisfiability
dc.titleDiagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study
dc.typeJournal article
local.bibliographicCitation.issue12
local.bibliographicCitation.lastpage3083
local.bibliographicCitation.startpage3070
local.contributor.affiliationGrastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.affiliationAnbulagan, Anbu, Administrative Division, ANU
local.contributor.authoruidGrastien, Alban , a230022
local.contributor.authoruidAnbulagan, Anbu, u4593416
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor090602 - Control Systems, Robotics and Automation
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationf5625xPUB4789
local.identifier.citationvolume58
local.identifier.doi10.1109/TAC.2013.2275892
local.identifier.scopusID2-s2.0-84889691158
local.identifier.thomsonID000327604800006
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Grastien_Diagnosis_of_discrete_event_2013.pdf
Size:
1.66 MB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS