BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Compositional Design of Society-Critical Systems: From Autonomy to
  Future Mobility -  Gioele Zardini
DTSTART:20260326T150000Z
DTEND:20260326T160000Z
UID:TALK243961@talks.cam.ac.uk
CONTACT:Sally Matthews
DESCRIPTION:When designing complex systems\, we need to consider multiple 
 trade-offs at various abstraction levels and scales\, and choices of singl
 e components need to be studied jointly. For instance\, the design of futu
 re mobility solutions (e.g.\, autonomous vehicles\, micromobility) and the
  design of the mobility systems they enable are closely coupled. Indeed\, 
 knowledge about the intended service of novel mobility solutions would imp
 act their design and deployment process\, while insights about their techn
 ological development could significantly affect transportation management 
 policies. Optimally co-designing sociotechnical systems is a complex task 
 for at least two reasons. On one hand\, the co-design of interconnected sy
 stems (e.g.\, large networks of cyber-physical systems) involves the simul
 taneous choice of components arising from heterogeneous natures (e.g.\, ha
 rdware vs. software parts) and fields\, while satisfying systemic constrai
 nts and accounting for multiple objectives. On the other hand\, components
  are connected via collaborative and conflicting interactions between diff
 erent stakeholders (e.g.\, within an intermodal mobility system). In this 
 talk\, I will present a framework to co-design complex systems\, leveragin
 g compositional optimization. The framework will be instantiated in the ta
 sk of designing future mobility systems\, all the way from the policies th
 at a city can design\,to the autonomy of vehicles as part of an autonomous
  mobility-on-demand service. Through various case studies\, I will show ho
 w the proposed approaches allow one to efficiently answer heterogeneous qu
 estions\, unifying different modeling techniques and promoting interdiscip
 linarity\, modularity\, and compositionality. I will then discuss open cha
 llenges for compositional systems design optimization\, and present my age
 nda to tackle them.
LOCATION:Department of Computer Science and technology\, SS03
END:VEVENT
END:VCALENDAR