R-Charon, a Modeling Language for Reconfigurable Hybrid Systems | Zendy

Fabian Kratz | Zendy; Oleg Sokolsky | Zendy; George J. Pappas | Zendy; Insup Lee | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

Author(s) -

Fabian Kratz,

Oleg Sokolsky,

George J. Pappas,

Insup Lee

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-33170-0

DOI - 10.1007/11730637_30

Subject(s) - computer science , control reconfiguration , semantics (computer science) , modular design , syntax , programming language , automaton , artificial intelligence , embedded system

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).

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research