R-查龙 swMATH ID: 19756 软件作者: 费边·克拉茨(Fabian Kratz);奥列格·索科尔斯基(Oleg Sokolsky);乔治·帕帕斯(George J.Pappas)。;李因苏普 描述: R-Charon,一种用于可重构混合系统的建模语言。本文将建模语言R-Charon描述为现有分布式混合系统建模语言Charon的体系结构重构扩展。R-Charon的目标应用领域包括但不限于模块化可重构机器人和大型运输系统。虽然基本上保持Charon语法和语义不变,但R-Charon允许动态创建和销毁组件(代理)以及代理之间的链接(引用)。因此,R-Charon是第一个正式的、基于混合自动机的建模语言,它也解决了动态重构问题。我们在三个层次上开发并展示了R-Charon的语法和操作语义:行为(模式)、结构(代理)和配置(系统)。 主页: http://rd.springer.com/chapter/10.1007/11730637_30 相关软件: QEPCAD公司;查龙;拉马斯;日/日;工具箱LS;HYSDEL公司;MPT公司;Uppaal公司;高超声速;PHAVer公司;克洛诺斯 引用于: 4文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 R-Charon,一种用于可重构混合系统的建模语言。 Zbl 1178.93074号费边·克拉兹;奥列格·索科尔斯基;乔治·帕帕斯。;李因苏普 2006 全部的 前5名9位作者引用 1 尤金·亚萨林 1 Thao Dang先生 1 安托万·吉拉德 1 侯萍 1 费边·克拉兹 1 李因苏普 1 乔治·帕帕斯。 1 安德烈·普拉泽 1 奥列格·索科尔斯基 2篇连载文章中引用 1 信息学报 1 计算机科学中的逻辑方法 在4个字段中引用 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 2 系统论;控制(93至XX) 1 常微分方程(34-XX) 按年份列出的引文