Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study
Grastien, Alban; Anbulagan, Anbu
Description
We 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
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/75781 |
Source: | IEEE Transactions on Automatic Control |
DOI: | 10.1109/TAC.2013.2275892 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Grastien_Diagnosis_of_discrete_event_2013.pdf | 1.7 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 20 July 2017/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator