Verification of State-Based Opacity Using Petri Nets

Yin Tong; Zhiwu Li; Carla Seatzu; Alessandro Giua

Home
AMU research units collections
Submit
Browse
Search
Am I allowed
Collaborations
More about Open Access
- Open Access guide
- Hal's 4 commandments

Verification of State-Based Opacity Using Petri Nets

Yin Tong ¹ Zhiwu Li ¹ Carla Seatzu ² 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

Yin Tong ¹ AuthorId : 1501576
Author

Zhiwu Li ¹ AuthorId : 1138101
Author

Carla Seatzu ² AuthorId : 1270619
Author

Alessandro Giua ^{3, 4, 2} AuthorId : 11196421
Author Employer institution : Aix Marseille Université

1 Xidian University (China) StructId : 469153

2 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari] (Piazza d'Armi, 09123, Cagliari - Italy) StructId : 128842

University of Cagliari (Italy) StructId : 520704

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) StructId : 199402

AMU - Aix Marseille Université : UMR7296 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
UTLN - Université de Toulon : UMR7296 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
Arts et Métiers Paristech ENSAM Aix-en-Provence : UMR7296 (France) StructId : 303092
CNRS - Centre National de la Recherche Scientifique : UMR7296 (France) StructId : 441569

4 MOFED - Modèles et Formalismes à Evénements Discrets (France) StructId : 530687

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) StructId : 527033
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France) StructId : 441569

Document type :

Journal articles

Domain :

Engineering Sciences [physics]

Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01786028
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:41:52 PM
Last modification on : Tuesday, July 9, 2019 - 4:48:39 PM

Links full text

Identifiers

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

Collections

UNIV-AMU | UNIV-TLN | LSIS | LIS-LAB | UNIV-HESAM

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⟩

Verification of State-Based Opacity Using Petri Nets

Links full text

Identifiers

Collections

Citation

Export

Metrics

101

Contact

Verification of State-Based Opacity Using Petri Nets

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

101

Contact