托勒密

托勒密的模块形式语义学。托勒密是一个开源的、可扩展的建模和仿真框架。它提供了异构建模功能,允许以任意方式分层组合不同的计算模型,包括不定时的和定时的。本文提出了托勒密的形式语义学,它是模块化的,在这个意义上,原子行为体及其组成被统一地处理。特别是,所有的参与者都符合一个包含四个功能的可执行接口:fire(根据当前状态和输入生成输出);postfire(即时更新状态);最后期限(演员愿意让多少时间过去);和时间更新(随着时间的推移更新状态)。复合演员是使用合成运算符获得的,在托勒密,被称为导演。不同的控制器实现不同的计算模型。在本文中,我们正式定义了下列计算模型的控制器:同步-反应、离散事件、连续时间、过程网络和模态模型。


zbMATH中的参考文献(参考文献80篇文章)

显示第1到第20个结果,共80个。
按年份排序(引用)
  1. 徐、熊;王淑玲;詹伯华;晋、湘玉;塔尔平,让·皮埃尔;詹乃军:AADL与simulink/stateflow相结合的网络物理系统统一图形化协同建模、分析与验证(2022)
  2. 巴拉诺夫,爱德华德;Bliudze,Simon:基于组件的框架的表现力:BIP表达能力的研究(2020)
  3. 菲亚迪罗,何塞;洛佩斯,安托尼亚;德拉哈耶,贝诺;Legay,Axel:异构时间机器的动态网络(2018)
  4. 塞希亚,桑吉特A。;莎莉吉娜,娜塔莎;Tripakis,Stavros:验证建模(2018)
  5. 阿默尔·鲍利法,右。;亨利奥,L。;奥兰基纳。;马德兰,E。;Savu,A.:异步组件的行为语义(2017)
  6. 阿尔伯特,本维尼斯特;伯克,提摩太;凯劳德,贝诺伊特;帕加诺,布鲁诺;Pouzet,Marc:混合系统建模者中基于类型的因果循环分析(2017)
  7. 陈明帅;拉文,安德斯P。;王淑玲;杨孟飞;詹乃军:嵌入式系统正式与非正式设计的双向路径(2017)
  8. 阿蒂,保罗;巴拉诺夫,爱德华德;傻了,西蒙;贾比尔,穆罕默德;Sifakis,Joseph:体系结构可组合性的一般框架(2016)
  9. 巴拉诺夫,爱德华德;Bliudze,Simon:BIP的表现力注释(2016)
  10. 米诺波利,斯特凡诺;Frehse,Goran:从仿真模型到使用紧急和松弛的混合自动机(2016)
  11. 斯法基斯,约瑟夫;本撒伦,萨德克;傻了,西蒙;Bozga,Marius:基于组件的设计理论议程(2015)
  12. 德拉哈耶,贝诺;菲亚迪罗,何塞·路易斯;勒盖,阿克塞尔;Lopes,Antónia:异构定时机器(2014)
  13. Lee,Edward A.:建设性碰撞(2014)
  14. 洛佐亚,卡米洛;马蒂,保罗;贝拉斯科,马内尔;富尔特斯,约瑟普·M。;Martin,Enrix X.:实时嵌入式控制系统中的资源和性能权衡(2014)ioport公司
  15. 米诺波利,斯特凡诺;Frehse,Goran:线性混合自动机的非凸不变量和紧急条件(2014)
  16. 埃伊西,埃米卡;张振凯;库特苏科斯,色诺丰;波特,约瑟夫;卡赛,加博;Sztipanovits,Janos:基于模型的控制设计和网络物理系统的集成:自适应巡航控制案例研究(2013)
  17. 林,喜;张和华;顾明:OntCheck:本体驱动的组件模型静态正确性检查工具(2013)
  18. 梅斯盖尔,何塞;Roşu,Grigore:重写逻辑语义项目:进度报告(2013)
  19. 米洛,让·费雯;de Simone,Robert:在处理器阵列上实现元胞自动机的显式路由方案(2013)
  20. 特里帕基斯,斯塔夫罗斯;斯特吉奥,克里斯托斯;剃须刀,克里斯;Lee,Edward A.:托勒密的模块形式语义学(2013)

更多出版物请访问:http://ptolemy.eecs.berkeley.edu/publications/index.htm