系统安全性验证
文章平均质量分 94
zoe_ed
这个作者很懒,什么都没留下…
展开
-
【阅读笔记】Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
论文链接J. F. Groote and K. G. Larsen (Eds.)目录introductionSafety Analysis with Barrier CertificatesSynthesis of Neural Barrier Certificates via Learning and VerificationTraining of the Barrier Neural NetworkCertification of the Barrier Neural Network, or Fals原创 2021-12-14 17:13:18 · 3262 阅读 · 0 评论 -
【笔记】Probabilistic Verification of Learning-Enabled Cyber-Physical Systems using Conformal Regression
目录摘要Introduction摘要由于机器学习组件的复杂性、非线性和参数空间大等特点,给网络物理系统的验证带来了巨大的挑战。在这项工作中,我们提出了一个新的概率验证框架,为学习支持的CPS,它可以搜索整个(无限)空间的参数,计算出由信号时间逻辑(STL)公式捕获的导致满足或违反规范的事件我们的技术是基于正形回归( conformal regression,?),这是一种利用有限样本构造具有边际覆盖保证的预测区间的技术,不需要对分布和回归模型做任何假设。我们的验证框架,使用正形回归,可以预测系统轨原创 2020-05-27 16:01:42 · 521 阅读 · 0 评论 -
【论文笔记】Safe Learning of Quadrotor Dynamics Using Barrier Certificates
2018 IEEE International Conference on Robotics and Automation (ICRA)May 21目录摘要introductionPRELIMINARIES OF BARRIER CERTIFICATES AND GAUSSIAN PROCESSA.障碍证书和集合不变式B.高斯过程(GP)SAFE LEARNING WITH BARRIER CERTIFICATESA. 状态空间的自适应采样B.壁垒证书的参数化安全学习算法概述四旋翼动力学在线学习A.三维四原创 2020-05-13 20:04:08 · 1009 阅读 · 0 评论