Prof. Bart Besselink gave a talk on July 12th, 2022 in our group about “Modular analysis of linear systems using assumeguarantee contracts”

Biography (简介)

Bart Besselink is an assistant professor at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence of the University of Groningen, the Netherlands. He received the M.Sc. degree (cum laude) in Mechanical Engineering in 2008 and the Ph.D. degree in 2012, both from Eindhoven University of Technology, the Netherlands. He was a short-term visiting researcher at the Tokyo Institute of Technology, Japan, in 2012, and a post-doctoral researcher at the Department of Automatic Control and ACCESS Linnaeus Centre at KTH Royal Institute of Technology, Sweden, between 2012 and 2016 with Prof. Karl H. Johansson. His main research interests include modular analysis and control of large-scale interconnected systems, nonlinear systems, and applications in the field of intelligent transportation systems. He is a recipient of the Automatica paper prize 2020.

Abstract

The growing complexity of modern engineering systems calls for a theory for design and analysis that is inherently modular, i.e., allows for independent analysis of subsystems. This talk will present such theory by introducing assume-guarantee contracts for linear dynamical systems, inspired by contract theories from the field of computer science and exploiting behavioral systems theory. In addition to using contracts as a description of (sub)system specifications, we will present results on compositional analysis using contracts. This enables modular design and analysis as, first, subsystems merely need to guarantee satisfaction of their local contract and, second, correctly designed contracts guarantee desired global system behavior.