×

TIRA:区间可达性分析工具箱。 (英语) Zbl 07120158号

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。224-229 (2019).

MSC公司:

第68季度第45季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
PDF格式BibTeX公司 XML格式引用