Verification of State-Based Opacity Using Petri Nets - Archive ouverte HAL Access content directly
Journal Articles IEEE Transactions on Automatic Control Year : 2017

Dates and versions

hal-01786028 , version 1 (04-05-2018)

Identifiers

Cite

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⟩
101 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More