Hao Lan

Verification of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e290" altimg="si6.svg"> <mml:mi>K</mml:mi> </mml:math> -step and infinite-step opacity of bounded labeled Petri nets

Yin Tong, Hao Lan, Carla Seatzu · Automatica · 2022 · 23 citations · Full text

Computing, Computer Science, Formal Methods +11

Verification of Infinite-step Opacity Using Labeled Petri Nets

Hao Lan, Yin Tong, Carla Seatzu · IFAC-PapersOnLine · 2020 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +16

Comments on “A new approach for the verification of infinite-step and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e50" altimg="si3.svg"><mml:mi>K</mml:mi></mml:math>-step opacity using two-way observers” [Automatica 80 (2017) 162–171]

Hao Lan, Yin Tong, Jin Guo et al. · Automatica · 2020 · 14 citations

Computing, Computer Science, Mathematics +8

Verification of C-detectability using Petri nets

Hao Lan, Yin Tong, Jin Guo et al. · Information Sciences · 2020 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +9

Analysis of strong and strong periodic detectability of bounded labeled Petri nets

Hao Lan, Yin Tong, Carla Seatzu · Nonlinear Analysis Hybrid Systems · 2021 · 13 citations

Computing, Computer Systems, Fault-tolerant Systems +5