具有高阶UTP-Archive ouverte HAL的Simulink指称语义
第三条Dans Une Revue 程序设计中的逻辑和代数方法杂志 Anneée:2023年

具有高阶UTP的Simulink指称语义

Résumé

Matlab/Simulink是一个事实上的嵌入式系统建模工业标准。Simulink的语义是复杂的，混合了离散和连续的时间和事件，反映了网络物理系统（CPS）设计的复杂性。在本文中，我们使用用于CPS设计的高阶统一编程理论（HUTP）定义了分层Simulink图的组合语义。HUTP理论满足合适的代数属性，作为表达CPS语义的数学基础，尤其是Simulink图。我们描述了一类格式良好的Simulink图，并证明了它们的HUTP语义的确定性。此外，我们构建了一个框架来证明Simulink图及其到HCSP（混合通信顺序过程）的转换之间的一致性。最后，我们提供了一个案例研究来说明和证明这一翻译。

与葡萄园

信息[cs]
菲奇尔校长
小品小品
jlamp22.pdf（680.86 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

Jean-Pierre Talpin女士 : Connectez-vous浇注接触器le contributer

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

Soumis le:mercredi 7 décembre 2022-14:14:15

Dernière修改le:vendredi 24 mars 2023-14:53:29

长期存档：mercredi 8 mars 2023-18:48:36

Télé充电器倒可视化

日期和版本

hal-03888092， 版本1 (07-12-2022)

身份证明人

Citer公司

Xiong Xu、Bohua Zhan、Shuling Wang、Jean-Pierre Talpin、Naijun Zhan。具有高阶UTP的Simulink的指称语义。程序设计中的逻辑和代数方法杂志2023年，第130页，第100809页。⟨10.1016/j.jlamp.2022.100809⟩.⟨哈尔-03888092⟩

出口商

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

收藏

UNIV-RENNES1公司 CNRS公司 印度 INSA-RENES公司 IRISA公司 中央SUPELEC INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-RENNES公司 UR1-数学编号
44 磋商
97 交易费用

海拔高度

合作伙伴

更多