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:20241120T120000
DTEND;TZID=America/New_York:20241120T131500
DTSTAMP:20260602T220248
CREATED:20240719T135007Z
LAST-MODIFIED:20240719T135007Z
UID:11749-1732104000-1732108500@seasevents.nmsdev7.com
SUMMARY:ASSET Seminar: "Control with Coarse Measurements: Perception Contracts and Indistinguishable Sets"
DESCRIPTION:Abstract: \nPerformance of control systems depend on the nature of available measurements. Perception of edges\, keypoints\, landmarks and other natural semantic features make certain coarse measurements available to control systems operating in complex environments.  This talk explores two problems related to control and estimation with such coarse measurements. First\, I will introduce perception contracts—an approach for analyzing visual control systems that rely on Deep Neural Networks for state estimation. A perception contract provides an over-approximation of a state estimator while guaranteeing closed-loop system invariants. These contracts can be automatically synthesized using data and model-based analysis and have been applied to automated landing and lane-keeping systems. The second part of the talk will focus on algorithms for computing indistinguishable sets—sets of states that cannot be distinguished based on available coarse measurements. These sets help define the limits of state estimation and localization. The talk will touch on formal verification\, information spaces\, and related open problems. \nZoom Link (if unable to attend in-person): https://upenn.zoom.us/j/91934138074
URL:https://seasevents.nmsdev7.com/event/asset-seminar-sayan-mitra-university-of-illinois-at-urbana-champaign/
LOCATION:Raisler Lounge (Room 225)\, Towne Building\, 220 South 33rd Street\, Philadelphia\, PA\, 19104\, United States
END:VEVENT
END:VCALENDAR