Discriminability Analysis of Supervision Patterns by Net Unfoldings

Houssam Eddine Gougam 1 Audine Subias 1 Yannick Pencolé 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : In this paper, we are interested in the discriminability of supervision patterns, in discrete event systems (DES). Discriminability — as opposed to diagnosability — is the possibility to detect the exclusive occurrence of a particular behavior of interest — called the supervision pattern. To this end, we propose to adapt the classical twin-plant approach to Petri nets unfolding. The usage of unfoldings permits us to avoid the combinatorial explosion associated with marking graphs. The method can also be used to solve the classical problem of discrete event systems' diagnosability.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.laas.fr/hal-01847155
Contributor : Audine Subias <>
Submitted on : Monday, July 23, 2018 - 11:59:34 AM
Last modification on : Friday, January 10, 2020 - 9:10:11 PM
Long-term archiving on: Wednesday, October 24, 2018 - 1:21:04 PM

File

WODES14_HAL.pdf
Files produced by the author(s)

Identifiers

Citation

Houssam Eddine Gougam, Audine Subias, Yannick Pencolé. Discriminability Analysis of Supervision Patterns by Net Unfoldings. 12th IFAC International Workshop on Discrete Event Systems (2014)-IFAC Proceedings Volumes, May 2014, Cachan, France. pp.459 - 464, ⟨10.3182/20140514-3-FR-4046.00136⟩. ⟨hal-01847155⟩

Share

Metrics

Record views

78

Files downloads

76