BriefGPT.xyz
Jun, 2023
使用符号卓诺托普和多边形卓诺托普验证神经网络控制系统
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes
HTML
PDF
Carlos Trapiello, Christophe Combastel, Ali Zolghadri
TL;DR
本文提出了一种基于包含保持长期符号依赖性建模的组合方法,旨在分析神经网络控制系统的验证和安全评估,并通过数值实例和基准测试来评估该方法的有效性。
Abstract
Verification and safety assessment of
neural network controlled systems
(NNCSs) is an emerging challenge. To provide guarantees,
verification tools
must efficiently capture the interplay between the neural networ
→