混合系统建模器中因果循环的基于类型的分析——Archive ouverte HAL Accéder directment au contenu公司
第三条Dans Une Revue 非线性分析：混合系统 Anneée:2017年

混合系统建模器中基于类型的因果循环分析

Résumé

Simulink/Stateflow等显式混合系统建模器允许对离散和连续时间行为进行编程，并在它们之间进行复杂的交互。编译它们的一个重要步骤是静态检测代数或因果循环。这样的循环会导致模拟死锁，并阻止生成静态调度代码。本文针对一种将同步数据流方程与常微分方程（ODE）相结合的混合建模语言解决了这个问题。我们为信号x的左极限引入了算子last x。最后的x算子用于打破因果循环，并允许统一处理离散和连续状态变量。该语言的语义依赖于非标准分析，将执行定义为一系列无穷小的步骤。如果信号可以按顺序计算，并且在宣布的离散事件（如零交叉）之外变化极小，则认为信号是因果正确的。因果关系分析采用表示信号之间依赖关系的类型系统的形式。在类型良好的程序中，只要输入的外部函数也是连续的，那么在集成过程中可以证明信号是连续的，并且可以生成序列代码。用Zélus（一种用ODE扩展的类Lustre同步语言）编写的几个示例说明了该系统的有效性。

与葡萄园

奥特[cs.OH] 系统禁运 建模与仿真 自动表 逻辑数学[cs.MS]
菲奇尔校长
小品小品
纸张.pdf（863.63 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

贝诺·特凯劳德以下为：Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01549183

Soumis le:2017-10:54:26年vendredi 30 juin

Dernière修改le:vendredi 19 avril 2024-16:18:57

长期存档：lundi 22 janvier 2018-21:28:57

Télé充电器倒可视化

日期和版本

hal-01549183， 版本1 (28-06-2017)
hal-01549183， 版本2 (30-06-2017)

身份证明人

Citer公司

阿尔伯特·本文尼斯特（Albert Benveniste）、蒂莫西·伯克（Timothy Bourke）、贝诺·凯劳德（Benoìt Caillaud）、布鲁诺·帕加诺（Bruno Pagano）、马克·普泽特。混合系统建模器中因果循环的基于类型的分析。非线性分析：混合系统2017年第26期，第168-189页。⟨10.1016/j.nahs.2017.04.004⟩.⟨hal-01549183v2⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

ENS-PARIS公司 UNIV-RENNES1公司 中国科学院 INRIA公司 INSA-RENES公司 IRISA公司 INRIA2公司 TDS-MACS系统 PSL公司 UR1-运动型 UR1-UFR-ISTIC UNIV-RENNES公司 索邦大学 UR1-数学编号
703 磋商
587 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 乳臭虫 脸谱网 X（X） LinkedIn链接 更多