A theory of abstraction for diagnosis of dicrete-event systems
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
|Collections||ANU Research Publications|
|Source:||Symposium on Abstraction, Reformulation, and Approximation (SARA 2011) proceedings|
|01_Grastien_A_theory_of_abstraction_for_2011.pdf||173.06 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.