Smart home products have become extremely popular with consumers due to the convenience offered through home automation. In bridging the cyber-physical gap, however, home automation brings a widening of the cyber attack surface of the home. Research towards analyzing and preventing security and safety failures in a smart home faces a fundamental obstacle in practice: the poor characterization of home automation usage.
Propelled by the growth in demand for artificial intelligence-enabled applications, the past decade has witnessed the emergence of Collaborative Cyber-Physical Learning Systems (CCPLS). CCPLS carry out distributed, learning-based processing tasks through coordination among Cyber-Physical System (CPS) devices, and are envisioned to provide critical functionality across the commercial and defense sectors in the next several years.
This research project will study novel methods for designing sequential, non-myopic, online decision procedures for societal-scale cyber-physical systems such as public transit, emergency response systems, and power grid, forming the critical infrastructure of our communities. Online Optimization of these systems entails taking actions that consider the tightly integrated spatial, temporal, and human dimensions while accounting for uncertainty caused due to changes in the system and the environment.
The goal of this project is to advance the state of the art in autonomous Cyber-Physical Systems (CPS) by integrating tools from computer science and control theory. With the rise in deployment of autonomous CPS--from automotive to aerospace to robotic systems--there is a pressing need to verify and validate properties of these systems and thereby ensure their safe operation. The work will help establish the scientific basis for test and evaluation methods applicable to CPS, especially as they interact with other agents and the world in highly dynamic ways.
This is a test project.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. There is an increasing need for autonomous systems in deep space systems including NASA’s Moon to Mars exploration plans.
Call for Papers
RTAS is a top-tier conference with a focus on time-sensitive systems. RTAS’24 invites papers describing case studies, applications, methodologies, and algorithms that contribute to the state of practice in design, implementation, verification, validation, and evolution of time-sensitive systems. RTAS’24 consists of two tracks:
The ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) is a premier venue on IoT. In 2024, IoTDI will be held for the 9th time, and will be part of CPS-IoT Week 2024, in Hong Kong SAR.