SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties
复制标题
时序不确定性下信息物理系统中基于 SMT 的控制安全属性检查
DOI：
--
复制
发表时间：
2024
期刊：
影响因子：
--
通讯作者：
Chakraborty, Samarjit
中科院分区：
文献类型：
--
作者：
Yeolekar, Anand;Metta, Ravindra;Chakraborty, Samarjit
登录
查看更多内容
混合关键系统的虚拟时序隔离
DOI：
10.4230/lipics.ecrts.2018.13
发表时间：
2018
期刊：
Microprocess. Microsystems
影响因子：
--
作者：
Johannes Freitag;S. Uhrig;T. Ungerer
通讯作者：
T. Ungerer
影响因子：
20.6
作者：
Qi Zhu;A. Sangiovanni-Vincentelli
通讯作者：
Qi Zhu;A. Sangiovanni-Vincentelli
DOI：
10.1145/2038642.2038683
发表时间：
2011
期刊：
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
M. Broy;S. Chakraborty;Dip Goswami;S. Ramesh;M. Satpathy;S. Resmerita;W. Pree
通讯作者：
W. Pree
重新设计混合通信协议的网络物理控制应用
DOI：
10.1109/date.2011.5763148
发表时间：
2011
期刊：
2011 Design, Automation & Test in Europe
影响因子：
--
作者：
Dip Goswami;Reinhard Schneider;S. Chakraborty
通讯作者：
S. Chakraborty
实现平台时序不确定性下嵌入式控制器的安全分析
DOI：
10.1109/tcad.2022.3198905
发表时间：
2022
影响因子：
2.9
作者：
Hobbs, Clara;Ghosh, Bineet;Xu, Shengjie;Duggirala, Parasara Sridhar;Chakraborty, Samarjit
通讯作者：
Chakraborty, Samarjit