Modeling Hybrid Systems in the Concurrent Constraint Paradigm

Damián Adalid
(University of Málaga)
María del Mar Gallardo
(University of Málaga)
Laura Titolo
(University of Málaga)

Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in contrast to the variable/value style typical of imperative languages. Several extensions of ccp have been proposed in order to model reactive systems. One of these extensions is the Timed Concurrent Constraint Language (tccp) that adds to ccp a notion of discrete time and new features to model time-out and preemption actions. The goal of this paper is to explore the expressive power of tccp to describe hybrid systems. We introduce the language Hy-tccp as a conservative extension of tccp, by adding a notion of continuous time and new constructs to describe the continuous dynamics of hybrid systems. In this paper, we present the syntax and the operational semantics of Hy-tccp together with some examples that show the expressive power of our new language.

In Santiago Escobar: Proceedings XIV Jornadas sobre Programación y Lenguajes (PROLE 2014), Cadiz, Spain, September 16-19, 2014, Electronic Proceedings in Theoretical Computer Science 173, pp. 1–15.
Published: 8th January 2015.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: