| | |
Summary: A Core Language for Executable Models of Cyber Physical Systems
(Work In Progress Report)
Walid Taha
Halmstad University, Halmstad, Sweden
Rice University, Houston, TX, USA
Walid.Taha@hh.se
Paul Brauner and Robert Cartwright
Rice University, Houston, TX, USA
{polux2000, corky.cartwright}@gmail.com
Veronica Gaspes
Halmstad University, Halmstad, Sweden
Veronica.Gaspes@hh.se
Aaron Ames
University of Texas A&M, College Station, TX, USA
aames@tamu.edu
Alexandre Chapoutot
ENSTA ParisTech, Paris, France
alexandre.chapoutot@ensta-paristech.fr
Abstract-- Recently it was shown that an expressive class of
mathematical equations can be automatically translated into
|
