Proceedings of the 3rd international conference on High confidence networked systems

Abstract

It is our great pleasure to welcome you to the 2014 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS'14) as part of CPSWeek 2014. 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 continues after growing interest and enthusiasm that was created by the First Workshop on Secure Control Systems (SCS), the Workshop on the Foundations of Dependable and Secure Cyber-Physical Systems (FDSCPS), HiCoNS'12, and HiCoNS'13. CPS govern the operation of critical infrastructures such as power transmission, water distribution, transportation, healthcare, building automation, and process control. At the core of these systems are modern control technologies based on embedded computers and networked systems that monitor and control large-scale physical processes. The use of internet-connected devices and commodity IT solutions and the malicious intents of hackers and cybercriminals have made these control technologies more vulnerable. Despite attempts to develop guidelines for the design and operation of systems via security policies, much remains to be done to achieve a principled, science-based approach to enhance security, trustworthiness, and dependability of networked cyber-physical systems. HiCoNS'14 aimed to bring together novel concepts and theories that will help in the development of the science of high confidence networked systems, in particular those considered cyber-physical systems (CPS) and their interactions with human decision makers. The conference focused on system theoretic approaches to address fundamental challenges to increase the confidence of networked CPS by making them more secure, dependable, and trustworthy. The technical program includes sessions focused on Resilient Monitoring and Estimation, Security of Networked and Distributed Control Systems, Verification of Security Properties, and Security of CPS applications. The technical program also includes an invited session on improving CPS Resilience by integrating Robust Control and Theory of Incentives. During these sessions, presentations will cover both recent research results as well as new directions for future research and development. In addition, the program includes two invited talks and a poster session on emerging topics in resilience of CPS.