This project tackles the following question: "Can a network of mutually-distrusting devices perform resilient inference and computation while detecting anomalous behaviors despite heterogeneity in the types of data they sense, the networking technologies they use and their computational capabilities?" The context is the increasingly pervasive Internet of Things (IoT) with low-power end users or sensors relying on edge devices to process their data, and possibly the cloud.
Nowadays, anyone can buy and put together sensors, actuators, and computation components, but typically only highly trained engineers are able to compose systems that can autonomously perform complex tasks. This project makes the design of cyber-physical systems (CPS) accessible to anyone by creating computational tools that enable people to choose a set of building blocks and define what a system should do. The tools then automatically create a simple and easy to understand description of how to assemble the components and provide the control needed to accomplish the task.
The goal of this project is improved situation awareness for autonomous vehicles across many different networks. The approach is new theory and abstractions for systems where potentially moving physical systems join and leave the network at a high rate. Making these kinds of cyber-physical systems (CPS) efficient and safe requires leveraging the sensor information from other proximate vehicles over the network: this will enable vehicles to have much higher situational awareness--effectively seeing around corners.