A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2024

A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems

Résumé

We present a new algorithm to verify inference observability in supervisory control of decentralized discrete-event systems. The algorithm’s success relies on the following idea. An inferencing solution exists only when a language contains no inferencing cycles. When there are no cycles, the algorithm computes the smallest upper bound for an inferencing solution.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
WODES_2024_Inferencing.pdf (365.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hervé Marchand  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-04581576

Soumis le : mardi 21 mai 2024-13:54:51

Dernière modification le : mardi 27 août 2024-12:56:42

Télécharger pour visualiser

Dates et versions

hal-04581576 , version 1 (21-05-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04581576 , version 1

Citer

C K Sharpe, S.H. Yoon, Laurie S. L. Ricker, Hervé Marchand. A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems. 17th Ifac Workshop on Discrete Event Systems, Apr 2024, Rio De Janeiro, Brazil. ⟨hal-04581576⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
16 Consultations
46 Téléchargements

Partager

More