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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Modular analysis of linear systems using assume-guarantee contracts

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Pavilion Room, Hughes Hall Sackler (sign-up needed) + ONLINE - Details will be sent by email Virtual (Details TBD)

Other talks

Group Presentation 4 Title to be confirmed Cambridge RNA Club - ONLINE Afternoon Break Group Work External Seminar - Jenn Brophy TBC
 

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