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

Domaines: Sciences de l'ingénieur [physics]

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