1.Verification of Initial-State Opacity in Petri Nets

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

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

2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2015, Volume 54rd IEEE Conference on Decision and Control,CDC 2015, Pages 344-349

收錄情况： WOS SCOPUS

WOS核心合集引用: 14 

2.A Method to Verify the Controllability of Language Specifications in Petri Nets Based on Basis Marking Analysis

Ma, ZY, Li, ZW, Giva     More...

Ma, ZY, Li, ZW, Giva, A     Less

2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2015, Volume 54rd IEEE Conference on Decision and Control,CDC 2015, Pages 1675-1681

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

3.Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics

He, Z, Li, ZW, Giua,     More...

He, Z, Li, ZW, Giua, A     Less

2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2016, Pages 3942-3947

收錄情况： WOS SCOPUS

WOS核心合集引用: 1 

4.Computation of Admissible Marking Sets in Weighted State Machines by Dynamic Programming

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

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

2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2017, Volume 2018-January, Pages 4847-4852

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

5.Critical Observability of Safe Petri Nets via Integer Linear Programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2018, Volume 2018-December, Pages 1029-1034

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

6.Context-free Forbidden Path Control of Net Condition/Event Systems

Zhang, JF, Luo, GGH,     More...

Zhang, JF, Luo, GGH, Li, ZW, Frey, G     Less

2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2019, Volume 2019-December, Pages 1991-1996

收錄情况： WOS SCOPUS

WOS核心合集引用: 0 

7.Critical Observability of Petri Nets with Unknown Initial Marking

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2019, Volume 2019-December, Pages 2003-2008

收錄情况： WOS SCOPUS

WOS核心合集引用: 2 

8.Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach

Gu, C, Ma, ZY, Li, Z     More...

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

2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2019, Volume 2019-December, Pages 6718-6723

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

9.Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach

Gu, C, Li, ZW, Giua,     More...

Gu, C, Li, ZW, Giua, A     Less

2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2020, Volume 2020-December, Pages 4467-4472

收錄情况： WOS SCOPUS

WOS核心合集引用: 1 

10.Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers

Ma, ZY, Xiang, Y, Li     More...

Ma, ZY, Xiang, Y, Li, ZW     Less

2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)[0743-1546], Published 2020, Volume 2020-December, Pages 4479-4484

收錄情况： WOS SCOPUS

WOS核心合集引用: 1 

11.Verification of Strong K-Step Opacity for Discrete-Event Systems

Han, Xiaoguang, Zhan     More...

Han, Xiaoguang, Zhang, Kuize, Li, Zhiwu     Less

Proceedings of the IEEE Conference on Decision and Control[0743-1546], Published 2022, Volume 2022-December, Pages 4250-4255

收錄情况： WOS SCOPUS

WOS核心合集引用: 4 

12.Fault Diagnosis of Discrete Event Systems Under Attack

Kang, Tenglong, Seat     More...

Kang, Tenglong, Seatzu, Carla, Li, Zhiwu, Giua, Alessandro     Less

Proceedings of the IEEE Conference on Decision and Control[0743-1546], Published 2023, Pages 7923-7929

收錄情况： WOS SCOPUS

WOS核心合集引用: 2 

13.Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences

Sun, Dajiang, Hadjic     More...

Sun, Dajiang, Hadjicostis, Christoforos N., Li, Zhiwu     Less

Proceedings of the IEEE Conference on Decision and Control[0743-1546], Published 2023, Pages 6917-6922

收錄情况： WOS SCOPUS

WOS核心合集引用: 0