Verification of Inference Observability in Supervisory Control of Discrete-Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Verification of Inference Observability in Supervisory Control of Discrete-Event Systems

Résumé

We present a new algorithm to verify inference observability in supervisory control of decentralized discreteevent systems. The algorithm's success relies on the following idea. An inferencing solution exists only when a language does not contain any inferencing cycles.
Fichier principal
Vignette du fichier
Inference_observability.pdf (2.18 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04054414 , version 1 (31-03-2023)

Identifiants

  • HAL Id : hal-04054414 , version 1

Citer

C K Sharpe, Laurie S. L. Ricker, Hervé Marchand. Verification of Inference Observability in Supervisory Control of Discrete-Event Systems. 2023. ⟨hal-04054414⟩
22 Consultations
42 Téléchargements

Partager

Gmail Facebook X LinkedIn More