logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
S

Siyuan Liu

KTH Royal Institute of Technology

8H指数
43论文数
296被引数
收录论文 6
发表时间
logo
Secure-by-construction synthesis of cyber-physical systems
errANNUAL REVIEWS IN CONTROL
IF10.7
err2022-01-01
err27
errOAAI
errLiu, Siyuan; Trivedi, Ashutosh; Yin, Xiang; Zamani, Majid
err分享
err收藏
Verification of approximate opacity for switched systems: A compositional approach
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2021-11-01
err6
errOAAI
errLiu, Siyuan; Swikir, Abdalla; Zamani, Majid
err分享
err收藏
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
errAUTOMATICA
IF5.9
err2021-09-01
err5
errOAAI
errLiu, Siyuan; Zamani, Majid
err分享
err收藏
On Approximate Opacity of Cyber-Physical Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-04-01
err46
errOAAI
errYin, Xiang; Zamani, Majid; Liu, Siyuan
err分享
err收藏
Lateral entry guidance with no-fly zone constraint
errAEROSPACE SCIENCE AND TECHNOLOGY
IF5.8
err2017-01-01
err44
PREAI
errLiang, Zixuan; Liu, Siyuan; Li, Qingdong; Ren, Zhang
err分享
err收藏
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multiagent Systems via Assume-Guarantee Contracts多智能体系统中基于假设-保证合约的协作信号时序逻辑任务控制器综合
errIEEE Transactions on Automatic Control
IF7
err
err0
errOAAI
errSiyuan Liu; Adnane Saoud; Dimos V. Dimarogonas
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Dimos V. Dimarogonas
H 指数: 62 · 论文数: 711
Z
Zhang Ren
H 指数: 51 · 论文数: 764
Q
Qingdong Li
H 指数: 46 · 论文数: 404
X
Xiang Yin
H 指数: 31 · 论文数: 223
M
Majid Zamani
H 指数: 27 · 论文数: 344
查看更多