BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modular analysis of linear systems using assume-guarantee contract
 s - Bart Besselink\, University of Groningen
DTSTART:20220310T140000Z
DTEND:20220310T150000Z
UID:TALK171401@talks.cam.ac.uk
CONTACT:Xiaodong Cheng
DESCRIPTION:The growing complexity of modern engineering systems calls for
  a theory for design and analysis that is inherently modular\, i.e.\, allo
 ws for independent analysis of subsystems. This talk will present such the
 ory by introducing assume-guarantee contracts for linear dynamical systems
 \, inspired by contract theories from the field of computer science and ex
 ploiting behavioral systems theory. In addition to using contracts as a de
 scription of (sub)system specifications\, we will present results on compo
 sitional analysis using contracts. This enables modular design and analysi
 s as\, first\, subsystems merely need to guarantee satisfaction of their l
 ocal contract and\, second\, correctly designed contracts guarantee desire
 d global system behavior.
LOCATION:Baker Building - Board Room\, Department of Engineering / Online 
 (Zoom Meeting ID: 842 0121 0459 Passcode: 338605)
END:VEVENT
END:VCALENDAR