• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

On-the-fly Diagnosability Analysis of ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
DOI :
10.1016/j.ifacol.2015.06.474
Title :
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
Author(s) :
Li, Ben [Auteur]
PRES Université Lille Nord de France
Khlif-Bouassida, Manel [Auteur]
PRES Université Lille Nord de France
Toguyéni, Armand [Auteur]
PRES Université Lille Nord de France
Conference title :
5th IFAC International Workshop on Dependable Control of Discrete Systems DCDS 2015
City :
Cancun
Country :
Mexique
Start date of the conference :
2015-05-27
Publication date :
2015
HAL domain(s) :
Informatique [cs]/Automatique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.06.474
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.06.474
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.06.474
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.06.474
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017