Verification of machine learning based cyber-physical systems: a comparative study
Verification of machine learning based cyber-physical systems: a comparative study
复制标题
基于机器学习的网络物理系统的验证：比较研究
DOI：
10.1145/3501710.3519540
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
C. Pagetti
中科院分区：
文献类型：
--
作者：
Arthur Clavière;Laura Altieri Sambartolomé;E. Asselin;C. Garion;C. Pagetti
在本文中，我们对现有的验证网络物理系统安全性的形式化方法与基于机器学习的控制器进行了比较。我们重点研究了一种特殊形式的基于机器学习的控制器，即基于多神经网络的分类器，其体系结构对于嵌入式应用特别感兴趣。我们比较了精确和近似验证技术，基于几个真实世界的基准，例如无人驾驶飞行器的防撞系统。
In this paper, we conduct a comparison of the existing formal methods for verifying the safety of cyber-physical systems with machine learning based controllers. We focus on a particular form of machine learning based controller, namely a classifier based on multiple neural networks, the architecture of which is particularly interesting for embedded applications. We compare both exact and approximate verification techniques, based on several real-world benchmarks such as a collision avoidance system for unmanned aerial vehicles.
DOI：
10.15607/rss.2018.xiv.056
发表时间：
2017-09
期刊：
Robotics: Science and Systems XIV
影响因子：
--
作者：
Yunpeng Pan;Ching-An Cheng;Kamil Saigol;Keuntaek Lee;Xinyan Yan;Evangelos A. Theodorou;Byron Boots
通讯作者：
Yunpeng Pan;Ching-An Cheng;Kamil Saigol;Keuntaek Lee;Xinyan Yan;Evangelos A. Theodorou;Byron Boots
ACAS Xu查找表神经网络压缩星集可达性验证
DOI：
10.2514/6.2021-0995
发表时间：
2021
期刊：
AIAA Scitech 2021 Forum
影响因子：
--
作者：
Manzanas Lopez, Diego;Johnson, Taylor;Tran, Hoang-Dung;Bak, Stanley;Chen, Xin;Hobbs, Kerianne L.
通讯作者：
Hobbs, Kerianne L.