Show simple item record

dc.contributor.authorLafortune, Stéphaneen
dc.contributor.authorLin, Fengen
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorLafortune, Stéphaneen
dc.creatorLin, Fengen
dc.creatorHadjicostis, Christoforos N.en
dc.description.abstractThis paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal in event diagnosis is to develop algorithmic procedures for deducing the occurrence of unobservable events, based on a formal model of the system and on-line observations of its behavior. It also presents historical remarks on the early works on the property of opacity, which occurred about ten years later. Opacity can be seen as a strong version of lack of diagnosability and it has been used to capture security and privacy requirements. Finally, diagnosability is connected with the property of observability that arises in supervisory control. This paper is part of set of papers that review the emergence of discrete event systems as an area of research in control engineering.en
dc.sourceAnnual Reviews in Controlen
dc.titleOn the history of diagnosability and opacity in discrete event systemsen
dc.description.endingpage266Πολυτεχνική Σχολή / Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.source.abbreviationAnnual Reviews in Controlen
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record