Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
复制标题
使用时间认知逻辑的故障检测和识别组件的形式化设计
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Tonetta
中科院分区：
文献类型：
--
作者：
M. Bozzano;A. Cimatti;M. Gario;S. Tonetta
故障自动检测和及时恢复是自主关键系统的基本特征。故障检测和识别（FDI）组件的设计是通过从传感器读取数据并触发预定义警报来检测故障。
Automated detection of faults and timely recovery are fundamental features for autonomous critical systems. Fault Detection and Identification (FDI) components are designed to detect faults on-board, by reading data from sensors and triggering predefined alarms.