托勒密 swMATH ID: 7459 软件作者: Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 描述: 托勒密的模块化形式语义。托勒密是一个开源和可扩展的建模与仿真框架。它通过允许不同的计算模型(不定时和定时)以任意方式分层组合,提供异构建模功能。本文提出了托勒密的形式语义,该语义是模块化的,即原子行动者及其组合被统一处理。特别是,所有参与者都符合包含四个功能的可执行接口:fire(生成给定当前状态和输入的输出);开火后(即时更新状态);最后期限(演员愿意等待多长时间);和时间更新(随着时间的推移更新状态)。合成作用子是使用合成运算符获得的,在托勒密被称为导演。不同的董事实现不同的计算模型。在本文中,我们正式定义了以下计算模型的控制器:同步-反应、离散事件、连续时间、过程网络和模式模型。 主页: http://ptolemy.eecs.berkeley.edu/ 相关软件: 大都市;卢斯特;状态流;Simulink公司;信号;酯类;里奥;莫德;Uppaal公司;Modelica公司;时刻2;背心;克洛诺斯;Matlab公司;爪哇风扇;多时性;SpaceEx公司;数学SAT;仄洛斯;找不同 引用于: 66文件 更多出版物: http://ptolemy.eecs.berkeley.edu/publications/index.htm 全部的 前5名167位作者引用 6 西蒙·布利兹 6 李爱德华·阿什福德 4 约瑟夫·西法基斯 4 Jean-Pierre塔宾 4 斯塔夫罗斯·特里帕基斯 三 爱德华·巴拉诺夫 三 阿尔伯特·本文尼斯特 三 阿尼鲁达·戈哈勒 三 保罗·勒格尔尼克 三 Legay、Axel 三 Alberto L.Sangiovanni-Vincentelli。 三 道格拉斯·施密特(Douglas C.Schmidt)。 三 王淑玲 三 詹乃军 2 拉杰夫·阿鲁尔 2 贾加内什Balasubramanian 2 Krishnakumar Balasubramanian 2 Shuvra S.巴塔查里亚。 2 贝诺·凯劳德 2 贝诺·德拉哈耶 2 JoséLuiz Fiadeiro 2 戈兰·弗雷斯 2 拉杰什·库马尔·古普塔 2 哈,顺和 2 卢西亚诺·拉瓦尼奥 2 安托尼亚州洛佩斯 2 何塞·梅塞盖尔·瓜伊塔 2 斯特凡诺·米诺波利 2 Peter Csaba,Olveczky 2 罗伯托·帕塞罗内 2 马克·波泽 2 熊玉红 1 谢里夫·阿卜杜勒瓦希德 1 艾丽卡·阿尔布拉汉姆 1 阿默尔·布利法,拉巴 1 法哈德·阿尔巴 1 保罗·C·阿蒂。 1 洛科·阿弗莎 1 埃里克·巴杜埃尔 1 Bae,Kyungmin先生 1 帕夫尔·贝拉诺维奇 1 萨德克·本萨勒姆 1 辛齐亚·伯纳德斯基 1 洛依茨贝斯纳德 1 安德烈亚·邦达瓦利 1 蒂莫西·布鲁克 1 Stephen Poythress博伊德 1 马吕斯·博兹加 1 韦恩·波莱森(Wayne P.Burleson)。 1 保罗·卡斯皮 1 Francky V.M.Catthoor。 1 阿伦州Chandrashekharapuram 1 陈明帅 1 Coe,P.S.公司。 1 科夫兰,J.E。 1 阿尔伯特·科恩 1 乔迪·科尔塔德拉 1 乔尔吉·塞尔坦 1 图利奥·库托 1 达姆,维尔纳 1 罗伯特·德·西蒙 1 邓、甘 1 已弃用,Ed F.A。 1 弗雷德里克·多塞特 1 乔治·爱德华兹 1 伯纳德·埃斯皮奥 1 埃梅卡·艾伊西 1 阿明·法朱迪安 1 冯,托马斯·惠宁 1 蒂埃里·高蒂尔 1 史蒂夫·戈达德 1 弗朗西斯科·格雷戈雷蒂 1 拉杜·格罗苏 1 顾,明 1 卢多维奇·亨利奥 1 路易·奥托·赫兹伯格 1 豪厄尔,F.W。 1 R.N.伊贝特。 1 穆罕默德·贾伯。 1 亚克塞尔·扬奇 1 凯文·杰斐 1 金、项羽 1 M.乔丹特。 1 Jaewoong Jung 1 阿提拉·尤雷克斯卡 1 卡佩洛斯,K。 1 加博尔·卡赛 1 迈克尔·基希内夫斯基 1 巴里·F·奈尔。 1 亚历克斯·孔德拉提耶夫 1 米查尔·科内奇 1 Koutsoukos,Xenofon D。 1 阿文德·克里希纳。 1 O.库兰基纳。 1 李因苏普 1 丹尼尔·莱普里 1 保罗·利弗斯 1 林,希 1 本杰明·利昂 1 罗伯托·卢布林曼 …还有67位作者 全部的 前5名29篇连载文章中引用 4 信号、图像和视频技术VLSI信号处理系统杂志 三 计算机程序设计科学 三 EURASIP应用信号处理杂志 2 计算机与系统科学杂志 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际系统科学杂志 1 Automatica公司 1 《计算机杂志》。A部分/B部分 1 并行计算 1 信息与计算 1 国际智能系统杂志 1 计算的形式方面 1 实时系统 1 美国计算机学会模型和计算机仿真汇刊 1 欧洲控制杂志 1 动力系统的数学和计算机建模 1 通用计算机科学杂志 1 并行与计算:实践与经验 1 应用数学杂志 1 自然计算 1 Kluwer国际工程与计算机科学系列 1 非线性分析。混合动力系统 1 控制科学与工程杂志 全部的 前5名10个领域引用 61 计算机科学(68至XX) 12 系统论;控制(93至XX) 5 数学逻辑和基础(03-XX) 4 信息与通信理论、电路(94-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文