arrow
Back
L

Liyong Lin

university of toronto

13H-index
67Paper Count
560Citation Count
Published Papers 15
Publication Date
Security verification against covert learning attackers
err2025-07-01
err0
PREAI
errTai, Ruochen; Lin, Liyong; Su, Rong
errShare
errSave
Synthesis of Distributed Covert Sensor-Actuator Attackers
err2024-08-01
err0
PREAI
errTai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong
errShare
errSave
errShare
errSave
errShare
errSave
Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder?
err2023-04-01
err2
errOAAI
errTai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong
errShare
errSave
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
err2022-08-01
err8
errOAAI
errLin, Liyong; Zhu, Yuting; Tai, Ruochen; Ware, Simon; Su, Rong
errShare
errSave
A new modeling framework for networked discrete-event systems
err2022-04-01
err12
errOAAI
errTai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong
errShare
errSave
Synthesis of covert actuator and sensor attackers
err2021-08-01
err30
PREAI
errLin, Liyong; Su, Rong
errShare
errSave
Automatic Generation of Optimal Reductions of Distributions
err2019-03-01
err4
errOAAI
errLin, Liyong; Masopust, Tomas; Wonham, W. Murray; Su, Rong
errShare
errSave
Model Checking in Isomorphic Module Systems
err2018-01-01
err1
errOAAI
errWang, Weilin; Su, Rong; Lin, Liyong; Gong, Chaohui
errShare
errSave
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
err2018-01-01
err1
errOAAI
errLin, Liyong; Stefanescu, Alin; Wang, Weilin; Su, Rong; Wonham, W. Murray
errShare
errSave
State-Based Control of Discrete-Event Systems Under Partial Observation
err2018-01-01
err12
errOAAI
errWang, Deguang; Lin, Liyong; Li, Zhiwu; Wonham, Walter Murry
errShare
errSave
errShare
errSave
errShare
errSave