Program


November 14, 2019

November 14, 2019
12:15 PM
Registration desk opens
November 14, 2019
01:00 PM - 01:20 PM
Opening remarks Prof. Magnus Egerstedt, ECE Chair

Session 1
Chair: Sam Coogan

November 14, 2019
01:20 PM - 01:40 PM
Generating a variety of counterexamples induced by safety violation in Linear Hybrid Systems Manish Goyal
November 14, 2019
01:40 PM - 02:00 PM
A Data-Based Private Learning Approach for Enhanced Security Against Replay Attacks in Cyber-Physical Systems. Lijing Zhai
November 14, 2019
02:00 PM - 02:20 PM
Towards coordination strategies that reduce communication for multi-agent systems Michael Kepler
November 14, 2019
02:20 PM - 02:50 PM
Keynote: Eco-driving with Autonomous Vehicles with V2X communication Ali Reza Fayazi
November 14, 2019
02:50 PM - 03:10 PM
Networking break

Session 2
Chair: Makhin Thitsa

November 14, 2019
03:10 PM - 03:30 PM
Traffic Impacts of Optimal Eco-Driving in Realistic Traffic Microsimulations Tyler Ard
November 14, 2019
03:30 PM - 03:50 PM
Trust-based Task and Motion Planning for Multi-robot Systems Huanfei Zheng
November 14, 2019
03:50 PM - 04:10 PM
Output Regulation using Newton-Raphson Flow: Applications to Cooperative Pursuit-Evasion Shashwat Shivam
November 14, 2019
04:10 PM - 04:40 PM
Keynote: Statistical Verification of Hyperproperties for Cyber-Physical Systems Yu Wang
November 14, 2019
04:40 PM - 05:00 PM
Networking break

Session 3
Chair: Sridhar Duggirala

November 14, 2019
05:00 PM - 05:20 PM
H2/Conic Controller Synthesis Liangting Wu
November 14, 2019
05:20 PM - 05:40 PM
Reduced-dimensional Reinforcement Learning Control for Time-scale Separated Dynamical Systems Sayak Mukherjee
November 14, 2019
05:40 PM - 06:00 PM
Robust Tensor Recovery for Traffic Events Yue Hu
November 14, 2019
06:00 PM
MARTA to Reception from Tech Square
November 14, 2019
06:30 PM - 10:00 PM
Reception at the Commerce Club
November 14, 2019
10:00 PM
MARTA from Reception to Tech Square

November 15, 2019

November 15, 2019
08:00 AM - 09:00 AM
Networking breakfast

Session 4
Chair: Matthieu Bloch

November 15, 2019
09:00 AM - 09:20 AM
 Cooperative Intersection Control of Connected and Autonomous Vehicles Anye Zhou
November 15, 2019
09:20 AM - 09:40 AM
Synthesis for Stochastic Systems with Temporal Objectives Max Dutreix
November 15, 2019
09:40 AM - 10:00 AM
Contention-Resolving Model Predictive Control for Coupled Control Systems with a Shared Resource Ningshi Yao
November 15, 2019
10:00 AM - 10:30 AM
Keynote: A graph theoretic-based approach for deploying heterogeneous multi-agent systems with application in precision agriculture. Mohammadreza Davoodi
November 15, 2019
10:30 AM - 10:50 AM
Networking break TBA

Session 5
Chair: Leila Bridgeman

November 15, 2019
10:50 AM - 11:10 AM
Continuum Robot Control Based on Virtual Discrete-Jointed Robot Models Chengshi Wang
November 15, 2019
11:10 AM - 11:30 AM
Fault Detection and Fault Diagnosis for Originally Unknown Systems Ira Wendell Bates
November 15, 2019
11:30 AM - 11:50 AM
A Simple and Accurate Apollo-Trained Deep Neural Network Controller for Mars Atmospheric Entry Hao Wang
November 15, 2019
11:50 AM - 12:10 PM
Energy-Based Flight Control of a Fixed-Wing Aircraft Jean-Michel Fahmi
November 15, 2019
12:10 PM - 01:30 PM
Lunch TBA

Session 6
Chair: Javad M. Velni

November 15, 2019
01:30 PM - 01:50 PM
Perception inference engine (PIE), a data-driven approach for testing and evaluation of heterogeneous autonomous agent in the physical environment Mrinmoy Sarkar
November 15, 2019
01:50 PM - 02:10 PM
Time-Optimal Control of an Ultrasonic Sensor Kartik Sastry
November 15, 2019
02:10 PM - 02:30 PM
Differentially Private LQ Control Kasra Yazdani
November 15, 2019
02:30 PM - 03:00 PM
Keynote: Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities Xuejiao Yang
November 15, 2019
03:00 PM - 03:20 PM
Networking break TBA

Session 7
Chair: Matthew Hale

November 15, 2019
03:20 PM - 03:40 PM
Local Encounters in Robot Swarms: from Task Allocation to Density Regulation Siddharth Mayya
November 15, 2019
03:40 PM - 04:00 PM
Performance of Q-Learning with Linear Function Approximation: Stability and Finite-Time Analysis Zaiwei Chen
November 15, 2019
04:00 PM - 04:20 PM
Attack-Resilient Submodular Maximization for Multi-Robot Planning Lifeng Zhou
November 15, 2019
04:20 PM - 04:40 PM
Reduction of queuing delay in internet traffic Ronald Alvarez
November 15, 2019
04:40 PM - 05:00 PM
Controlling Uncertain Nonlinear Dynamics via Lyapunov Control Methodology Runhan Sun
November 15, 2019
05:00 PM - 05:05 PM
Concluding remarks Prof. Sam Coogan