Titles and Abstracts
Registered Participants
Part I
-
Thursday, July 8 (Virtual: Eastern Standard Time (NY))
| Time | Title | Speaker |
|---|
| 7:50-8:00 | Welcome | |
| 8:00-8:40 |
Piecewise deterministic Markov Processes (slides) | Michel Benaim and Tobias Hurth, Université de Neuchâtel
|
| 8:45-9:25 |
On principle eigenvalue for time-periodic parabolic operators (slides) |
Yuan Lou, Ohio State University |
| 9:30-10:10 |
Automated Verification and Control Synthesis for
CPS with SHS Models (slides) |
Alessandro Abate, University of Oxford
|
| 10:10-10:30 | Coffee break | |
| 10:30-11:10 |
Stabilisation of Highly Nonlinear Hybrid Stochastic
Differential Delay Equations by Delay Feedback Control (slides) |
Xuerong Mao, University of Strathclyde |
| 11:15-11:55 |
An optimal pairs trading selling rule under a regime-switching model (slides) |
Qing Zhang, University of Georgia |
| 11:55-1:30 pm | Lunch break | |
| 1:30-2:10 |
Stochastic hybrid decision-making networks for a global almost sure unanimity |
Andrew Teel, University of California, Santa Barbara |
| 2:15-2:55 |
Phase field model for dislocation self-climb of prismatic dislocation loops (slides) |
Xiaodong Yan, Univerity of Connecticut |
| 3:00-3:40 |
Stochastic Optimization Without Integration (slides) |
Joao Hespanha, University of California, Santa Barbara |
| 3:45-4:25 |
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (slides) |
Andre Platzer, Carnegie Mellon University |
-
Friday, July 9 (Virtual: Eastern Standard Time (NY))
Organizers:
George Yin
University of Connecticut
Department of Mathematics
Abhyudai Singh
University of Delaware
Department of Electrical and Computer Engineering
Sponsor:
The symposium is supported by
the Army Research Office.
