BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.3.5//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:1090@cran.univ-lorraine.fr
DTSTART;TZID=Europe/Paris:20250925T140000
DTEND;TZID=Europe/Paris:20250925T160000
DTSTAMP:20250919T085707Z
URL:https://www.cran.univ-lorraine.fr/events/reunion-model-5/
SUMMARY:Reunion MODEL- Séminaire Bart Besselink
DESCRIPTION:Titre : Modular analysis of linear systems using assume-guarant
 ee contracts\n\nRésumé :  The growing complexity of modern engineering 
 systems calls for a theory for design and analysis that is inherently modu
 lar\, 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 comput
 er 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 d
 esign and analysis as\, first\, subsystems merely need to guarantee satisf
 action of their local contract and\, second\, correctly designed contracts
  guarantee desired global system behavior.\n\nBiographie : Bart Besselink 
 is associate professor at the Bernoulli Institute for Mathematics\, Comput
 er Science and Artificial Intelligence of the University of Groningen\, th
 e Netherlands. He received the M.Sc. degree (cum laude) in Mechanical Engi
 neering in 2008 and the Ph.D. degree in 2012\, both from Eindhoven Univers
 ity of Technology\, the Netherlands. He was a post-doctoral researcher at 
 the Department of Automatic Control and ACCESS Linnaeus Centre at KTH Roya
 l Institute of Technology\, Sweden\, between 2012 and 2016. His main resea
 rch interests are on mathematical systems theory for large-scale interconn
 ected systems\, with emphasis on contract-based verification and control\,
  model reduction\, and applications in neuromorphic computing. He is a rec
 ipient (with Xiaodong Cheng and Jacquelien Scherpen) of the 2020 Automatic
 a Paper Prize.\n\nLien Teams : cliquer ici.
CATEGORIES:Département CID,Séminaire projet MODELE
LOCATION:CRAN - ENSEM\, 2\, Avenue de la Foret de Haye\, Voandoeuvre-les-Na
 ncy\, 54516\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=2\, Avenue de la Foret de H
 aye\, Voandoeuvre-les-Nancy\, 54516\, France;X-APPLE-RADIUS=100;X-TITLE=CR
 AN - ENSEM:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR