赵恒军；曾、夏；陈、陶璐；刘志明；吉姆·伍德科克 学习具有屏障证书的安全神经网络控制器。 （英语） Zbl 1503.93022号 Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12153, 177-185 (2020). 摘要：我们提供了一种新的方法来综合非线性连续动力系统的控制器，该系统具有针对安全特性的控制。控制器基于神经网络（NN）。为了证明安全性能，我们使用屏障功能，屏障功能也由NN表示。我们同时训练控制器NN和屏障NN，实现了环路综合中的验证。我们提供了一个原型工具nncontroller和一些案例研究。初步实验结果证实了该方法的可行性和有效性。关于整个系列，请参见[Zbl 1493.68020号]。 引用于三文件 MSC公司： 93亿B50 合成问题 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T05型 人工智能中的学习和自适应系统 93立方厘米 控制理论中的非线性系统 关键词：连续动力系统；控制器综合；神经网络；安全验证；屏障证书 软件：nn控制器 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人，Lect。注释计算。科学。12153177--185（2020年；Zbl 1503.93022） 全文： 内政部 arXiv公司