Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modeling Hybrid Systems in the Concurrent Constraint Paradigm   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.

8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th