Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Verification of State-Based Opacity Using Petri Nets

yin Tong 1 Zhiwu Li 1 Carla Seatzu 2 Alessandro Giua 3, 4, 2 
1 Xidian University
2 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]
3 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
4 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
Document type :
Journal articles
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-01786028
Contributor : Isabel Demongodin Connect in order to contact the contributor
Submitted on : Friday, May 4, 2018 - 7:41:52 PM
Last modification on : Saturday, June 25, 2022 - 7:49:27 PM

Links full text

openaccess

Identifiers

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

102