Modeling Hybrid Systems in Hy-tccp

TL;DR

This paper introduces hy-tccp, an extension of the timed concurrent constraint language, to effectively model and analyze hybrid systems with continuous dynamics.

Contribution

The paper presents hy-tccp, a novel extension of tccp that incorporates continuous time constructs for hybrid system modeling.

Findings

hy-tccp effectively models hybrid systems

Enables analysis of continuous and reactive behaviors

Extends the expressiveness of tccp for hybrid dynamics

Abstract

Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybrid tccp (hy-tccp), an extension of tccp over continuous time which includes new con- structs to model the continuous dynamics of hybrid systems.