BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Joe Moeller DTSTART:20260611T170000Z DTEND:20260611T180000Z DTSTAMP:20260604T125558Z UID:ToposInstituteColloquium/216 DESCRIPTION:Title: A unifying framework for control barrier functions\ nby Joe Moeller as part of Topos Institute Colloquium\n\nInteractive lives tream: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0Q UhTdGhvZ3pUdz09\nPassword hint: 65537\n\nAbstract\nLyapunov functions allo w you to certify the stability of a dynamical system without having to sol ve the related system of differential equations. Control Lyapunov function s and control barrier functions extend this idea to control systems and gi ve a constructive way of creating a controller which exhibits a desired be havior: stability and safety respectively. Recently\, there have been many generalizations of CLFs and CBFs made to bring the same idea to more comp lex scenarios. In this talk I will present a categorical framework for CLF s and CBFs for generalized systems that recovers many useful variants. Thi s framework also enables us to combine and find new variants.\n LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/216/ URL:https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhT dGhvZ3pUdz09 END:VEVENT END:VCALENDAR