Skip navigation
DR-NTU (Digital Repository of NTU)
DR-NTU (Digital Repository of NTU)
Communities & Collections
Organisations
Research Papers
Theses
FYPs
Projects
Academic Profile
Explore by
Organisations
Research Papers
Theses
FYPs
Projects
Academic Profile
Guidelines
Login
Browsing by Author
Lin, Liyong
Enter a last name
Or, select a letter below to browse by last name
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 4 to 18 of 18
< previous
Issue Date
Title
Author(s)
2022
Identification of system vulnerability under a smart sensor attack via attack model reduction
Tai, Ruochen
;
Lin, Liyong
;
Su, Rong
2018
Model checking in isomorphic module systems
Wang, Weilin
;
Su, Rong
;
Lin, Liyong
;
Gong, Chaohui
2022
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
Lin, Liyong
;
Zhu, Yuting
;
Tai, Ruochen
;
Ware, Simon
;
Su, Rong
2022
A new modeling framework for networked discrete-event systems
Tai, Ruochen
;
Lin, Liyong
;
Zhu, Yuting
;
Su, Rong
2023
Privacy-preserving co-synthesis against sensor–actuator eavesdropping intruder
Tai, Ruochen
;
Lin, Liyong
;
Zhu, Yuting
;
Su, Rong
2021
Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels
Zhu, Yuting
;
Lin, Liyong
;
Tai, Ruochen
;
Su, Rong
2021
Supervisory control of time-interval discrete event systems
Brandin, Bertil
;
Su, Rong
;
Lin, Liyong
2017
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
Lin, Liyong
;
Stefanescu, Alin
;
Wang, Weilin
;
Su, Rong
;
Wonham, Walter Murray
2019
Synchronous composition of finite interval automata
Lin, Liyong
;
Su, Rong
;
Brandin, Bertil A.
;
Ware, Simon
;
Zhu, Yuting
;
Sun, Yajuan
2021
Synthesis of covert actuator and sensor attackers
Lin, Liyong
;
Su, Rong
2021
Synthesis of covert actuator and sensor attackers as supervisor synthesis
Lin, Liyong
;
Su, Rong
2020
Synthesis of covert actuator attackers for free
Lin, Liyong
;
Zhu, Yuting
;
Su, Rong
2023
Synthesis of optimal covert sensor–actuator attackers for discrete-event systems
Tai, Ruochen
;
Lin, Liyong
;
Su, Rong
2022
Synthesis of the supremal covert attacker against unknown supervisors by using observations
Tai, Ruochen
;
Lin, Liyong
;
Zhu, Yuting
;
Su, Rong
2015
Towards decentralized and parameterized supervisor synthesis
Lin, Liyong