R-Charon, a modeling language for reconfigurable hybrid systems

Authors:
Fabian Kratz;Oleg Sokolsky;George J. Pappas;Insup Lee
Affiliations:
Eindhoven University of Technology (TU/e), Eindhoven, The Netherlands;University of Pennsylvania, Philadelphia;University of Pennsylvania, Philadelphia;University of Pennsylvania, Philadelphia
Venue:
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Year:
2006

Citing 11
Cited 6

In search of the future of air traffic control

IEEE Spectrum
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Robotics: modular robots

IEEE Spectrum - Modular robots change shape to conquer tasks and tough terrain
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Modular Specification of Hybrid Systems in CHARON

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
(Self-)reconfigurable Finite State Machines: Theory and Implementation

Proceedings of the conference on Design, automation and test in Europe
Hybrid I/O automata

Information and Computation
On the usability of process algebra: an architectural view

Theoretical Computer Science - Process algebra
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
The φ-calculus: a language for distributed control of reconfigurable embedded systems

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Coordinated control for highly reconfigurable systems

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Semantics of dynamic structure event-based systems

Proceedings of the second international conference on Distributed event-based systems
Automating verification of cooperation, control, and design in traffic applications

Formal methods and hybrid real-time systems
Quantified differential dynamic logic for distributed hybrid systems

CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Quantified differential invariants

Proceedings of the 14th international conference on Hybrid systems: computation and control
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

Simulation
Distributed theorem proving for distributed hybrid systems

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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