Challenges On Coordination For Cyber-Physical Systems

摘要：

　　Cyber-physical systems integrate computing and communication with monitoring and control of physical entities.The complex interaction with the physical world makes coordination models and languages very important for the analysis,design and development of cyber-physical systems.This paper discusses several new challenges on coordination models and languages in the context of the emerging phenomenon of cyber-physical systems.

关键词： coordination cyber-physical systems verification QoS requirements composition self-adaptation

作者: Sun Meng

作者单位: LMAM & Department of Informatics, School of Mathematical Sciences Peking University Beijing, China

会议类型: 国际会议

会议名称: 2013 2nd International Symposium on Computer,Communication,Control and Automation(ISCCCA-13)(2013年第二届计算机、通信与自动化国际会议)

会议地点: 太原

会议语种:英文

页码: 243-246

在线出版日期: 2013-04-06（万方平台首次上网日期，不代表论文的发表时间）