Towards Bounded Synthesis of Resilient Supervisors

Towards Bounded Synthesis of Resilient Supervisors
复制标题

实现弹性监管者的有界综合

DOI：
--
复制
发表时间：
2019
期刊：
IEEE Conference on Decision and Control
影响因子：
--
通讯作者：
R. Su
R. Su
中科院分区：
--
文献类型：
--
作者：
Liyong Lin;Yuting Zhu;R. Su

文献摘要

被引文献

相似文献

在本文中，我们研究的安全方法，合成弹性监督联合执行器和传感器的攻击，为子类的网络物理系统，可以建模为离散事件系统。基于约束的弹性监督的有界合成的方法是通过减少它的QBF问题。
In this paper, we investigate the security approach of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be modeled as discrete-event systems. A constraint-based approach for the bounded synthesis of resilient supervisors is developed by reducing it to the QBF problem.