University of Cambridge > Talks.cam > CUED Control Group Seminars > Modular analysis of linear systems using assume-guarantee contracts

Modular analysis of linear systems using assume-guarantee contracts

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity