Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable - Concurrence et distribué
Communication Dans Un Congrès Année : 2022

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Lulu He
  • Fonction : Auteur
  • PersonId : 1062016
Laboratoire Méthodes Formelles
Philippe Dague
Laboratoire Méthodes Formelles
Modeling and Exploitation of Interaction and Concurrency
Lina Ye
Université Paris-Saclay

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
DXfinal_Dague.pdf (283.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

CCSD Sciencesconf.org  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03773712

Soumis le : vendredi 9 septembre 2022-14:21:07

Dernière modification le : lundi 1 juillet 2024-11:20:02

Archivage à long terme le : samedi 10 décembre 2022-18:39:58

Télécharger pour visualiser

Dates et versions

hal-03773712 , version 1 (09-09-2022)

Identifiants

  • HAL Id : hal-03773712 , version 1

Citer

Lulu He, Philippe Dague, Lina Ye. Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable. DX 2022 - 33rd International Workshop on Principle of Diagnosis, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773712⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF HUB-IA DX2022
69 Consultations
55 Téléchargements

Partager

More