Codiagnosability verification of bounded Petri nets using basis markings - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Codiagnosability verification of bounded Petri nets using basis markings

, , (1) ,
1
Ning Ran
  • Function : Author
Hongye Su
  • Function : Author
Alessandro Giua
  • Function : Author
Università degli Studi di Cagliari = University of Cagliari
Carla Seatzu
  • Function : Author

Abstract

no abstract

Domains

Computer Science [cs] Computer Science [cs] Automatic Control Engineering Computer Science [cs] Signal and Image Processing

William Domingues Vinhas  : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01490142

Submitted on : Tuesday, March 14, 2017-10:24:38 PM

Last modification on : Friday, November 25, 2022-6:54:06 PM

Not file

Dates and versions

hal-01490142 , version 1 (14-03-2017)

Identifiers

  • HAL Id : hal-01490142 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-AMU LSIS
31 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More