A theory of abstraction for diagnosis of dicrete-event systems
Loading...
Date
Authors
Grastien, Alban
Torta, Gianluca
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
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
Description
Keywords
Citation
Collections
Source
Symposium on Abstraction, Reformulation, and Approximation (SARA 2011) proceedings
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description