Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
复制标题
真实的护盾合成：增强网络物理系统的安全性
DOI：
10.23919/fmcad.2019.8894264
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Wang, Chao
中科院分区：
文献类型：
--
作者：
Wu, Meng;Wang, Jingbo;Deshmukh, Jyotirmoy;Wang, Chao
登录
查看更多内容
具有不可控事件的（定时）属性的强制执行
DOI：
--
发表时间：
2015
期刊：
International Colloquium on Theoretical Aspects of Computing
影响因子：
--
作者：
Matthieu Renard;Yliès Falcone;A. Rollet;Srinivas Pinisetty;Thierry Jéron;H. Marchand
通讯作者：
H. Marchand
护盾合成
影响因子：
0.8
作者：
Alshiekh, Mohammed;Bloem, Roderick;Humphrey, Laura;Topcu, Ufuk;Wang, Chao
通讯作者：
Wang, Chao
使用 Büchi 游戏执行运行时
影响因子：
1.8
作者：
Matthieu Renard;A. Rollet;Yliès Falcone
通讯作者：
Yliès Falcone
信号时态逻辑的参数不变监控
DOI：
--
发表时间：
2018
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Nima Roohi;R. Kaur;James Weimer;O. Sokolsky;Insup Lee
通讯作者：
Insup Lee
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Jun Liu;N. Ozay;U. Topcu;R. Murray
通讯作者：
R. Murray