Modeling Hybrid Systems in Hy-tccp
Programming Languages
2014-12-16 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1412.4550,
title = {Modeling Hybrid Systems in Hy-tccp},
author = {Damian Adalid and Maria del Mar Gallardo and Laura Titolo},
journal= {arXiv preprint arXiv:1412.4550},
year = {2014}
}