论文标题
使用机器学习组件对网络物理系统的保证监控
Assurance Monitoring of Cyber-Physical Systems with Machine Learning Components
论文作者
论文摘要
机器学习组件(例如深神经网络)在网络物理系统(CPS)中广泛使用。但是,他们可能会引入新型危害,这些危害可能带来灾难性的后果,并且需要解决工程值得信赖的系统。尽管深度神经网络提供了高级功能,但必须通过工程方法和实践来补充,这些方法和实践允许在CPS中有效整合。在本文中,我们研究了如何使用机器学习组件对CPS进行保证监控的保证监控。为了实时处理高维输入,我们使用学习模型的嵌入表示来计算不合格得分。通过利用共形预测,该方法提供了良好的置信度,并可以监视,以确保有限的较小错误率,同时限制无法进行准确预测的输入数量。使用德国交通标志识别基准和机器人导航数据集的经验评估结果表明,在警报数量很少时,错误率得到了良好的计算。该方法在计算上是有效的,因此,该方法有望用于保证CPS的保证监测。
Machine learning components such as deep neural networks are used extensively in Cyber-Physical Systems (CPS). However, they may introduce new types of hazards that can have disastrous consequences and need to be addressed for engineering trustworthy systems. Although deep neural networks offer advanced capabilities, they must be complemented by engineering methods and practices that allow effective integration in CPS. In this paper, we investigate how to use the conformal prediction framework for assurance monitoring of CPS with machine learning components. In order to handle high-dimensional inputs in real-time, we compute nonconformity scores using embedding representations of the learned models. By leveraging conformal prediction, the approach provides well-calibrated confidence and can allow monitoring that ensures a bounded small error rate while limiting the number of inputs for which an accurate prediction cannot be made. Empirical evaluation results using the German Traffic Sign Recognition Benchmark and a robot navigation dataset demonstrate that the error rates are well-calibrated while the number of alarms is small. The method is computationally efficient, and therefore, the approach is promising for assurance monitoring of CPS.