On Subsumption, Coverage, and Relaxation of Temporal Observations in Reuse-Based Diagnosis of Discrete-Event Systems: a Unifying Perspective

Abstract

When evolving, a discrete-event system (DES) generates a sequence of observable labels, namely a trace. If the DES is large and distributed,what is perceived is a degradation of the trace, namely an uncertain temporal observation. While trace-degradation has never been subject of formal investigation, considerable effort has been spent on similarity-based… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{LampertiOnSC, title={On Subsumption, Coverage, and Relaxation of Temporal Observations in Reuse-Based Diagnosis of Discrete-Event Systems: a Unifying Perspective}, author={Gianfranco Lamperti and Federica Vivenzi and Marina Zanella} }