Sciweavers

HYBRID
2000
Springer

Modular Specification of Hybrid Systems in CHARON

13 years 7 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, Charon supports building complex modes via the operations of instantiation, scoping, and encapsulation. Features such as weak preemption, history retention, and externally defined Java functions, facilitate the description of complex discrete behavior. Continuous behavior can be specified using differential as well as algebraic constraints, and invariants restricting the flow spaces, all of which can be declared at various levels of the hierarchy. The modular structure of the language is not merely syntactic, but can be exploited during analysis. We illustrate this aspect by presenting a scheme for modular simulation in which each mode can be compiled ...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar,
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where HYBRID
Authors Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
Comments (0)