×
范·比克，D.A。;曼，K.L。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。

混合Chi的语法和一致的等式语义。 （英语） Zbl 1088.68111号

J.日志。阿尔盖布。程序。 68，编号1-2，129-210（2006）.
摘要：混合形式主义将动力学和控制理论的概念与计算机科学的概念，特别是过程代数和混合自动机的概念相结合。它将建模的易用性与简单、结构化的操作语义相结合。它的“一致方程语义”强制状态更改与延迟谓词一致，延迟谓词结合了混合自动机的不变量和流子句。通过以下概念确保建模的方便性：（1）不同类别的变量：离散和连续、子类跳跃或非跳跃、代数；（2） 替代成分与可延迟保护相结合的强时间决定性；（3） 整合紧急行动和非紧急行动；（4） 微分代数方程作为数学中的过程项；（5） 稳态初始化；以及6）几个用户友好的语法扩展。此外，（chi）形式主义包含了复杂系统规范的几个概念：（1）集成抽象、局部变量、局部通道和局部递归定义的作用域的过程术语；（2） 过程定义和实例化，以实现过程的重用、封装、分层和/或模块化组合；以及（3）不同的交互机制：握手同步和同步通信，允许进程之间的交互而不共享变量，以及共享变量，允许连续时间或混合进程的模块化组合。通过几个示例说明了语法和语义。

引用于20文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题55 计算理论中的语义学
65年第68季度 形式语言和自动机

关键词：

进程代数;混成自动机

软件：

HSolver公司;基准;高超声速;自旋蛋白;RSOLVER公司;PHAVer公司;Uppaal公司
PDF格式BibTeX公司 XML格式引用
\textit{D.A.van Beek}等人，J.Log。阿尔盖布。程序。68，编号1--2，129-210（2006；Zbl 1088.68111）
全文： DOI程序

参考文献：

[1] Heemels，W.P.M.H。；舒特，B.D。；Bempoad，A.，混合动力模型的等效性，Automatica，37，7，1085-1091（2001）·Zbl 0990.93056号
[3] Filippov，A.F.，《不连续右手边微分方程》（1988），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0664.34001号
[4] Utkin，V.I.，《控制优化中的滑动模式》（1992年），《Springer-Verlag:Springer-Verlag Berlin》·Zbl 0748.93044号
[6] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Halbwachs，N。；亨辛格，T.A。；Ho，P.H。；尼克林，X。；奥利维罗，A。；西法基斯，J。；Yovine，S.，《混合系统的算法分析》，Theor。计算。科学。，138, 1, 3-34 (1995) ·Zbl 0874.68206号
[7] 阿鲁尔（Alur，R.）。；亨辛格，T.A。；Ho，P.H.，嵌入式系统的自动符号验证，IEEE Trans。软件工程，22，3，181-201（1996）
[8] Henzinger，T.A.，《混合自动机理论》（Inan，M.；Kurshan，R.，《数字和混合系统的验证》，《数字系统和混合系统验证》，北约ASI系列F：计算机和系统科学，第170卷（2000年），Springer-Verlag:Springer-Verlag New York），265-292·Zbl 0959.68073号
[9] van der Schaft，A.J。；Schumacher，J.M.，（混合动力系统导论，混合动力系统简介，控制与信息科学讲稿，第251卷（2000），Springer）·Zbl 0940.93004号
[10] 林奇，N。；塞加拉，R。；Vaandrager，F.，混合I/O自动机，Inform。计算。，185, 1, 105-157 (2003) ·Zbl 1069.68067号
[11] Lygeros，J。；Johansson，K.H。；西米奇，S。；张，J。；Sastry，S.，混合自动机的动力学性质，IEEE Trans。自动化。控制，48，1，2-17（2003）·Zbl 1364.93503号
[13] Schiffellers，R.R.H。；van Beek，D.A。；Man，K.L。；Reniers，医学硕士。；Rooda，J.E.，《混合Chi的形式语义》，（Larsen，K.G.；Niebert，P.，《时间系统的形式建模与分析：第一次国际研讨会》，FORMATS 2003。时间系统的形式化建模和分析：第一次国际研讨会，FORMATS 2003，计算机科学讲稿，第2791卷（2003），Springer-Verlag），151-165·Zbl 1099.68651号
[14] 亨辛格，T.A。；Ho，P.-H。；Wong Toi，H.，HyTech用户指南，（第一届系统构建和分析工具和算法国际会议。第一届系统构建和分析工具和算法国际会议，计算机科学讲义，第1019卷（1995年），施普林格出版社），41-71
[18] van Beek，D.A。；Rooda，J.E.，混合建模和仿真中的语言和应用：Chi的定位，控制工程实践。，8, 1, 81-91 (2000)
[20] Bos，V。；Kleijn，J.J.T.，制造系统的自动验证，机器人。计算。集成。制造商。，185-198年3月17日（2000年）·Zbl 0954.68086号
[24] Baeten，J.C.M。；Bergstra，J.A.，命题信号的过程代数，Theor。计算。科学。，177, 2, 381-405 (1997) ·Zbl 0901.68117号
[25] Bergstra，J.A。；Middelburg，C.A.，混合系统的过程代数，Theor。计算。科学。，335, 2/3, 215-280 (2005) ·Zbl 1080.68073号
[27] 穆萨维，M.R。；Reniers，医学硕士。；Groote，J.F.，《SOS与数据的互模拟和同余格式的概念》，Inform。计算。，200, 1, 107-147 (2005) ·Zbl 1082.68075号
[28] Park，D.M.R.，无限序列上的并发与自动机，（Deussen，P.，《第五届GI会议论文集》，第五届GIS会议论文集，LNCS，第104卷（1981），Springer），167-183·Zbl 0457.68049号
[29] Milner，R.，《通信系统微积分》，LNCS，第92卷（1980），Springer·Zbl 0452.68027号
[30] Baeten，J.C.M。；Verhoef，C.，《具体过程代数》（Abramsky，S.；Gabbay，D.；Maibaum，T.，《计算机科学逻辑手册》，《语义建模》，第4卷（1995），牛津大学出版社），149-268·Zbl 0876.68001号
[31] Cuijpers，P.J.L。；Reniers，M.A.，混合过程代数，逻辑代数杂志。程序。，62, 2, 191-245 (2005) ·Zbl 1090.68071号
[32] 圆形，W.C。；Song，H.，《演算：可重构嵌入式系统的分布式控制语言》，（Maler，O.；Pnueli，a.，《混合系统：计算与控制》，第六届国际研讨会。《混合系统∶计算与控制，第六期国际研讨会，计算机科学讲义》，第2623卷（2003），Springer-Verlag），435-449·Zbl 1032.93036号
[33] Jifeng，H.，《从CSP到混合系统》，（Roscoe，A.W.，《古典思维》，C.A.R.Hoare荣誉论文（1994），普伦蒂斯·霍尔），171-189
[34] Z.Chaochen。；纪伟。；Ravn，A.P.，《混合系统的形式化描述》，（Alur，R.；Henzinger，T.A.；Sonntag，E.D.，混合系统III-验证和控制，计算机科学讲义，第1066卷（1996），Springer-Verlag），511-530
[36] 丙酮。；福克金，W.J。；Verhoef，C.，《结构操作语义学》（Bergstra，J.；Ponse，A.；Smolka，S.，《过程代数手册》（2001），Elsevier），197-292，第3章·Zbl 1062.68074号
[37] 亨辛格，T.A。；何鸿燊。；Wong-Toi，H.，非线性混合系统的算法分析，IEEE Trans。自动化。控制，43，4，540-554（1998）·Zbl 0918.93019号
[38] Frehse，G.，PHAVer:HyTech过去混合系统的算法验证，（Morari，M.；Thiele，L.，hybrid systems:Computation and Control，第八届国际研讨会。hybrid-systems:计算与控制，第八期国际研讨会，计算机科学讲义，第3414卷（2005），Springer-Verlag），258-273·Zbl 1078.93533号
[39] Baeten，J.C.M。；Weijland，W.P.，《过程代数》，《剑桥理论计算机科学丛书》，第18卷（1990），剑桥大学出版社：剑桥大学出版社，英国剑桥·兹比尔0716.68002
[40] Baeten，J.C.M。；Middelburg，C.A.，《带时间的过程代数》，EACTS理论计算机科学专著（2002），Springer-Verlag·Zbl 1021.68063号
[43] 大卫·R。；Alla，H.，关于混合Petri网，离散事件动态。系统：理论应用。，11, 1-2, 9-40 (2001) ·Zbl 0969.93024号
[45] 阿鲁尔（Alur，R.）。；Dang，T。；埃斯波西托，J。；Hur，Y。；伊万奇，F。；库马尔，V。；李，I。；米什拉，P。；帕帕斯，G.J。；Sokolsky，O.，嵌入式系统的分层建模和分析，Proc。IEEE，91，1，11-28（2003）
[46] Henzinger，T.A.，Masaccio：嵌入式组件的正式模型（第一届IFIP理论计算机科学国际会议（TCS））。第一届IFIP国际理论计算机科学会议（TCS），《计算机科学讲义》，第1872卷（2000年），斯普林格-Verlag），549-563·Zbl 0998.93507号
[47] Hoare，C.A.R.，通信顺序过程，Commun。ACM，21、8、666-677（1978）·Zbl 0383.68028号
[49] Asarin，E。；O.伯内兹。；Dang，T。；Maler，O.，分段线性动力系统的近似可达性分析，（Lynch，N.A.；Krogh，B.H.，Hybrid systems:Computation and Control，Third International Workshop。Hybrid-systems:Calculation and Control，第三次国际研讨会，计算机科学讲义，第1790卷（2000），Springer-Verlag），20-31·兹伯利0938.93502
[50] 阿鲁尔（Alur，R.）。；Dang，T。；Ivanc̃ić，F.，通过谓词抽象对混合系统可达性分析的进展·Zbl 1032.93033号
[51] 克拉克，E。；Fehnker，A。；韩，Z。；Krogh，B.H。；俄勒冈州斯特斯伯格。；Theobald，M.，基于反例引导抽象的混合系统验证，（Garavel，H.；Hatcliff，J.，系统构建和分析的工具和算法。系统构建和分析的工具和算法，计算机科学讲义，第2619卷（2003），Springer Verlag），192-207·Zbl 1031.68078号
[52] Fehnker，A。；克拉克，E。；Jha，S.K。；Krogh，B.，使用反例片段细化混合系统的抽象，（Morari，M.；Thiele，L.，hybrid systems:Computation and Control，第八届国际研讨会。hybrid-systems:计算与控制，第八期国际研讨会，计算机科学讲义，第3414卷（2005），Springer-Verlag），242-257·Zbl 1078.93041号
[53] Ratschan，S。；She，Z.，通过基于约束传播的抽象求精对混合系统进行安全验证，（Morari，M.；Thiele，L.，hybrid systems:Computation and Control，8th International Workshop。hybrid-systems:计算与控制，8th国际研讨会，计算机科学讲义，第3414卷（2005），Springer-Verlag），573-589·Zbl 1078.93508号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。