1.Verification of Language-Based Opacity in Petri Nets Using Verifier

Tong, Y, Ma, ZY, Li,     More...

Tong, Y, Ma, ZY, Li, ZW, Seatzu, C, Giua, A     Less

2016 AMERICAN CONTROL CONFERENCE (ACC)[0743-1619], Published 2016, Volume 2016-July, Pages 757-763

收錄情况： WOS SCOPUS

WOS核心合集引用: 25 

2.A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

2015 AMERICAN CONTROL CONFERENCE (ACC)[0743-1619], Published 2015, Volume 2015-July, Pages 365-370

收錄情况： WOS SCOPUS

WOS核心合集引用: 3 

3.Verification of Current-State Opacity Using Petri Nets

Tong, Y, Li, ZW, Sea     More...

Tong, Y, Li, ZW, Seatzu, C, Giua, A     Less

2015 AMERICAN CONTROL CONFERENCE (ACC)[0743-1619], Published 2015, Volume 2015-July, Pages 1935-1940

收錄情况： WOS SCOPUS

WOS核心合集引用: 19 

4.Rumor containment by spreading correct information in social networks

Yang, Lan, Li, Zhiwu     More...

Yang, Lan, Li, Zhiwu, Giua, Alessandro     Less

Proceedings of the American Control Conference[0743-1619], Published 2019, Volume 2019-July, Pages 5608-5613

收錄情况： WOS SCOPUS

WOS核心合集引用: 11