Grastien, AlbanTorta, Gianluca2015-12-08July 17-18http://hdl.handle.net/1885/37399We 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 performed20112015-12-08