Title: Compositional Controller Synthesis for Cyber-Physical system
16:00 - 17:00
online (please contact Bart Besselink (b.besselink@rug.nl) to receive a link to join the talk)
Abstract:
While model-based techniques for cyber-physical systems design have been the subject of a large amount of research in the last decade, scalability of these techniques remains an issue. In this talk, we present some contributions to make such approaches more scalable. In the first part of the talk, we present a general framework for compositional reasoning using assume-guarantee contracts. This framework applies to very general systems with arbitrary interconnections, and makes it possible to reason on very general properties. We introduce weak and strong semantics and show that the weak semantics are sufficient to reason on acyclic interconnections and strong semantics are necessary for cyclic interconnections. In the second part, this framework is combined with symbolic control techniques and applied to synthesis problems. Given a system made of interconnected components, each component is equipped with a sampled-data controller (with its own sampling period), and the controller of a component can receive partial information on the state of other components through a given information structure. The considered global system can be seen as distributed, multiperiodic and with partial information. Assume guarantee contracts are used to decompose the global problem into local sub-problems that can be solved independently, then symbolic control techniques are used to synthesize controllers enforcing the local control objectives. Finally, theoretical results are applied to a vehicle platooning problem on a circular road, to show the effectiveness of the proposed approach.
Biography:
Adnane SAOUD is a Postdoctoral Research Fellow in the Electrical and Computer Engineering Department at the University of California, Berkeley Since February 2021. Between February 2020 and January 2021, he was a Postdoctoral Research Fellow in the Electrical and Computer Engineering Department at the University of California, Santa Cruz. He received the Ph.D. degree in Control from CentraleSupelec, France, in 2019. During his Ph.D. studies, he was selected as one of the top three finalists for the Best student paper award at the European Control Conference, ECC, 2018. He obtained the M.Sc. degree in control from University Paris-Saclay, France, in 2016, and Electrical Engineering degree from Ecole Mohammadia d’ingénieurs, (EMI), Morocco, in 2014. His current research interests include formal methods for cyber–physical systems, compositional analysis and synthesis of interconnected system and learning-based control of dynamical systems.
Speaker website: https://sites.google.com/view/adnanesaoud/