托勒密

托勒密的模块化形式语义。托勒密是一个开源的、可扩展的建模和仿真框架。它提供了异构的建模能力，允许不同的计算模型，无论是定时和定时，以任意方式分层组合。本文提出了一种形式化的语义托勒密，这是模块化的意义上，原子演员和他们的作品以统一的方式对待。特别是，所有的演员符合一个可执行的接口，它包含四个功能：FILL（给定当前状态和输入的输出输出）；PASTION（即时更新状态）；最后期限（演员愿意花费多少时间）；和时间更新（随着时间的推移更新状态）。使用托勒密中的复合算子获得复合行动者。不同的董事意识到不同的计算模型。在本文中，我们对以下模型进行了形式化的定义：同步反应、离散事件、连续时间、过程网络和模态模型。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（77篇文章中引用）

显示结果1至20的77。
按年份排序（引文）
  1. Fiadeiro，约瑟夫；Lopes，蚂蚁，NelaHaye，Beoo`t；Leay，阿克塞尔：异构时间机器的动态网络（2018）
  2. 塞西亚，Sanjit A.；Sharygina，娜塔莎；Tripakis，斯塔夫罗斯：验证模型（2018）
  3. Ameur Boulifa，R；Henrio，L.；Kulankhina，O.；马德兰，E；萨武，A:异步组件的行为语义（2017）
  4. 本维尼斯特，艾伯特；伯克，蒂莫西；CayaOd，班诺特；帕加诺，布鲁诺；PouZET，贾景晖：混合系统建模者因果环路的基于类型的分析（2017）
  5. 陈，明帅；Ravn，Anders P.；王，舒灵；杨，Mengfei；Pig，y:嵌入式系统形式设计与非正式设计之间的双向路径（2017）
  6. 阿蒂，保罗；巴拉诺夫，Eduard；布吕兹，西蒙；贾比尔，Mohamad；萨弗基斯，萨弗基斯：建筑可组合性的一般框架（2016）
  7. 斯蒂法诺，FrHeSE，Goran：从仿真模型到使用紧急和放松的混合自动机（2016）
  8. 萨弗基斯，约瑟夫；Bensalem，Saddek；BuluZez，西蒙；BoZGA，马吕斯：基于组件的设计理论议程（2015）
  9. Delahaye、贝诺、费迪迪罗、约瑟夫路易斯、莱吉、阿克塞尔、Lopes、阿特尼亚：异质时间机器（2014）
  10. 李，Edward A.：构造性碰撞（2014）
  11. Lozoya，CAMILO；马太，保罗，VelasCO，Munel；FueTes，Josep M.；马丁，Enclix X.：实时嵌入式控制系统中的资源和性能权衡（2014）伊波尔特
  12. MiMuli，斯蒂法诺；Frh，Goran：线性混合自动机的非凸不变量和紧急条件（2014）
  13. Eyisi，埃米卡；张，Zhenkai；KutoukOS，ExoFon；波特，约瑟夫；Karsai，Gabor；SZTiPANVOVITS，JANOS：基于模型的控制设计和网络物理系统的集成：一个自适应巡航控制案例研究（2013）
  14. 林，奚；张，何华；顾，明：OntCheck：一种基于本体驱动的基于组件模型的静态正确性检查工具（2013）
  15. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2013）
  16. 米洛，Jean Vivien；de Simone，罗伯特：在处理器阵列上实现元胞自动机的显式路由方案（2013）
  17. Tripakis，StavrOS；Sistigou.，Christos；Saver，克里斯；李，Edward A.：托勒密的模块化形式语义（2013）
  18. 湛，Naijun；王，Shuling；赵，Hengjun：混杂系统的形式化建模、分析和验证（2013）
  19. BAE，Kyungmin；U.LveCZKY，Peter Csaba；冯，Thomas Huining；李，Edward A.；Tripakis，Stavrs:用实时Maod（2012）验证分层第二类离散事件模型
  20. Cong，杰森；Gururaj，Karthik；张，彭；祖河，Y:基于并发集合的硬件综合任务级数据模型（2012）伊波尔特

进一步的出版物可以在：HTTP//PtoMe.EcS.Belkele.Edu/Pusiths/Dex.HTM