Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
复制标题
网络物理系统的控制综合，以满足定时和执行器攻击下的度量间隔时间逻辑目标*
DOI：
10.1109/iccps48487.2020.00023
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Poovendran, Radha
中科院分区：
文献类型：
--
作者：
Niu, Luyao;Ramasubramanian, Bhaskar;Clark, Andrew;Bushnell, Linda;Poovendran, Radha
登录
查看更多内容
线性时态逻辑约束下的安全控制
DOI：
10.23919/acc.2018.8431595
发表时间：
2018
期刊：
Secure Control Under Linear Temporal Logic Constraints
影响因子：
--
作者：
Niu, Luyao;Clark, Andrew
通讯作者：
Clark, Andrew
DOI：
10.1145/2883817.2883842
发表时间：
2016
期刊：
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
R. Alur;Salar Moarref;U. Topcu
通讯作者：
U. Topcu
DOI：
10.1007/11867340_20
发表时间：
2006-09
期刊：
--
影响因子：
--
作者：
O. Maler;D. Ničković;A. Pnueli
通讯作者：
O. Maler;D. Ničković;A. Pnueli
DOI：
--
发表时间：
2018
期刊：
American Control Conference
影响因子：
--
作者：
A. Kulkarni;Jie Fu
通讯作者：
Jie Fu
随机定时游戏中的可达性
DOI：
--
发表时间：
2009
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
P. Bouyer;Vojtěch Forejt
通讯作者：
Vojtěch Forejt