LEAD PI TITLE (with link to Poster and Abstract) VIDEO

11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) Over the past decade ReCoSoC has established itself as a international reference event for research in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages technical and scientific interactions of both academic and industrial participants through presentations and special sessions reporting latest advances in the related areas. 

The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016) ABOUT SAFECOMP

Abstract: This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.  We have uncovered two key structural properties of traffic networks that make them amenable to this approach.

Abstract: Despite the current emphasis on developing green buildings, the global energy consumption issue is not being adequately addressed. In this project, we propose a new perspective on this ever-threatening issue: NetZero energy building clusters.

Abstract: Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

Abstract: This new CPS Synergy project is concerned with Management-Coupled Cyber and Physical Infrastructures (MCCPIs), which are infrastructures whose cyber- and physical- components are coupled by their wide-area management functions.  The main objective of the project is to develop a framework and tool set for threat assessment for MCCPIs which acknowledges their cyber, physical, and human elements, and to apply these tools and methods in a case study of the air traffic management system.  Three broad types of threats are considered: en

Abstract: Inherent vulnerabilities of information and communication technology systems to cyber-attacks (e.g., malware) impose significant security risks to Cyber-Physical Systems (CPS). This is evidenced by a number of recent accidents. Noticeably, current distributed control of CPS is not really attack-resilient (ensuring task completion despite attacks). Although provable resilience would significantly lift the trustworthiness of CPS, existing defenses are rather ad-hoc and mainly focus on attack detection.

Abstract:  This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.