Program Committee Chairs' Welcome

摘要

It is our great pleasure to welcome you to the 2012 V ACM International Conference on High Confidence Networked Systems (HiCoNS'12) as part of CPSWeek 2012. HiCoNS aims to foster collaborations between researchers from the fields of control and systems theory, embedded systems, game theory, software verification, formal methods, and computer security who are addressing various aspects of resilience of cyber-physical systems (CPS). HiCoNS was established after growing interest and enthusiasm that was created by the First Workshop on Secure Control Systems (SCS) at CPSWeek 2010 and the Workshop on the Foundations of Dependable and Secure Cyber-Physical Systems (FDSCPS) at CPSWeek 2011.