IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verification of State-Based Opacity Using Petri Nets

Author(s): Yin Tong ; Zhiwu Li ; Carla Seatzu ; Alessandro Giua
Sponsor(s): IEEE Control Systems Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Paper): 0018-9286
ISSN (Online): 1558-2523
DOI: 10.1109/TAC.2016.2620429
Regular:

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an intruder who can partially observe system activities. This work addresses the verification of state-based... View More

Advertisement