尤拉杰·科尔查克;一郎·哈索;杰雷米·杜布特;胜本,Shin-ya;戴维·斯普伦格;秋久山田 海报摘要:关系微分动态逻辑。 (英语) 兹伯利07120175 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。284-285 (2019). 有关整个系列,请参见[Zbl 1411.93004号]. MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:计算机物理系统;微分方程;动态逻辑;形式验证;混合动力系统;关系推理;定理证明 软件:凯伊迈拉 PDF格式BibTeX公司 XML格式引用 \textit{J.Kolák}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。284——285(2019年;Zbl 07120175) 全文: 内政部