R-Charon, a modeling language for reconfigurable hybrid systems. This paper describes the modeling language R-Charon as an extension for architectural reconfiguration to the existing distributed hybrid system modeling language Charon. The target application domain of R-Charon includes but is not limited to modular reconfigurable robots and large-scale transportation systems. While largely leaving the Charon syntax and semantics intact, R-Charon allows dynamic creation and destruction of components (agents) as well as of links (references) between the agents. As such, R-Charon is the first formal, hybrid automata based modeling language which also addresses dynamic reconfiguration. We develop and present the syntax and operational semantics for R-Charon on three levels: behavior (modes), structure (agents) and configuration (system).
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Hou, Ping; Zheng, Hao: Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems (2013)
- Platzer, André: A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems (2012)
- Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)
- Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup: R-Charon, a modeling language for reconfigurable hybrid systems (2006)