BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241119T110000
DTEND;TZID=America/New_York:20241119T120000
DTSTAMP:20260603T001244
CREATED:20241003T131820Z
LAST-MODIFIED:20241003T131820Z
UID:12290-1732014000-1732017600@seasevents.nmsdev7.com
SUMMARY:ESE Fall Seminar - "Non-Parametric Analysis of Dynamical Systems: From Recurrent Sets to Generalized Lyapunov and Barrier Conditions"
DESCRIPTION:This talk presents novel non-parametric methods for analyzing dynamical systems using solely trajectory data. Our critical insight is to replace the notion of invariance\, a core concept in Lyapunov Theory\, with the more relaxed condition of recurrence. Specifically\, a set is τ-recurrent if every trajectory that starts within the set returns to it after at most τ seconds. We leverage this notion of recurrence to develop several analysis tools and algorithms to study dynamical systems. Firstly\, we consider the problem of learning an inner approximation of the region of attraction (ROA) of an asymptotically stable equilibrium point using trajectory data. We show that a τ-recurrent set containing a stable equilibrium must be a subset of its ROA under mild assumptions and develop algorithms that compute inner approximations of the ROA using counter-examples of recurrence obtained by sampling finite-length trajectories. Secondly\, we generalize Lyapunov and Barrier Function Methods to allow for non-monotonic evolution of the function values by only requiring sub-level sets to be τ-recurrent (instead of invariant). We provide conditions for stability and safety using τ-monotonic functions (functions whose value along trajectories monotonically increases or decreases after at most τ seconds) and develop a verification algorithm that leverages GPU parallel processing power to verify stability and safety using only trajectory information. We finalize by discussing future research directions and possible extensions for control.
URL:https://seasevents.nmsdev7.com/event/ese-fall-seminar-title-tbd-23/
LOCATION:Raisler Lounge (Room 225)\, Towne Building\, 220 South 33rd Street\, Philadelphia\, PA\, 19104\, United States
CATEGORIES:Seminar,Colloquium
ORGANIZER;CN="Electrical and Systems Engineering":MAILTO:eseevents@seas.upenn.edu
END:VEVENT
END:VCALENDAR