Resilient Control of Cyber-Physical Systems with Distributed Learning - July 2019
PI(s) and Co-PI(s): Sayan Mitra and Geir Dullerud and Sanjay Shakkotai (U. Texas at Austin)
Researchers: Pulkit Katdare and Negin Musavi
HARD PROBLEM(S) ADDRESSED
This refers to Hard Problems, released November 2012.
Resiliency: Effective verification of safety and security properties of autonomous and cyber-physical systems
Metrics: How much data is necessary to achieve a certain level of confidence regarding a safety/security claim
PUBLICATIONS
Papers written as a result of your research from the current quarter only.
Sample-optimal Verifiction of Markov Decision Processes, Katdare, Musavi, Mitra, Shakkottai, and Dullerud, June 2019.
Related recent publications:
Data-driven safety verification of complex cyber-physical systems, Chuchu Fan and Sayan Mitra. A chapter in the book titled Design Automation for Cyber-Physical Systems, edited by Mohammad Abdullah Al Faruquqe and Arquimedes Canedo, pages 107-143, Springer, 2019.
Using symmetry transformations in equivariant dynamical systems for their safety verification Hussein Sibai, Navid Mokhlesi and Sayan Mitra; accepted for publication in the proceedings of the Seventeenth International Symposium on Automated Technology for Verification and Analysis (ATVA), October 28-31, 2019, Taipei City, Taiwan
KEY HIGHLIGHTS
Each effort should submit one or two specific highlights. Each item should include a paragraph or two along with a citation if available. Write as if for the general reader of IEEE S&P.
The purpose of the highlights is to give our immediate sponsors a body of evidence that the funding they are providing (in the framework of the SoS lablet model) is delivering results that "more than justify" the investment they are making.
Two PhD students at UIUC have been recruited and are dedicating their research time to the project. We have formulated a new direction of scientific enquiry into safety and security analysis of systems. The point of departure from existing literature is that we explore the relative value of data and models in assessing how well a system meets its requirements. One PhD student at UT has recently joined the research effort.
COMMUNITY ENGAGEMENTS
Saturday Engineering for Everyone (SEE) Talk on "Future of Safe Autonomous Vehicles" given by PI Mitra on March 2nd. This outreach event is hosted by the Department of Electrical and Computer Engineering and attended by members of the broad Urbana-Champaign community.
Seminar, ECE Colloquium, University of Minnesota,"Statistical Validation and Principle-Based Simulation of Complex Cyber-Controlled Systems", given by co-PI Geir Dullerud.
EDUCATIONAL ADVANCES
PI Mitra's new course Principles of Safe Autonomy at University of Illinois came to a successful conclusion in May. The course takes a deep dive into the seminal topics in object recognition, learning, localization, decision making, path planning, control, and safety verification. 25 students from ECE and CS are completed the course. The course team has designed 6 New programming assignments involving topics such as lane detection, road-sign recognition with deep neural networks, localization with particle filters, decision making with reinforcement learning, path planning with rapidly expanding random trees, and safety verification using simulation-driven proofs. The students used a high-fidelity, commercial-grade vehicle simulator (Righthook) for testing their programming assignments. Galois Inc. sponsored prizes for student projects. Find out more about the safe autonomy course and the student projects at https://publish.illinois.edu/safe-autonomy/