Skip navigation
Skip navigation

Verifying the Precision of Diagnostic Algorithms

Su, Xing yu; Grastien, Alban

Description

Diagnosis of discrete event systems requires to decide whether the system model allows for certain types of executions to take place. Because this problem is hard, incomplete yet faster algorithms may be needed. This however can lead to a loss of precisio

CollectionsANU Research Publications
Date published: 2014
Type: Conference paper
URI: http://hdl.handle.net/1885/67248
Source: ECAI 2014
DOI: 10.3233/978-1-61499-419-0-861

Download

File Description SizeFormat Image
01_Su_Verifying_the_Precision_of_2014.pdf181.44 kBAdobe PDF    Request a copy


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

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator