阿鲁尔，R。;库库贝蒂斯，C。;亨廷格，T。;何，P。;尼克林，X。;奥利维罗，A。;J.西法基斯。;尤文，S。 混合系统的算法分析。 （英语） Zbl 0823.68067号 Cohen，Guy（编辑）等人，第11届系统分析和优化国际会议：离散事件系统。索菲亚·安蒂波利斯，法国，1994年6月15日至17日。柏林：Springer-Verlag。莱克特。票据控制信息科学。199, 331-351 (1994). 摘要：我们将实时系统的时间自动机模型扩展为混合系统的形式化模型：虽然时间自动机的连续变量是测量时间的时钟，但混合系统的连续变量由任意微分方程控制。然后，我们采用时间自动机的验证方法来分析混合系统：当验证问题对于时间自动机是可判定的时，我们得到了连续变量以分段线性方式变化的一类混合系统的半决策过程。有关整个系列，请参见[Zbl 0811.00024号]. 引用于22文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：时间自动机模型;实时系统;混合系统 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。票据控制信息科学。199、331--351（1994；Zbl 0823.68067）