1.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
2.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
3.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
4.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
5.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
6.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核心合集引用: 4
7.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
8.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
9.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
10.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核心合集引用: 8
11.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
12.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
13.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核心合集引用: 4
14.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
15.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核心合集引用: 4
16.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
收錄情况： WOS SCOPUS
WOS核心合集引用: 0
17.Evaluation of the fault detection delay for a class of timed automata
Lefebvre, Dimitri, L More...
IFAC-PapersOnLine[2405-8963], Published 2024, Volume 58, Issue 1, Pages 150-155
收錄情况： WOS SCOPUS
WOS核心合集引用: 0
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫