Program
Thursday, August 10, 2023
8:00 AM | Light breakfast | | |
8:30 AM | Welcome and opening remarks | | Meera Sampath |
Session One: Supervisory Control
8:40 AM | Keynote presentation | From Supervisory Control to Cyber Resilience | Feng Lin |
9:25 AM | | Scaling the Formal Synthesis of Supervisory Control Software | Richard Hill |
9:50 AM | | The Solution of Planning Problems using Supervisory Control Theory | Patricia Pena |
10:15 AM | Break | | |
Session Two: Cyberphysical & Software Systems
10:45 AM | | On Robustness of Cyber-Physical Systems | Rômulo Meira-Góes |
11:10 AM | | Secure-by-construction synthesis of cyber-physical systems | Xiang Yin |
11:35 AM | | Supervisory Control for Software Engineering | Eunsuk Kang |
12:00 PM | Lunch | | |
Session Three: Security & Privacy
1:30 PM | Keynote presentation | Secrecy and Security in Discrete-Event Systems | Karen Rudie |
2:15 PM | | Back to the Future: From SupCon to Privacy | Kurt Rohloff |
2:40 PM | | Balancing Privacy and Utility in Networked Systems | Andrew Wintenberg |
3:05 PM | Break | | |
Session Four: Cybersecurity
3:35 PM | | International Conflict in the Information Age | Isaac Porche |
4:00 PM | | An Overview of Catastrophe Modeling and Cyber Insurance | Eric Dallal |
4:25 PM | AV set up | | |
4:30 PM | Recorded session: brief talks from former students | | |
5:00 PM | Day one concludes | | |
5:30 PM | Dinner by invitation only | | |
Friday, August 11, 2023
8:45 AM | Light breakfast and opening remarks | | Sahika Genc |
Session Five: Transportation
9:30 AM | Keynote presentation | From Discrete Event Systems to Event Driven Systems | Christos Cassandras |
10:10 AM | | Interactive Computer Aided Design of Energy Efficient Metro Tunnel Trajectories | Michael Polis |
10:15 AM | | Safety Standardization for Driving Automation Systems | Rami Debouk |
10:40 AM | Break and group photo | | |
Session Six: Aviation
11:10 AM | | New Air Transport | Raja Sengupta |
11:35 AM | | Modeling, Control, and Optimization of Resource Allocation Systems: From Concurrent Software to Aviation | Hongwei Liao |
12:00 PM | | Sense-And-Avoid Standards for UAV Operations in Civil Airspace | Yi-Liang Chen |
12:25 PM | Lunch | | |
Session Seven: AI & Automation
1:10 PM | | A Journey Through Deep Reinforcement Learning: From Robotics to Large Language Models | Sahika Genc |
1:35 PM | | From Diagnosability to Social Responsibility | Meera Sampath |
Session Eight: Networks
2:00 PM | | Control and Games on Networks | Peter E. Caines |
2:25 PM | | From Discrete Event Systems to Global Internet | Enke Chen |
2:50 PM | Break | | |
Symposium closing
3:00 PM | Special Announcement and Remarks by the Dean, College of Engineering | | Interim Dean Steve Ceccio |
3:15 PM | Remarks from ECE | | Mingyan Liu, Associate Dean for Academic Affairs, former ECE Chair |
3:30 PM | Concluding remarks | | Stéphane Lafortune |