Friday, March 16, 2012

A Core Language for Executable Models of Cyber Physical Systems (Preliminary Report)

Various members of the group worked to finalize the preliminary report on core Acumen that will appear in the proceedings of the Second International Workshop on Cyber-Physical Networks (CPNS'12).  Featured in this report is a description of the Ping Pong model that was developed by Yingfu Zeng and used in this year's CPS course at Halmstad University.  The report will be presented in Macau by Yingfu, who is currently finishing his Masters thesis at Halmstad University.  This fall, Yingfu is will start his PhD studies at Rice University.