Modeling Hybrid Systems in Hy-tccp

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.

[1]  Dana S. Scott,et al.  Concurrent constraint programming languages , 1989 .

[2]  Maurizio Gabbrielli,et al.  A Timed Concurrent Constraint Language , 2000, Inf. Comput..

[3]  Ka Lok Man,et al.  Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..

[4]  Michel A. Reniers,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..

[5]  Daniel G. Bobrow,et al.  Programming in Hybrid Constraint Languages , 1994, Hybrid Systems.

[6]  María-del-Mar Gallardo,et al.  Extending model checkers for hybrid system verification: the case study of SPIN , 2014, Softw. Test. Verification Reliab..

[7]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[8]  María-del-Mar Gallardo,et al.  A practical use of model checking for synthesis: generating a dam controller for flood management , 2011, Softw. Pract. Exp..