Skip navigation
Skip navigation

A theory of abstraction for diagnosis of dicrete-event systems

Grastien, Alban; Torta, Gianluca


We propose a theory of abstraction of discrete-event systems (DES) formulated at the semantic level, i.e., as a function that maps event traces at the original (ground) level to traces at the abstract level. We study how diagnosis of DES can be performed

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
Source: Symposium on Abstraction, Reformulation, and Approximation (SARA 2011) proceedings


File Description SizeFormat Image
01_Grastien_A_theory_of_abstraction_for_2011.pdf173.06 kBAdobe PDF    Request a copy

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

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator