拉多斯拉夫·伊万诺夫;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 验证:使用神经网络控制器验证混合系统的安全特性。 (英语) Zbl 07120152号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。169-178 (2019). 引用于18文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:具有神经网络控制器的混合系统;支持学习的组件;神经网络验证 PDF格式BibTeX公司 XML格式引用 \textit{R.Ivanov}et al.,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。169-178(2019年;Zbl 07120152) 全文: DOI程序 arXiv公司