Verification of State-Based Opacity Using Petri Nets

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〉
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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

63