Modular analysis of linear systems using assume-guarantee contracts

Add to your list(s) Download to your calendar using vCal

• Bart Besselink, University of Groningen
• Thursday 10 March 2022, 14:00-15:00
• Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 842 0121 0459 Passcode: 338605).

If you have a question about this talk, please contact Xiaodong Cheng.

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.

This talk is part of the CUED Control Group Seminars series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 842 0121 0459 Passcode: 338605)
• CUED Control Group Seminars
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge University Engineering Department Talks
• Cambridge talks
• Centre for Smart Infrastructure & Construction
• Chris Davis' list
• Computational Continuum Mechanics Group Seminars
• Featured lists
• Information Engineering Division seminar list
• Interested Talks
• School of Technology
• Signal Processing and Communications Lab Seminars
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.