BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.15.18//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:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221118T100000
DTEND;TZID=America/New_York:20221118T120000
DTSTAMP:20260405T121151
CREATED:20221110T165744Z
LAST-MODIFIED:20221110T165744Z
UID:7852-1668765600-1668772800@seasevents.nmsdev7.com
SUMMARY:ESE Ph.D. Thesis Defense - "Robustness of Temporal Logics with Applications to Safe Autonomy"
DESCRIPTION:Signal Temporal Logic (STL) is a common way to express a broad range of real-time constraints that can be imposed on control systems. Spatial robustness of STL specifications\, quantifying permissible spatial perturbations\, has been widely studied in the literature. However\, despite the importance of various time-critical systems\, temporal robustness of STL has not yet been studied in depth nor has been used for control design. \nIn the first part of this thesis\, we establish a comprehensive theoretical framework for temporal robustness of STL. We define synchronous and asynchronous temporal robustness and show that these notions quantify the robustness with respect to synchronous and asynchronous time shifts in the predicates of the underlying signal temporal logic specification. We further prove that synchronous temporal robustness upper bounds asynchronous temporal robustness. Moreover\, we show under which conditions these two robustness notions are equivalent. Introduced synchronous and asynchronous notions are directional and consider either left or right perturbations. Due to this reason we additionally define and study the combined temporal robustness which simultaneously considers left and right time shifts. \nIn the second part of this thesis\, we focus on applications of various robustness functions to robust planning and control design questions. We first propose solutions to the temporally-robust control synthesis problem by presenting Mixed-Integer Linear Programming (MILP) encodings for derived temporal robustness notions. Second\, we solve the spatially-robust control synthesis problem and show how to adapt the smooth operator for space robustness maximization. Furthermore\, we propose possible distributed solutions to centralized multi-agent planning problems. Through various simulations\, as well as experiments on actual robotic systems\, we show that our presented solutions are computationally efficient as well as can be used in a wide variety of applications.
URL:https://seasevents.nmsdev7.com/event/ese-ph-d-thesis-defense-robustness-of-temporal-logics-with-applications-to-safe-autonomy/
LOCATION:Zoom – Meeting ID 564 482 9525
CATEGORIES:Dissertation or Thesis Defense
ORGANIZER;CN="Electrical and Systems Engineering":MAILTO:eseevents@seas.upenn.edu
END:VEVENT
END:VCALENDAR