Shadi Haddad


PhD in Applied Mathematics at UC Santa Cruz
MSc in Mechanical Engineering at University of Tehran
Curriculum Vitae

Email: shhaddad [at] ucsc (dot) edu

External Links

About

My research integrates control theory, optimization, machine learning, and set-based reachability analysis. In particular, my dissertation provides a collection of novel results and algorithms for estimating reach sets: Computing such sets is critical for guaranteeing the performance of machine learning and decision-making pipelines across safety-critical applications such as robotics, automated driving, and medical prognostics.

I have a strong mathematical background in optimization and dynamical systems; and extensive programming experience implementing numerical simulations, novel neural architectures, and optimization techniques.

Education

University of California, Santa Cruz

Santa Cruz, CA
PhD in Applied Mathematics, March 2024
Thesis: “A Geometric Approach for Learning Reach Sets”

University of Tehran, College of Mechanical Engineering

Tehran, Iran
M.Sc. in Mechanical Engineering, January 2018
Thesis: “Second Order Sliding Mode Tracking Control of a Piezoelectric Tapered Micro Actuator with Axial Deflection and System Nonlinearity”

Work & Research

Graduate Student Researcher with the University of California, Santa Cruz (2019-2024)

As a researcher in the Applied Mathematics Department at the University of California, Santa Cruz, I create and implement analytical and numerical methods essential for understanding the dynamics of control systems at the forefront of emerging technologies. Specifically, my responsibilities include proposing original research questions, developing theoretical result,implementing numerical experiments and computational simulations, writing research papers, and presenting our findings at top conferences.

Accomplishments:

Developed novel optimization methods for control and machine learning.

Constructed a novel sublinear input neural network (ISNN) architecture.

Introduced customized algorithm for set-based reachability.

Designed optimal stochastic controllers integrating optimal mass transport and model predictive control.

Proposed a stochastic reachability computation framework for occupancy prediction in automated driving.

Teaching Assistant with the University of California, Santa Cruz

Convex optimization (Fall 2022)
Introduction to Dynamical Systems (Fall 2021)
Mathematical Methods for Engineering II (winer 2021)

Graduate Student Researcher with the University of Tehran (2015-2018)

Accomplishments:

Conducted mechanical design of micro-piezoelectric actuator and vibration control.

Designed an observer based fault reconstruction schemes using terminal sliding modes

Publications

2024

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded In
S Haddad, A Halder. IEEE Control Systems Letters

2023

The Curious Case of Integrator Reach Sets, Part I: Basic Theory
S Haddad, A Halder. IEEE Transaction on Automatic Control
Convex and Nonconvex Sublinear Regression with Application to Data-driven Learning of Reach Sets
Shadi Haddad, Abhishek Halder. American Control Conference

2022

Hausdorff Distance between Norm Balls and their Linear Maps (under review)
Shadi Haddad, Abhishek Halder.
Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
Shadi Haddad, Abhishek Halder. IEEE Control Systems Letters
Density-Based Stochastic Reachability Computation for Occupancy Prediction in Automated Driving
Shadi Haddad, Abhishek Halder and and Baljeet Singh. IEEE Transaction on Control Systems Technology
Boundary and Taxonomy of Integrator Reach Sets
Shadi Haddad, Abhishek Halder. American Control Conference

2021

Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems
S Haddad, A Halder. CPS IoT Week Workshop

2020

Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
S Haddad, KF Caluya, A Halder, B Singh. IEEE Control Systems Letters
Observer based fault reconstruction schemes using terminal sliding modes
M Mousavi, M Rahnavard, S Haddad. International Journal of Control 93 (4), 881-888

2019

The Convex Geometry of Integrator Reach Sets
S Haddad, A Halder. American Control Conference

2018

Size dependent analysis of tapered FG micro-bridge based on a 3D beam theory
S Haddad, M Baghani, MR Zakerzadeh. Scientia Iranica 27 (6), 2889-2901

Talks and Presentations

2023

Convex and Nonconvex Sublinear Regression with Application to Data-driven Learning of Reach Sets
American Control Conference, July 2023, San Diego

2022

Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
IEEE Conference on Decision and Control, Cancún, Mexico.
Boundary and Taxonomy of Integrator Reach Sets
American Control Conference, Atlanta, GA

2021

Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
American Control Conference, Virtual Conference Talk
The Convex Geometry of Integrator Reach Sets
3rd NorCal Control Workshop, Virtual Conference Talk

2020

The Convex Geometry of Integrator Reach Sets
American Control Conference, Virtual Conference Paper and Talk

2019

Understanding the Geometry of Integrator Reach Sets for Robotics Applications
Bay Area Robotics Symposium, Spotlight Talk and Poster Presentation, UC Berkeley

Professional Activities

Reviewer for IEEE Conference on Decision and Control, 2020-2024.

Reviewer for Journal of Systems and Control Letters, 2023, 2024.

Reviewer for Journal of Optimization Theory and Applications, 2023.

Reviewer for American Control Conference, 2023, 2022.

Reviewer for IEEE Control Systems Letters, 2023, 2021.

Reviewer for 2021 CPS IoT Week Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems

Honors & Awards

2022

Applied Mathematics Research Award
University of California at Santa Cruz
Santa Cruz, CA
Student Travel Award
American Control Conference
Atlanta, GA
Advancement to Ph.D Candidacy with Honors
University of California at Santa Cruz
Santa Cruz, CA

2021

Student Travel Award
American Control Conference
New Orleans, LA (Virtual)

2020

Student Travel Award
American Control Conference
Denver, CO (Virtual)

2019

Chancellor’s Fellowship
University of California at Santa Cruz
Santa Cruz, CA

2015

Full Tuition Merit Scholarship
University of Tehran
Tehran, Iran

2011

Full Tuition Merit Scholarship
Chamran University of Ahvaz
Ahvaz, Iran