CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Lead PI:
Majid Zamani
Co-PI:
Abstract

This project proposes a novel and rigorous methodology for the design of embedded control software for safety-critical cyber-physical systems (CPS) with complex and possibly unknown dynamics by embracing ideas from control theory, formal verification in computer science, and Gaussian processes (GPs) from machine learning. Embedded control software forms the main core of autonomous transportation, traffic networks, power networks, aerospace systems, and health and assisted living. These applications are examples of CPS, wherein software components interact tightly with physical systems with complex dynamics. Recent technological advances in sensing, memory, and communication technology offer unprecedented opportunities for ubiquitously collecting data at high details and large scales for CPS. Utilization of data at these scales poses major challenges for a rigorous analysis and design of CPS, particularly in view of the additional inherent uncertainty that data-driven control signals introduce to systems behavior. In fact, this effect has not been well understood to this date, primarily due to the missing link between data analytic techniques in machine learning and the underlying physics of dynamical systems in a rigorous system design. In addition, most of the existing results proposed in the literature on the formal verification or synthesis of CPS are model-based, whereas in many applications, a model may not be always available or may be too complex for current techniques.

This project investigates a novel correct-by-construction controller synthesis scheme for CPS with complex and possibly unknown dynamics by embracing ideas from the GPs. Particularly, given temporal logic requirements (e.g. those expressed as linear temporal logic formula or by omega-regular languages) for the CPS, they will be decomposed to simpler reachability tasks based on the types of automata representing those properties. Then, the project develops an approach to solve those simpler tasks by computing so-called control barrier functions together with their corresponding hybrid controllers using regressed GPs of the unknown CPS. In addition, the investigators develop an adaptive transfer learning approach that leverages previously learned GPs and emploies them as sources of information in learning new ones especially when limited training data are available. The project develops a scheme on either transferring the controllers designed for old GPs to new ones or safely modifying them on the fly while formally guaranteeing their correctness for the new GPs. The algorithms are implemented into design software tools and evaluated on actual CPS platforms, namely, autonomous underwater vehicles and aerial robots.

Majid Zamani
Majid Zamani is an Associate Professor in the Computer Science Department at the University of Colorado Boulder, USA. He is also a guest professor in the Computer Science Department at the Ludwig Maximilian University of Munich. He received a B.Sc. degree in Electrical Engineering in 2005 from Isfahan University of Technology, Iran, an M.Sc. degree in Electrical Engineering in 2007 from Sharif University of Technology, Iran, an MA degree in Mathematics and a Ph.D. degree in Electrical Engineering both in 2012 from University of California, Los Angeles, USA. Between September 2012 and December 2013, he was a postdoctoral researcher at the Delft Center for Systems and Control, Delft University of Technology, Netherlands. From May 2014 to January 2019, he was an Assistant Professor in the Department of Electrical and Computer Engineering at the Technical University of Munich, Germany. From December 2013 to April 2014, he was an Assistant Professor in the Design Engineering Department, Delft University of Technology, Netherlands. He received the George S. Axelby Outstanding Paper Award from the IEEE Control Systems Society in 2023, the NSF Career award in 2022 and the ERC Starting Grant and Proof of Concept Grant from the European Research Council in 2018 and 2023, respectively. His research interests include verification and control of hybrid systems, embedded control software synthesis, networked control systems, and incremental properties of nonlinear control systems.
Performance Period: 01/01/2021 - 12/31/2024
Institution: University of Colorado at Boulder
Sponsor: National Science Foundation
Award Number: 2039062