仄洛斯 swMATH ID: 20166 软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet) 描述: Zélus:与ODE同步的语言。Zélus是一种新的编程语言,用于混合离散逻辑时间和连续时间行为的系统建模。从用户的角度来看,它的主要创意是用常微分方程(ODE)扩展现有的类Lustre同步语言。扩展是保守的:任何以数据流方程和层次自动机表示的同步程序都可以在同一源代码中与ODE任意组合。专用类型系统和因果关系分析确保所有离散变化与零交叉事件一致,从而在集成过程中不会出现副作用或不连续性。程序是静态调度的,并被转换为序列代码,通过构造,序列代码在有限的时间和空间内运行。编译是通过将源到源转换为一个小的同步子集来实现的,该同步子集由标准同步编译器体系结构进行处理。生成的代码与一个离线的数值解算器配对。我们表明,在现有同步语言的基础上,可以为显式混合系统构建一个Simulink/Stateflow建模器,将其用作语义基础和代码生成目标。 主页: http://dl.acm.org/citation.cfm?id=2461348 相关软件: Simulink公司;状态流;卢斯特;信号;酯类;托勒密;StreamQRE(流QRE);弗兰;Naiad公司;洛拉;Flapjax公司;电报CQ;哈斯克尔;卡尤加;StreamIt(流媒体);阿帕奇火花;Coq公司;Matlab公司;SL2SX系列;iFEST公司 引用于: 6文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Zélus:与ODE同步的语言。 Zbl 1361.68026号蒂莫西·波克;马克·普泽特 2013 全部的 前5名12位作者引用 三 蒂莫西·波克 三 马克·普泽特 2 阿尔伯特·本文尼斯特 2 贝诺·凯劳德 2 布鲁诺·帕加诺 2 Jean-Pierre塔宾 2 王淑玲 2 徐,熊 2 詹伯华 2 詹乃军 1 金向宇 1 康斯坦蒂诺斯·马穆拉斯 3篇连载文章中引用 1 理论计算机科学 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 6 计算机科学(68至XX) 三 系统论;控制(93至XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 按年份列出的引文