A novel class of discrete-event systems, called higher-order DESs (HDESs) is introduced, along with a relevant diagnosis technique. The behavior of a HDES is stratified, resulting in a hierarchy of cohabiting sub-DESs, each one living its own life. The communication between subsystems at different levels of abstraction relies on complex events, occurring when specific patterns of transitions are matched. Separation of concerns is achieved and the expressive power of diagnosis, which is scalable and context-sensitive, is enhanced.

Specification and model-based diagnosis of higher-order discrete-event systems

LAMPERTI, Gian Franco;
2013-01-01

Abstract

A novel class of discrete-event systems, called higher-order DESs (HDESs) is introduced, along with a relevant diagnosis technique. The behavior of a HDES is stratified, resulting in a hierarchy of cohabiting sub-DESs, each one living its own life. The communication between subsystems at different levels of abstraction relies on complex events, occurring when specific patterns of transitions are matched. Separation of concerns is achieved and the expressive power of diagnosis, which is scalable and context-sensitive, is enhanced.
2013
9781479906529
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11379/431713
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 4
social impact