Verification of State-Based Opacity Using Petri Nets

Yin Tong; Zhiwu Li; Carla Seatzu; Alessandro Giua

doi:10.1109/TAC.2016.2620429

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

Type de document :

Article dans une revue

IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (6), pp.2823 - 2837. 〈10.1109/TAC.2016.2620429〉

Domaine :

Sciences de l'ingénieur [physics]

Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01786028
Contributeur : Isabel Demongodin <>
Soumis le : vendredi 4 mai 2018 - 19:41:52
Dernière modification le : mercredi 12 septembre 2018 - 01:26:11

Verification of State-Based Opacity Using Petri Nets

Identifiants

Collections

Citation

Exporter

Métriques

63

Contact

Verification of State-Based Opacity Using Petri Nets

Identifiants

Collections

Citation

Exporter

Partager

Métriques

63

Contact