×
黄文浩;贝尔纳·齐格勒（Bernard P.Zeigler）。

可验证的层次时钟系统的表达。 （英语） Zbl 1222.68114号

国际通用系统杂志。 37，第4号，391-413（2008）.
摘要：多分量离散事件系统的建模与分析是一个具有挑战性的研究领域。30多年来，离散事件系统规范（DEVS）的建模与仿真研究已发展为（1）密集时间，（2）I/O概念，（3）分层模型构建。尽管如此，考虑到整个DEVS的研究历史，DEVS模型验证研究是最近才开始的。与此同时，在15年多的时间里，自动机理论已经发展到涵盖离散事件系统的密集时间行为验证。尤其是时间自动机（TA）在该领域发挥了关键作用。
本文以DEVS和TA理论的研究成果为基础。因此，可以从各个方面看到本文的贡献。从DEVS理论的观点来看，有限的和不确定的DEVS被发现是一个可验证的类。从TA理论的观点出发，提出了一种模块化、层次化、可验证的TA。为了显示结果，本文使用了自顶向下的方式，首先定义了一般形式，然后引入了它的子类。

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
93元65角 离散事件控制/观测系统
65年第68季度 形式语言和自动机
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

一般动力系统;分层I/O时钟系统;开发与虚拟现实;时间自动机;验证

软件：

CLOS公司
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Hwang}和\textit{B.P.Zeigler}，《国际遗传学系统》。37，第4号，391--413（2008；Zbl 1222.68114）
全文： 内政部

参考文献：

[1] 内政部：10.1007/3-540-48683-6_3·doi:10.1007/3-540-48683-63
[2] 内政部：10.1006/inco.1993.1024·Zbl 0783.68076号 ·doi:10.1006/inco.1993.1024
[3] 内政部：10.1016/0304-3975（94）90010-8·兹比尔0803.68071 ·doi:10.1016/0304-3975（94）90010-8
[4] Alur R.，第三届并发理论会议记录第340页–（1992）
[5] Behrmann G.，《计算机辅助验证程序》（1999年）
[6] Bozga M.，《计算机辅助验证程序》第179页–（1997年）·doi:10.1007/3-540-63166-6_19
[7] Cutler M.，冬季模拟会议记录第83页–（1980）
[8] Dill D.L.，有限状态系统计算机辅助验证方法研讨会论文集，第197页–（1989）
[9] 内政部：10.1007/BFb0055640·doi:10.1007/BFB055640
[10] Ho，Y.C.，1993年。转发到特刊。离散事件动态系统：理论与应用，第111页
[11] Hocaoglu，M.F.，Zeigler，C.F.B.P.和Sarjoughian，H.S.2004。”时间系统识别和模型验证”。2004年基金会会议记录：21世纪V&V研讨会，亚利桑那州坦佩：美国国防部。10月13日至15日
[12] Hong G.P.，《计算机模拟学会学报》13第19页–（1996）
[13] Hong K.J.，第13届高自主系统人工智能、模拟和规划国际会议论文集，第257页-（2005）
[14] 霍普克罗夫特J.E.，自动机理论、语言和计算导论，2。编辑（2000）
[15] Hwang M.H.，2005年IEEE-CASE会议记录（2005）
[16] Hwang M.H.，《2005年春季模拟多会议论文集：2005年DEVS研讨会论文集》（2005）
[17] 内政部：10.1177/003754979907200203·doi:10.1177/003754979907200203
[18] Hwang，M.H.和Zeigler，B.P.2006a。”使用有限确定性DEVS的模块化验证框架”。2006年春季模拟会议记录：2006年DEVS研讨会记录57–65。4月2日至8日，亚利桑那州亨茨维尔
[19] Hwang M.H.，《2006年春季模拟多会议纪要：2006年DEVS研讨会纪要》，第48页–（2006）
[20] 内政部：10.1137/S1064827502418379·Zbl 1061.65060号 ·doi:10.1137/S1064827502418379
[21] 刘易斯，R.W.，1998年。使用IEC 1131-3（修订版）编程工业控制系统（电气工程师学会）
[22] 内政部：10.1080/03081079108935175·Zbl 0754.93002号 ·网址：10.1080/03081079108935175
[23] DOI:10.1007/BF01439846·Zbl 0800.93091号 ·doi:10.1007/BF01439846
[24] Sargent R.G.，第25届冬季模拟会议论文集（1993）
[25] Skahill K.，可编程逻辑的VHDL（1996）
[26] DOI:10.1023/A:1008734703554·Zbl 0971.68096号 ·doi:10.1023/A:1008734703554
[27] 王杰，时间petri网：理论与应用（1998）·兹比尔0924.68147
[28] Zeigler B.P.，建模与仿真理论，1。编辑（1976）·Zbl 0352.68122号
[29] Zeigler B.P.，多面建模和离散事件模拟，1。编辑（1984）·Zbl 0566.68082号
[30] Zeigler B.P.，面向对象仿真与分层模块化模型：智能代理和内态系统，2。编辑（1990）·兹伯利0698.68093
[31] Zeigler，B.P.2006年。”将DEV和DESS嵌入DEVS：混合模型的特征行为”。2006年春季模拟多会议记录：DEVS综合建模与仿真研讨会，125-132。亚利桑那州亨茨维尔：SCS。
[32] 内政部：10.1109/21.199467·数字对象标识代码：10.1109/21.199467
[33] Zeigler B.P.，建模与仿真理论：集成离散事件和连续复杂动态系统，2。编辑（2000）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。