Skip to Main content Skip to Navigation
Journal articles

Verification of State-Based Opacity Using Petri Nets

Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-01786028
Contributor : Isabel Demongodin Connect in order to contact the contributor
Submitted on : Friday, May 4, 2018 - 7:41:52 PM
Last modification on : Tuesday, October 19, 2021 - 10:59:53 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

478