Codiagnosability verification of bounded Petri nets using basis markings
Résumé
no abstract
Communication Dans Un Congrès
Année : 2016
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01490142
Soumis le : mardi 14 mars 2017-22:24:38
Dernière modification le : vendredi 25 novembre 2022-18:54:06
Dates et versions
Identifiants
- HAL Id : hal-01490142 , version 1
Citer
Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu. Codiagnosability verification of bounded Petri nets using basis markings. Proc. 55th IEEE Conf. on Decision and Control (Las Vegas, USA), 2016, Unknown, Unknown Region. ⟨hal-01490142⟩
31
Consultations
0
Téléchargements