Modeling Hybrid Systems in the Concurrent Constraint Paradigm

TL;DR

This paper introduces Hy-tccp, an extension of the timed concurrent constraint language, to model hybrid systems with both discrete and continuous dynamics, enhancing the expressive power of the paradigm.

Contribution

The paper presents Hy-tccp, a new language that extends tccp with continuous time and constructs for hybrid systems, providing a formal framework for their modeling.

Findings

Hy-tccp can describe hybrid systems with discrete and continuous dynamics.

The language's syntax and semantics are formally defined.

Examples demonstrate the expressive capabilities of Hy-tccp.

Abstract

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.