Fehnker，Ansgar公司；布鲁斯·克罗格 混合动力系统验证不是一件闲事——电子节气门控制案例研究。 （英语） Zbl 1096.68670号 发现的国际期刊。计算。科学。 17，第4期，885-901（2006）. 摘要：虽然模型检查本身是一个完全自动化的过程，但使用模型检查验证混合系统设计的正确性却不是。本文描述了从问题的非正式描述到正式模型和需求的最终验证结果的必要步骤和要做出的选择。它使用汽车控制系统进行说明。 引用于1文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 93立方厘米 控制理论中的应用模型 关键词：模型检查 PDF格式BibTeX公司 XML格式引用 \textit{A.Fehnker}和\textit{B.Krogh}，国际期刊发现。计算。科学。17，编号4885-901（2006年；兹bl 1096.68670） 全文： 内政部 参考文献： [1] 阿格拉瓦尔A.，Electr。注释Theor。计算。科学。109 [2] Clarke E.M.，模型检查（2000） [3] 内政部：10.1007/s100090050008·Zbl 1060.68603号 ·doi:10.1007/s100090050008 [4] 内政部：10.1109/9.664156·Zbl 0918.93019号 ·数字对象标识代码：10.1109/9.664156 [5] Huuck R.，LNCIS 279，in：混合系统的建模、分析和设计（2002） [6] Kapinski J.，计算机辅助控制系统设计（2002） [7] Utkin V.，《IEEE自动控制汇刊》22第212页–·Zbl 0382.93036号 ·doi:10.1109/TAC.1977.1101446 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。