阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 混合系统建模器中因果循环的基于类型的分析。 （英语） Zbl 1373.93112号 非线性分析。，混合系统。 26, 168-189 (2017). 总结：显式混合系统建模师Simulink/Stateflow允许对离散和连续时间行为进行编程，并在它们之间进行复杂的交互。编译过程中的一个重要步骤是静态检测代数或因果关系循环。这样的循环会导致模拟死锁，并阻止生成静态调度代码。本文针对一种将同步数据流方程与常微分方程（ODE）相结合的混合建模语言解决了这个问题。我们为信号的左极限引入了运算符last（x）。最后一个（x）运算符用于打破因果循环，并允许统一处理离散和连续状态变量。该语言的语义依赖于非标准分析，将执行定义为一系列极小的步骤。信号被视为因果关系正确当它可以按顺序计算，并且只在宣布的离散事件（如零交叉）之外发生无穷大的变化时。因果关系分析采用表示信号之间依赖关系的类型系统的形式。在类型良好的程序中，（i）信号是在集成期间可证明是连续的前提是导入的外部函数也是连续的，以及（ii）可以生成顺序代码.该系统的有效性通过编写的几个示例进行了说明泽卢斯，一个卢斯特雷-类似于用ODE扩展的同步语言。 MSC公司： 93磅40 系统理论中的计算方法（MSC2010） 68甲15 编程语言理论 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 关键词：混合系统;同步编程语言;类型系统 软件：信号;托勒密;Simulink公司;状态流;卢斯特;仄洛斯;Mulprec公司;酯类;石英 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，《非线性分析》。，混合系统。26、168--189（2017；Zbl 1373.93112） 全文： DOI程序 哈尔 参考文献： [1] Carloni，L。；Paserone，R。；平托，A。；Sangiovanni-Vincentelli，A.，混合系统设计的语言和工具，EDA基础与趋势，1（2006）·Zbl 1107.68385号 [4] Halbwachs，N。；卡斯皮，P。；雷蒙德，P。；Pilaud，D.，同步数据流编程语言光泽，程序。IEEE，79，9，1305-1320（1991） [5] Halbwachs，N。；雷蒙德，P。；Ratel，C.，《从数据流程序生成高效代码》（第三届编程语言实现和逻辑编程国际研讨会）。第三届编程语言实现和逻辑编程国际研讨会（PLILP），LNCS（1991），施普林格：施普林格-帕索（德国），207-218 [6] Amagbegnon，T。；贝斯纳德，L。；Le Guernic，P.，《数据流同步语言信号的实现》（Programming Languages Design and Implementation，PLDI）（1995），美国计算机学会，163-173 [8] Gérard，L。；Guatto，A。；巴斯德，C。；Pouzet，M.，《同步数据流语言的模块化内存优化：Lustre编译器中数组的应用》，（嵌入式系统的语言、编译器和工具（LCTES）（2012），ACM:ACM北京），51-60 [9] 达尔奎斯特，G。；比约克，Å., 科学计算中的数值方法：第1卷（2008年），SIAM·Zbl 1153.65001号 [10] Benveniste，A。；伯克，T。；凯劳德，B。；Pouzet，M.，混合系统建模师的非标准语义，计算机。系统。科学。，78、3、877-910（2012），纪念埃米尔·普努利的特别发行·Zbl 1244.68050号 [11] 马勒，O。；Manna，Z。；Pnueli，A.，《从时间到混合系统》（Real-Time:理论在实践中》，实时：理论在实践，LNCS，第600卷（1992），Springer），447-484 [14] Pierce，B.C.，类型和编程语言（2002），麻省理工学院出版社·Zbl 0995.68018号 [15] 伯克，T。；Pouzet，M.，Zélus:带ODEs的同步语言，（混合系统：计算与控制（HSCC）（2013），ACM:ACM Philadelphia，USA），113-118·Zbl 1361.68026号 [17] Kahn，G.，并行编程简单语言的语义，（Rosenfeld，J.L.，IFIP 74 Congress（1974），North-Holland），471-475·Zbl 0299.68007号 [18] Benveniste，A。；卡斯皮，P。；卢布林曼（R.Lublinerman）。；Tripakis，S.，《没有董事的演员：卡尼安对异构系统的看法》，技术代表TR-2008-6，（（2008），Verimag）·Zbl 1237.68122号 [19] Pouzet，M.，Lucid Synchrone，第3版。教程和参考手册（2006年），巴黎南德大学，LRI [20] Pottier，F.，《简化子类型约束：理论》，Inform。和计算。，170, 2, 153-183 (2001) ·Zbl 1005.68038号 [21] Pouzet，M。；Raymond，P.，《同步数据流网络的模块化静态调度：一种有效的符号表示法》，（嵌入式软件（EMSOFT）（2009）），215-224 [22] Palmgren，E.，广义函数的构造性非标准表示，Indag。数学。（N.S.），11，1，129-138（2000）·Zbl 0981.46039号 [23] Lindström，T.，《非标准分析邀请》，（Cutland，N.，非标准分析及其应用。非标准分析及应用，伦敦数学学会学生文本（1988），剑桥大学出版社），1-105·Zbl 0658.03044号 [24] Eker，J。；Janneck，J.W。；Lee，E.A。；刘杰。；刘，X。；Ludvig，J。；Neuendorffer，S。；萨克斯，S。；Xiong，Y.，《驯服异质性——托勒密方法》，Proc。IEEE，91,1127-144（2003年） [25] Lee，E.A。；Zheng，H.，《利用同步语言原理进行嵌入式系统的异构建模和设计》，（嵌入式软件（EMSOFT）（2007），114-123 [26] Bauer，K。；Schneider，K.，《从同步程序到混合系统的符号表示》，（混合系统：计算与控制（HSCC）（2010）），41-50·兹比尔1361.68057 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。