Show simple item record

dc.contributor.authorLafortune, S.en
dc.contributor.authorLin, F.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorLafortune, S.en
dc.creatorLin, F.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:46:49Z
dc.date.available2019-04-08T07:46:49Z
dc.date.issued2018
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/44005
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. © 2018 Elsevier Ltden
dc.sourceAnnual Reviews in Controlen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85045201795&doi=10.1016%2fj.arcontrol.2018.04.002&partnerID=40&md5=5fba99823a2f9f5356790daad58e9a4c
dc.subjectDiagnosabilityen
dc.subjectDiscrete event simulationen
dc.subjectDiscrete event systemsen
dc.subjectFailure analysisen
dc.subjectFault detectionen
dc.subjectPetri netsen
dc.subjectUnobservableen
dc.subjectSupervisory controlen
dc.subjectOpacityen
dc.subjectFault diagnosisen
dc.subjectAlgorithmic procedureen
dc.subjectFormal modelen
dc.subjectHistory of discrete event systemsen
dc.subjectOn-line observationsen
dc.subjectSecurity and privacyen
dc.titleOn the history of diagnosability and opacity in discrete event systemsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1016/j.arcontrol.2018.04.002
dc.description.issueJournal Articleen
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationAnnu Rev Controlen
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid0000-0002-1706-708X


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record