基于离散事件系统监控理论的CPS信息安全分析与防护

61803259
2018
F0301.控制理论与技术
殷翔
青年科学基金项目
副教授
上海交通大学
25万元
离散事件系统;监控理论;信息安全;不透明性
2019-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Improved approaches for verifying I-Detectability of discrete-event systems 会议论文 Zhaocong Liu;Xiang Yin;Shaoyuan Li
2 Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints 会议论文 Yiding Ji;Xiang Yin;Wei Xiao
3 Enforcing opacity by insertion functions under multiple energy constraints 期刊论文 Yiding Ji;Xiang Yin;Stephane Lafortune
4 Marking diagnosis in labeled Petri nets using basis diagnosers 会议论文 Ziyue Ma;Xiang Yin;Zhiwu Li
5 Opacity of nondeterministic transition systems: A (bi)simulation relation approach 期刊论文 Kuize Zhang;Xiang Yin;Majid Zamani
6 Opacity of networked supervisory control systems over insecure multiple channel networks 会议论文 Xiang Yin;Shaoyuan Li
7 Maximally permissive supervisor control of timed discrete-event systems under partial observation 会议论文 Ziteng Yang;Xiang Yin;Shaoyuan Li
8 Robust Fault Diagnosis of Stochastic Discrete Event Systems 期刊论文 Xiang Yin;Jun Chen;Zhaojian Li;Shaoyuan Li
9 Abstraction-based synthesis of opacity-enforcing controllers using alternating simulation relations 会议论文 Junyao Hou;Xiang Yin;Shaoyuan Li;Majid Zamani
10 Opacity enforcement using nondeterministic publicly-known edit functions 期刊论文 Yiding Ji;Xiang Yin;Shaoyuan Li
11 Online supervisory control of networked discrete-event systems with control delays 会议论文 Zhaocong Liu;Xiang Yin;Shaolong Shu;Shaoyuan Li
12 Marking diagnosability verification in labeled Petri nets 期刊论文 Ziyue Ma;Xiang Yin;Zhiwu Li
13 Supervisory control of discrete-event systems for infinite-step opacity 会议论文 Yifan Xie;Xiang Yin
14 Synthesis of Controllers for Co-Safe Linear Temporal Logic Specifications using Reinforcement Learning 会议论文 Xiaohua Ren;Xiang Yin;Shaoyuan Li
15 Optimal stabilization of discrete event systems with guaranteed worst cost 会议论文 Yiding Ji;Xiang Yin
16 Infinite-step opacity and K-step opacity of stochastic discrete-event systems 期刊论文 Xiang Yin;Zhaojian Li;Weilin Wang;Shaoyuan Li
17 On Approximate Opacity of Cyber-Physical Systems 期刊论文 Xiang Yin;Majid Zamani;Siyuan Liu
18 Opacity Enforcing Supervisory Control using Non-deterministic Supervisors 期刊论文 Yifan Xie;Xiang Yin;Shaoyuan Li
19 Marking predictability and prediction in labeled Petri nets 期刊论文 Ziyue Ma;Xiang Yin;Zhiwu Li
20 Local Mean Payoff Supervisory Control for Discrete Event Systems 期刊论文 Yiding Ji;Xiang Yin;Stephane Lafortune
21 Supervisory control for delayed detectability of discrete event systems 会议论文 Xiang Yin;Shaoyuan Li
22 Opacity enforcing supervisory control using non-deterministic supervisors 会议论文 Yifan Xie;Xiang Yin;Shaoyuan Li
23 Cooperative Event Triggered Control for Multi-Robot Systems with Collision Avoidance 会议论文 Xiaoduo Li;Xiang Yin;Shaoyuan Li
24 Secure-by-construction optimal path planning for linear temporal logic tasks 会议论文 Shuo Yang;Xiang Yin;Shaoyuan Li;Majid Zamani
25 Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors 会议论文 Yingying Liu;Xiang Yin;Shaoyuan Li
26 Optimal supervisory control with mean payoff objectives and under partial observation 期刊论文 Yiding Ji;Xiang Yin;Stéphane Lafortune
27 WiP Abstract: Towards Approximate Opacity of Cyber-Physical System 会议论文 Xiang Yin;Majid Zamani
28 Complexity of detectability, opacity and A-diagnosability for modular discrete event systems 期刊论文 Tomsa Masopust;Xiang Yin
29 A general approach for optimizing dynamic sensor activations for discrete event systems 期刊论文 Xiang Yin;Stephane Lafortune
30 Local Mean Payoff Supervisory Control under Partial Observation 会议论文 Yiding Ji;Xiang Yin;Wei Xiao
31 Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications 会议论文 Yifan Xie;Xiang Yin;Shaoyuan Li;Majid Zamani
32 On attack mitigation in supervisory control systems: A tolerant control approach 会议论文 Jingshi Yao;Xiang Yin;Shaoyuan Li
33 Supervisory control under local mean payoff constraints 会议论文 Yiding Ji;Xiang Yin;Stephane Lafortune
34 Opacity of Networked Supervisory Control Systems over Insecure Communication Channels 期刊论文 Shuo Yang;Junyao Hou;Xiang Yin;Shaoyuan Li
35 Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels 会议论文 Zhaocong Liu;Junyao Hou;Xiang Yin;Shaoyuan Li
36 Synthesis of dynamic masks for infinite-step opacity 期刊论文 Xiang Yin;Shaoyuan Li
37 Deciding detectability of labeled Petri nets 期刊论文 Tomas Masopust;Xiang Yin
38 A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications 会议论文 Yuanjiang Yang;Xiang Yin;Shaoyuan Li
39 A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System 期刊论文 Zhaojian Li;Firas Khasawneh;Xiang Yin;Aoxue Li;Ziyou Song
40 A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks 会议论文 Peng Lv;Xiang Yin;Yiding Ji;Shaoyuan Li
41 An improved approach for verifying delayed detectability of discrete-event systems 期刊论文 Yang Liu;Zhaocong Liu;Xiang Yin;Shaoyuan Li
42 Online Supervisory Control of Networked Discrete Event Systems with Control Delays 期刊论文 Zhaocong Liu;Xiang Yin;Shaolong Shu;Feng Lin;Shaoyuan Li
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享