1.Verification of Joint Current-State Opacity Using Petri Nets
Zhao, Wenjie, Giua, More...
IFAC-PapersOnLine[2405-8963], Published 2023, Volume 56, Issue 2, Pages 7899-7905
收錄情况： SCOPUS
2.Fault Pattern Diagnosis of Discrete-Event Systems by Means of Logical Verifiers
Liang, Ye, Lefebvre, More...
IFAC-PapersOnLine[2405-8963], Published 2022, Volume 55, Issue 6, Pages 551-556
收錄情况： WOS SCOPUS
WOS核心合集引用: 2
3.Verifiers for the detection of timed patterns in discrete event systems
Lefebvre, D, Li, ZW, More...
IFAC PAPERSONLINE[2405-8963], Published 2022, Volume 55, Issue 28, Pages 264-269
收錄情况： WOS SCOPUS
WOS核心合集引用: 3
4.Attackable detectability of partially-observed discrete-event systems under sensor attack
Chen, QR, Su, R, Li, More...
IFAC PAPERSONLINE[2405-8963], Published 2022, Volume 55, Issue 28, Pages 121-127
收錄情况： WOS SCOPUS
WOS核心合集引用: 1
5.Sensor and Actuator Attacks in Discrete Event Systems
Zhang, Q, Seatzu, C, More...
IFAC PAPERSONLINE[2405-8963], Published 2022, Volume 55, Issue 28, Pages 38-45
收錄情况： WOS SCOPUS
WOS核心合集引用: 1
6.A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems
Li, L, Basile, F, Li More...
IFAC PAPERSONLINE[2405-8963], Published 2020, Volume 53, Issue 4, Pages 166-172
收錄情况： WOS SCOPUS
WOS核心合集引用: 0
7.Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
Saadaoui, I, Li, Z, More...
IFAC PAPERSONLINE[2405-8963], Published 2020, Volume 53, Issue 4, Pages 378-383
收錄情况： WOS SCOPUS
WOS核心合集引用: 3
8.Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations
Wang, X, Moor, T, Li More...
IFAC PAPERSONLINE[2405-8963], Published 2020, Volume 53, Issue 2, Pages 11175-11180
收錄情况： WOS SCOPUS
WOS核心合集引用: 2
9.Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
Zhang, Q, Seatzu, C, More...
IFAC PAPERSONLINE[2405-8963], Published 2020, Volume 53, Issue 4, Pages 14-20
收錄情况： WOS SCOPUS
WOS核心合集引用: 7
10.Critical Observability of Partially Observed Petri Nets
Cong, XY, Fanti, MP, More...
IFAC PAPERSONLINE[2405-8963], Published 2020, Volume 53, Issue 4, Pages 350-355
收錄情况： WOS SCOPUS
WOS核心合集引用: 1
11.Design of Monitor-based Supervisors in Labelled Petri Nets
Ma, ZY, He, Z, Li, Z More...
IFAC PAPERSONLINE[2405-8963], Published 2018, Volume 51, Issue 7, Pages 374-380
收錄情况： WOS SCOPUS
WOS核心合集引用: 5
12.On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems
Liu, YY, Cai, K, Li, More...
IFAC PAPERSONLINE[2405-8963], Published 2018, Volume 51, Issue 7, Pages 25-30
收錄情况： WOS SCOPUS
WOS核心合集引用: 4
13.On-line Algorithm for Current State Opacity Enforcement in a Petri Net Framework
Cong X.Y., Fanti M.P More...
IFAC-PapersOnLine[2405-8963], Published 2018, Volume 51, Issue 7, Pages 349-354
收錄情况： WOS SCOPUS
WOS核心合集引用: 2
14.Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming
Cong, XY, Fanti, MP, More...
IFAC PAPERSONLINE[2405-8963], Published 2017, Volume 50, Issue 1, Pages 13624-13629
收錄情况： WOS SCOPUS
WOS核心合集引用: 4
15.Minimizing the Influence Propagation in Social Networks for Linear Threshold Models
Yang, L, Giua, A, Li More...
IFAC PAPERSONLINE[2405-8963], Published 2017, Volume 50, Issue 1, Pages 14465-14470
收錄情况： WOS SCOPUS
WOS核心合集引用: 16
16.Marking Estimation in Labelled Petri nets by the Representative Marking Graph
Ma, ZY, Tong, Y, Li, More...
IFAC PAPERSONLINE[2405-8963], Published 2017, Volume 50, Issue 1, Pages 11175-11181
收錄情况： WOS SCOPUS
WOS核心合集引用: 12
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫