Secure Control in Partially Observable Environments to Satisfy LTL Specifications
Secure Control in Partially Observable Environments to Satisfy LTL Specifications
复制标题
在部分可观测环境中进行安全控制以满足 LTL 规范
DOI：
10.1109/tac.2020.3039484
复制
发表时间：
2020
影响因子：
6.8
通讯作者：
Poovendran, Radha
中科院分区：
文献类型：
--
作者：
Ramasubramanian, Bhaskar;Niu, Luyao;Clark, Andrew;Bushnell, Linda;Poovendran, Radha
登录
查看更多内容
DOI：
--
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Lihong Li;Thomas J. Walsh;M. Littman
通讯作者：
Lihong Li;Thomas J. Walsh;M. Littman
网络物理系统的控制综合，以满足定时和执行器攻击下的度量间隔时间逻辑目标*
DOI：
10.1109/iccps48487.2020.00023
发表时间：
2020
期刊：
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS
影响因子：
--
作者：
Niu, Luyao;Ramasubramanian, Bhaskar;Clark, Andrew;Bushnell, Linda;Poovendran, Radha
通讯作者：
Poovendran, Radha
使用时序逻辑规范在动态、部分已知环境下控制概率系统
DOI：
--
发表时间：
2012
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
T. Wongpiromsarn;Emilio Frazzoli
通讯作者：
Emilio Frazzoli
时间逻辑约束下联合控制和主动感知策略的综合
影响因子：
6.8
作者：
Jie Fu;U. Topcu
通讯作者：
U. Topcu
DOI：
10.1007/978-3-030-32430-8_23
发表时间：
2019-10
期刊：
ArXiv
影响因子：
--
作者：
Bhaskar Ramasubramanian;Luyao Niu;Andrew Clark;L. Bushnell;R. Poovendran
通讯作者：
Bhaskar Ramasubramanian;Luyao Niu;Andrew Clark;L. Bushnell;R. Poovendran