This poster showcases progress on the NSF Knowledge-Aware Cyber-Physical Systems project. We have identified a case study to be used as a stepping stone in the study of Air France Flight 447, and have started using it to understand and show-case the features of the logic under development. It highlights the important distinction between observable and unobservable events, and has led to a better representation of pilot intuition while flying.

Over  the  last  decade,  researchers  have  started  exploring  the  design  space  of  Medical  Capsule  Robots  (MCRs):devices   that   operate   autonomously   within   the   human   body and  can  monitor,  diagnose,  prevent,  and  cure  diseases.  MCRs are  severely  resource  constrained  devices  in  size,  power  and computational  capacity.  As&nbsp

Abstract: The use of robots in society could be expanded by using reinforcement learning (RL) to allow robots to learn and adapt to new situations on-line. RL is a paradigm for learning sequential decision making tasks, usually formulated as a Markov Decision Process (MDP). For an RL algorithm to be practical for robotic control tasks, it must learn in very few samples, while continually taking actions in real-time. In addition, the algorithm must learn efficiently in the face of noise, sensor/actuator delays, and continuous state features.

Abstract: Securing critical networked cyber-physical systems (NCPSs) such as the power grid or transportation systems has emerged as a major national and global priority. The networked nature of such systems renders them vulnerable to a range of attacks both in cyber and physical domains as corroborated by recent threats such as the Stuxnet virus.

Abstract: The goal of this research project is to create a scalable and robust cyber-physical system (CPS) framework for the observation and control of the functional interdependencies between bridge structures (stationary physical systems) and trucks, vehicles and human inspectors (mobile physical agents). Figure 1 shows the SHM-based CPS framework that is built around demonstration highway bridges with permanent wireless bridge monitoring system installed. 

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.