×

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文件

按年份列出的引文