Summary: Modular Specification of Hybrid Systems in
Charon
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, and Insup Lee
Department of Computer and Information Science, University of Pennsylvania,
Philadelphia PA 19104­6389, USA,
alur,grosu,yehur,kumar,lee@cis.upenn.edu,
URL: http://www.cis.upenn.edu/~alur,grosu,yehur,kumar,lee
Abstract. We propose a language, called Charon, for modular spec­
ification 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 hi­
erarchical 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 hierar­
chy. The modular structure of the language is not merely syntactic, but
can be exploited during analysis. We illustrate this aspect by presenting

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences