托马斯·亨辛格(Thomas A.Henzinger)。;本杰明·霍洛维茨;鲁帕克·马朱姆达尔;Howard Wong-Toi,霍华德 超越高科技:使用区间数值方法进行混合系统分析。 (英语) Zbl 0938.93552号 Lynch,Nancy(编辑)等人,《混合系统:计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1790, 130-144 (2000). 关于整个系列,请参见[Zbl 0934.00029号]. 引用于17文件 MSC公司: 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 93B40码 系统理论中的计算方法(MSC2010) 软件:个人资料/偏差;高超声速 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1790年、130年至144年(2000年;Zbl 0938.93552)