×

托勒密

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位作者

按年份列出的引文