Journal articles
Verification of State-Based Opacity Using Petri Nets
Yin Tong 1
Author
Zhiwu Li 1
Author
Carla Seatzu 2
Author
Alessandro Giua 3, 4, 2
Author Employer institution : Aix Marseille Université
1
Xidian University (China)
2
DIEE - Department of Electrical and Electronic Engineering [University of Cagliari] (Piazza d'Armi, 09123, Cagliari - Italy)
- University of Cagliari (Italy)
3
LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme
Batiment Polytech
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7296 (France)
- Arts et Métiers Paristech ENSAM Aix-en-Provence : UMR7296 (France)
- UTLN - Université de Toulon : UMR7296 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- AMU - Aix Marseille Université : UMR7296 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
4
MOFED - Modèles et Formalismes à Evénements Discrets (France)
- LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France)
Document type :
Journal articles
Domain :
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-01786028
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:41:52 PM
Last modification on : Monday, March 30, 2020 - 8:42:50 AM
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:41:52 PM
Last modification on : Monday, March 30, 2020 - 8:42:50 AM
Links full text
Identifiers
- HAL Id : hal-01786028, version 1
- DOI : 10.1109/TAC.2016.2620429
Collections
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⟩
Metrics
Record views