离散事件系统分布式不透明性验证及强化

61803317
2018
F0301.控制理论与技术
童音
青年科学基金项目
副教授
西南交通大学
26万元
监督控制;离散事件系统;不透明性;Petri网
2019-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Verification of C-detectability Using Petri Nets 期刊论文 Lan Hao;Tong Yin;Guo Jin;Seatzu Carla
2 Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control 会议论文 Tong Yin;Cai Kai
3 Consensusability of Discrete-Time Linear Multi-Agent Systems with Multiple Inputs 期刊论文 Feng Tao;Zhang Jilie;Zhang Huaguang
4 Q-Learning Algorithm in Solving Consensusability Problem of Discrete-Time Multi-Agent Systems 期刊论文 Feng Tao;Zhang Jilie;Tong Yin;Zhang Huaguang
5 Detection and Prevention of Cyber Attacks in Networked Control Systems 会议论文 Li Yike;Tong Yin;Giua Alessandro
6 Comments on "A new approach for the verification of infinite-step and K -step opacity using two-way observers"[Automatica 80 (2017) 162-171] 期刊论文 Lan Hao;Tong Yin;Guo Jin;Giua Alessandro
7 Analysis of Strong and Strong Periodic Detectability of Bounded Labeled Petri Nets 期刊论文 Lan Hao;Tong Yin;Seatzu Carla
8 Verification of Detectability in Labeled Petri Nets 会议论文 Tong Yin;Lan Hao;Guo Jin
9 Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems 期刊论文 Feng Tao;Zhang Jilie;Tong Yin;Zhang Huaguang
10 Current-State Opacity Verification in Modular Discrete Event Systems 会议论文 Tong Yin;Lan Hao
11 Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions 期刊论文 Lan Hao;Tong Yin;Seatzu Carla
12 State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations 会议论文 Tong Yin;Luo Jiate;Seatzu Carla
13 Initial-State Estimation of Multi-Channel Networked Discrete Event Systems 期刊论文 Yue Yao;Yin Tong;Hao Lan
14 A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance 会议论文 Luo Jiate;Tong Yin;Cavone Graziana
15 Constrained Optimal Controller Design for Urban Metro Traffic Regulation 会议论文 Luo Jiate;Tong Yin
16 Verification of Infinite-step Opacity Using Labeled Petri Nets 会议论文 Lan Hao;Tong Yin;Seatzu Carla
17 Feasibility Verification of Train Operations Using Petri Nets 会议论文 Wang Luxi;Tong Yin;Wang Xiaomin
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享