Verification of State-Based Opacity Using Petri Nets

Yin Tong; Zhiwu Li; Carla Seatzu; Alessandro Giua

doi:10.1109/TAC.2016.2620429

Journal Articles IEEE Transactions on Automatic Control Year : 2017

Verification of State-Based Opacity Using Petri Nets

(1) , (1) , (2) , (3, 4, 2)

1
2
3
4

Yin Tong

Function : Author

Xidian University

Zhiwu Li

Function : Author
PersonId : 773377
ORCID : 0000-0003-1547-5503

Xidian University

Carla Seatzu

Function : Author

Department of Electrical and Electronic Engineering [University of Cagliari]

Alessandro Giua

Function : Author

Laboratoire des Sciences de l'Information et des Systèmes

Modèles et Formalismes à Evénements Discrets

Department of Electrical and Electronic Engineering [University of Cagliari]

Domains

Engineering Sciences [physics]

Isabel Demongodin : Connect in order to contact the contributor

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

Submitted on : Friday, May 4, 2018-7:41:52 PM

Last modification on : Wednesday, February 8, 2023-5:11:04 PM

Dates and versions

hal-01786028 , version 1 (04-05-2018)

Identifiers

HAL Id : hal-01786028 , version 1
DOI : 10.1109/TAC.2016.2620429

Cite

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of State-Based Opacity Using Petri Nets. IEEE Transactions on Automatic Control, 2017, 62 (6), pp.2823 - 2837. ⟨10.1109/TAC.2016.2620429⟩. ⟨hal-01786028⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES

101 View

0 Download

Verification of State-Based Opacity Using Petri Nets

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share