Titre : Modular analysis of linear systems using assume-guarantee contracts
Résumé : 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.
Biographie : Bart Besselink is associate 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 post-doctoral researcher at the Department of Automatic Control and ACCESS Linnaeus Centre at KTH Royal Institute of Technology, Sweden, between 2012 and 2016. His main research interests are on mathematical systems theory for large-scale interconnected systems, with emphasis on contract-based verification and control, model reduction, and applications in neuromorphic computing. He is a recipient (with Xiaodong Cheng and Jacquelien Scherpen) of the 2020 Automatica Paper Prize.
Lien Teams : cliquer ici.