Home > Program


Thursday, August 10, 2023

8:00 AMLight breakfast
8:30 AMWelcome and opening remarksMeera Sampath

Session One: Supervisory Control

8:40 AMKeynote presentationFrom Supervisory Control to Cyber Resilience Feng Lin
9:25 AMScaling the Formal Synthesis of Supervisory Control SoftwareRichard Hill
9:50 AMThe Solution of Planning Problems using Supervisory Control TheoryPatricia Pena
10:15 AMBreak

Session Two: Cyberphysical & Software Systems

10:45 AMOn Robustness of Cyber-Physical SystemsRômulo Meira-Góes
11:10 AMSecure-by-construction synthesis of cyber-physical systemsXiang Yin
11:35 AMSupervisory Control for Software EngineeringEunsuk Kang
12:00 PMLunch

Session Three: Security & Privacy 

1:30 PMKeynote presentationSecrecy and Security in Discrete-Event SystemsKaren Rudie
2:15 PMBack to the Future: From SupCon to PrivacyKurt Rohloff
2:40 PMBalancing Privacy and Utility in Networked SystemsAndrew Wintenberg
3:05 PMBreak

Session Four: Cybersecurity

3:35 PMInternational Conflict in the Information AgeIsaac Porche
4:00 PMAn Overview of Catastrophe Modeling and Cyber InsuranceEric Dallal
4:25 PM AV set up
4:30 PMRecorded session: brief talks from former students
5:00 PMDay one concludes
5:30 PMDinner by invitation only

Friday, August 11, 2023

8:45 AMLight breakfast and opening remarksSahika Genc

Session Five: Transportation 

9:30 AMKeynote presentationFrom Discrete Event Systems to Event Driven Systems  Christos Cassandras
10:10 AMInteractive Computer Aided Design of Energy Efficient Metro Tunnel TrajectoriesMichael Polis
10:15 AMSafety Standardization for Driving Automation SystemsRami Debouk
10:40 AM Break and group photo

Session Six: Aviation

11:10 AMNew Air TransportRaja Sengupta
11:35 AMModeling, Control, and Optimization of Resource Allocation Systems: From Concurrent Software to AviationHongwei Liao
12:00 PMSense-And-Avoid Standards for UAV Operations in Civil AirspaceYi-Liang Chen
12:25 PMLunch

Session Seven: AI & Automation

1:10 PMA Journey Through Deep Reinforcement Learning: From Robotics to Large Language ModelsSahika Genc
1:35 PMFrom Diagnosability to Social Responsibility Meera Sampath

Session Eight: Networks 

2:00 PMControl and Games on NetworksPeter E. Caines
2:25 PMFrom Discrete Event Systems to Global InternetEnke Chen
2:50 PMBreak

Symposium closing

3:00 PMSpecial Announcement and Remarks by the Dean, College of Engineering Interim Dean Steve Ceccio
3:15 PMRemarks from ECEMingyan Liu, Associate Dean for Academic Affairs, former ECE Chair
3:30 PMConcluding remarksStéphane Lafortune