BriefGPT.xyz
Ask
alpha
关键词
guaranteed distance
搜索结果 - 1
利用保证神经网络模型简化进行神经网络控制系统的安全验证
本文提出了一种神经网络模型减缩的方法,通过精确计算模型减缩精度,将减缩后的神经网络控制器替换成封闭回路系统,进而提高安全验证的计算效率,并通过自适应巡航控制系统的案例验证了方法的有效性。
PDF
a year ago
Prev
Next