BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Department of Electrical & Computer Engineering - ECPv6.17.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Department of Electrical & Computer Engineering
X-ORIGINAL-URL:https://ece.northeastern.edu
X-WR-CALDESC:Events for Department of Electrical & Computer Engineering
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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20230403T100000
DTEND;TZID=America/New_York:20230403T110000
DTSTAMP:20230320T205517Z
CREATED:20230320T205517Z
LAST-MODIFIED:20230320T205517Z
UID:6217-1680516000-1680519600@ece.northeastern.edu
SUMMARY:Jared Miller Ph.D Defense/Proposal Announcement
DESCRIPTION:“Safety Analysis for Nonlinear and Time-Delay Systems using Occupation Measures” \nInternational Village 022 \nCommittee Members:\nProf. Mario Sznaier (Advisor)\nProf. Octavia Camps\nProf. Bahram Shafai\nProf. Eduardo Sontag\nProf. Didier Henrion (LAAS-CNRS) \nAbstract:\nThis research extends an occupation measure framework to analyze the behavior and safety of dynamical systems. A motivating application of trajectory analysis is in peak estimation\, which finds the extreme values of a state function along trajectories. Examples of peak estimation include finding the maximum height of a wave\, voltage on a power line\, speed of a vehicle\, and infected population in an epidemic. Peak estimation can be applied towards safety quantification\, such as by measuring the safety of a trajectory by its distance of closest approach to an unsafe set. \nA finite-dimensional but nonconvex peak estimation problem can be converted into an infinite-dimensional linear program (LP) in measures\, which is in turn bounded by a convergent sequence of semidefinite programs. The LP is posed in terms of an initial\, a terminal\, and an occupational measure\, where the occupation measure contains all possible information about the dynamical systems’ trajectories. This research applies measure-based methods towards safety quantification (e.g. distance estimation\, control effort needed to crash)\, hybrid systems\, bounded-uncertain systems (including for data-driven analysis)\, stochastic systems\, and time-delay systems. The modularity of this measure-based framework allows for multiple problem variations to be applied simultaneously (e.g. distance estimation under time-delays)\, and for optimization models to be synthesized using MATLAB. Solving these optimization problems results in certifiable guarantees on system performance and behavior.
URL:https://ece.northeastern.edu/event/jared-miller-ph-d-defense-proposal-announcement/
LOCATION:MA
END:VEVENT
END:VCALENDAR