National CPS PI Meeting 2015
video
Submitted by dabhishe on Thu, 02/11/2016 - 3:19pm
video
Submitted by Domitilla Del Vec... on Thu, 02/11/2016 - 2:57pm
video
Submitted by Chris Gill on Thu, 02/11/2016 - 2:02pm
video
Submitted by Xiaobo Tan on Thu, 02/11/2016 - 12:01am
video
Submitted by yonvisell on Wed, 02/10/2016 - 8:22pm
page
Submitted by el_wehby on Wed, 02/10/2016 - 7:16pm
| LEAD PI |
TITLE (with link to Poster and Abstract) |
VIDEO |
file
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.
file
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.
file
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?
file
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
