Diagnosis of Labeled Time Petri Nets Using ...

Type de document :
Article dans une revue scientifique
DOI :
10.3182/20140824-6-ZA-1003.02336
URL permanente :
http://hdl.handle.net/20.500.12210/23363
Titre :
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
Auteur(s) :
Liu, Baisi [Auteur]
Université de Lille, Sciences et Technologies
Ghazel, Mohamed [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyéni, Armand [Auteur]
PRES Université Lille Nord de France
Titre de la revue :
International Federation of Automatic Control proceedings volumes
Pagination :
1784 - 1789
Éditeur :
Elsevier
Date de publication :
2014
ISSN :
1474-6670
Discipline(s) HAL :
Informatique [cs]/Automatique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Date de dépôt :
2020-05-28T12:05:11Z
Fichiers
Thumbnail
  • http://pdfs.semanticscholar.org/00a9/b4b20591648ebb60ca69340e6119f1ab4b26.pdf
  • Accès libre
  • Accéder au document