×

多模DAE系统的隐式结构分析。 (英语) Zbl 07300861号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第20条,第11页(2020年)。

MSC公司:

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