Compositional verification and synthesis of interconnected control systems

Majid Zamani

Assistant Professor, University of Colorado Boulder

Seminar Information

Seminar Series
Dynamic Systems & Controls

Seminar Date - Time
June 4, 2021, 3:00 pm
-
4:00

Seminar Location
Zoom Meeting ID: 858 822 1269


Abstract

In this talk, I will present our recent results on compositional verification and synthesis of interconnected control systems against high-level temporal logic requirements. I propose a divide and conquer strategy to scale our proposed techniques by leveraging the natural structure present in the system to break the verification and synthesis problem into semi-independent ones. I will leverage small-gain type reasoning and notions of barrier certificates as two key tools to tackle the verification and synthesis complexity. I will illustrate the effectiveness of the proposed results on some case studies. I will show that our proposed results can handle large-scale complex systems, which would not have been possible to tackle using existing monolithic approaches.

Speaker Bio

Majid Zamani is an assistant professor in the Computer Science Department at the University of Colorado Boulder, USA. 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 Centre for Systems and Control, Delft University of Technology, Netherlands. From May 2014 to January 2019, he was an assistant professor (W2) in the Department of Electrical and Computer Engineering at the Technical University of Munich, Germany. He received an ERC starting grant award from the European Research Council in 2018.

His research interests include formal verification and control of (stochastic) hybrid systems, embedded control software synthesis, information-based control, networked control systems, and compositional analysis and synthesis of interconnected systems.