×
戈登，鲍里斯;马克·艾吉尔;丹尼尔·克罗布

复杂系统建模。二： 异构集成系统的最低限度和统一语义。 （英语） Zbl 1244.93019号

申请。数学。计算。 218，第16号，8039-8055（2012）.
摘要：本文的目的是为复杂系统建模提供一个统一的形式化框架。为此，我们为包括集成运算符在内的系统定义了统一的语义。我们将复杂系统视为功能黑箱（具有内部状态），其结构和行为可以通过异构组件的递归集成来构建。我们首先引入了时间（允许统一处理连续时间和离散时间）和数据（允许处理异构数据）的正式定义，并引入了数据流的通用同步机制。然后，我们将系统定义为以耦合函数和状态行为为特征的数学对象。这个定义的表达能力足以捕捉到任何具有顺序转换的实际系统的功能行为。最后，我们给出了集成系统的形式化算子，并证明了它们与这些算子对模拟实际系统的传递函数的经典定义是一致的。

引用于2文件

MSC公司：

93A30型 系统数学建模（MSC2010）
93甲15 大型系统

关键词：

复杂系统;系统建模;系统语义;系统工程;系统集成;定时粉碎机;混合时间;非标准分析

软件：

酯类;卢斯特
PDF格式BibTeX公司 XML格式引用
\textit{B.Golden}等人，应用。数学。计算。218、16号、8039--8055（2012；Zbl 1244.93019）
全文： 内政部 链接

参考文献：

[1] Alesken，E。；Belcher，R.，系统工程（1992），普伦蒂斯·霍尔
[2] 阿鲁尔（Alur，R.）。；库尔库贝蒂斯，C。；Halbwachs，N。；Henzinger，T.A。；何鸿燊。；尼克林，X。；奥利维罗，A。；Sifakis，J。；Yovine，S.，《混合系统的算法分析》，Theor。计算。科学。，138, 3-34 (1995) ·Zbl 0874.68206号
[3] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Henzinger，T。；Ho，P.H。；尼克林，X。；奥利维罗，A。；Sifakis，J。；Yovine，S.，《混合系统的算法分析》，（系统分析和优化国际会议-离散事件系统。系统分析和最优化国际会议-分散事件系统，控制和信息科学讲稿（1994年），斯普林格-Verlag），331-351·Zbl 0823.68067号
[4] 培根，J。；Linden，J.V.D.，《并发系统：操作系统的集成方法》。并发系统：操作系统的集成方法，分布式系统和数据库（2002），Addison-Wesley Longman Publishing Co.，Inc.：Addison-Whesley Longman出版社，Inc.美国马萨诸塞州波士顿
[5] Berry，G.，《埃斯特雷尔基金会》（2000年），麻省理工学院出版社
[6] 布兰查德，B.S。；Fabrycky，W.J.，系统工程与分析（1998），Prentice Hall
[7] Bliudze，S。；Krob，D.，《复杂系统建模：系统作为数据流机器》，Fundam。通知。，91, 1-24 (2009)
[8] I.S.委员会，IEEE标准VHDL语言参考手册（IEEE Std.1076-1993），IEEE（1994）。；I.S.委员会，IEEE标准VHDL语言参考手册（IEEE标准1076-1993），IEEE（1994）。
[9] O.Bournez，M.L.Campagnolo，《新计算范式》。改变什么是可计算的概念，新计算范式。《改变什么是可计算的概念》，Springer-Verlag出版社，2008年，第383-423页。；O.Bournez，M.L.Campagnolo，《新计算范式》。改变什么是可计算的概念，新计算范式。《改变什么是可计算的概念》，Springer-Verlag，2008年，第383-423页·Zbl 1130.68005号
[10] 布罗伊，M。；Stefaánescu，G.，流处理函数代数，Theor。计算。科学。，258, 99-129 (2001) ·Zbl 0973.68172号
[11] 布罗伊，M。；Stölen，K.，《交互系统的规范和开发：关注流、接口和优化》（2001），Springer-Verlag:Springer-Verlag New York，Inc.美国新泽西州Secaucus·Zbl 0981.68115号
[12] Cha，D。；罗森伯格，J。；Dym，C.，《工程系统建模与分析基础》（2000），剑桥大学出版社
[13] 克利福德，A.H。；普雷斯顿，G.B.，《半群代数理论》，数学。调查7，Amer。数学。Soc.，R.I.（1961年）·Zbl 0111.03403号
[14] P.Cousot，R.Cousot:抽象解释：通过构建或近似不动点对程序进行静态分析的统一格模型，见：第四届ACM编程语言原理研讨会会议记录。；P.Cousot，R.Cousot:《抽象解释：通过构建或近似不动点对程序进行静态分析的统一格模型》，载于：第四届ACM编程语言原理研讨会会议记录·Zbl 1149.68389号
[15] Diener，F。；Reeb，G.，《非标准分析》（1989），赫尔曼·Zbl 0682.26010号
[16] N.Halbwachs，P.Caspi，P.Raymond，D.Pilaud，同步数据流编程语言光泽，收录于：IEEE会议录，第79卷。；N.Halbwachs，P.Caspi，P.Raymond，D.Pilaud，同步数据流编程语言光泽，收录于：IEEE会议记录，第79卷。
[17] Harthong，J.，《继续的梦想》，阿斯特里斯克，109/110，235-244（1983）·Zbl 0543.03038号
[18] J.Harthong，une théorie du continui，载：H.Barreau，J.Harthong（编辑），《非标准数学》，《CNRS条件》，1989年，第307-329页。；J.Harthong，une theéorie du continu，收录于：H.Barreau，J.Harthong（编辑），《非标准数学》，《国家自然科学研究院条件》，1989年，第307-329页·Zbl 0804.03049号
[19] G.Kahn，并行编程简单语言的语义，J.L.Rosenfeld（编辑），信息处理，北荷兰，阿姆斯特丹，斯德哥尔摩，瑞典，1974年，第471-475页。；G.Kahn，《并行编程简单语言的语义》，J.L.Rosenfeld（Ed.），《信息处理》，北荷兰，阿姆斯特丹，斯德哥尔摩，瑞典，1974年，第471-475页·Zbl 0299.68007号
[20] Kosiuczenko，P。；Wirsing，M.，Timed重写逻辑与基于对象规范的应用，科学。计算。程序。，28, 225-246 (1997) ·Zbl 0877.68071号
[21] D.Krob，《复杂软件系统建模：理性概述》，载于：E.Najm、J.Pradat-Peyre、V.Donzeau-Gouge（编辑），《网络化和分布式系统的形式化技术-FORTE 2006》，《计算机科学讲稿》第4229卷，斯普林格-柏林/海德堡，2006年，第1-22页。；D.Krob，《复杂软件系统建模：理性概述》，载于：E.Najm、J.Pradat-Peyre、V.Donzeau-Gouge（编辑），《网络化和分布式系统的形式化技术-FORTE 2006》，《计算机科学讲稿》第4229卷，斯普林格-柏林/海德堡，2006年，第1-22页·Zbl 1225.68080号
[22] J.Lygeros，混合系统讲稿，摘自：ENSIETA研讨会讲稿。；J.Lygeros，混合系统讲稿，摘自：ENSIETA研讨会讲稿。
[23] 迈尔，M.W。；Rechtin，E.，《系统架构的艺术》（2002），CRC出版社
[24] Marwedel，P.，嵌入式系统设计（2003），Kluwer·Zbl 1109.68383号
[25] Mealy，G.H.，《合成时序电路的方法》，贝尔系统。《技术期刊》，第34期（1955年）
[26] Nelson，E.，《内部集理论：非标准分析的新方法》，布尔。阿默尔。数学。Soc.，831165-1198（1977年）·Zbl 0373.02040号
[27] Rabinovitch，A.，《连续时间的自动机》，Theor。计算。科学。，300, 331-363 (2003) ·Zbl 1028.68082号
[28] Robert，F.，Les systèmes dynamics discrets，数学。申请。，19 (1994)
[29] Robinson，A.，《非标准分析》（1974），美国爱思唯尔出版社·Zbl 0151.00803号
[30] A.P.Sage，J.E.Amstrong，《系统工程导论》，John Wiley，2000年。；A.P.Sage，J.E.Amstrong，《系统工程导论》，John Wiley，2000年。
[31] 谢尔盖耶夫（Sergeyev，Y.），《一种用于执行无限和无穷小量计算的新应用方法》，Informatica，19567-596（2008）·Zbl 1178.68018号
[32] Sontag，E.，《数学控制理论：确定性有限维系统》。数学控制理论：确定性有限维系统，应用数学教材，第6卷（1998年），Springer-Verlag·兹比尔0945.93001
[33] Trakhtenbrot，B.，《理解连续时间设置中的基本自动机理论》，Fundam。通知。，62 (2003) ·Zbl 1082.68060号
[34] J.Zaytoun，Systèmes dynamicques hybrides，爱马仕，2001年。；J.Zaytoun，Systèmes dynamicques hybrides，爱马仕，2001年。
[35] Zeigler，B.P。；Praehofer，H。；Gon，K.T.，《建模与仿真理论——集成离散事件和连续复杂动态系统》（2000），学术出版社
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。