 |
Ph.D. Candidate
Email: shadihdd [at] ucsc (dot) edu External Links |
About
I am currently a Ph.D. candidate in Applied Mathematics at the University of California, Santa Cruz. My work integrates control theory, optimization, machine learning (ML) and set-based reachability analysis. Specifically, I am currently designing novel neural architectures and optimization algorithms to learn reachable sets subject to controlled dynamics and set-valued uncertainties. These sets capture the collection of states a dynamical agent may occupy at a future time based on imperfect knowledge of the dynamics and uncertainties. Computing such sets is critical for guaranteeing the performance of the ML prediction and decision-making pipeline across safety-critical applications, including robotics, automated driving, and medical prognostics.
Education
University of California, Santa Cruz
Santa Cruz, CA
PhD in Applied Mathematics (Ongoing)
Chancellor’s Fellowship (2019)
Applied Mathematics Research Award (2022)
University of Tehran, College of Mechanical Engineering
Tehran, Iran
M.Sc. in Mechanical Engineering (Jan 2018)
Thesis: “Second Order Sliding Mode Tracking Control of a Piezoelectric Tapered Micro Actuator with Axial Deflection and System Nonlinearity”
Full Tuition Merit Scholarship
Work & Research
Graduate Student Researcher with the University of California, Santa Cruz (2019-Present)
Optimization for control and machine learning
Set-based reachability analysis
Stochastic control and model predictive control
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)
Micro-beam mechanical design and vibration control
Publications
2023
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
2022
- Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
- IEEE Conference on Decision and Control
- Scheduled Dec 2022, 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
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
- University of California at Berkeley
Instructional Experience
- Teaching Assistant
- Convex Optimization
- UC Santa Cruz
- Fall 2022
- Teaching Assistant
- Introduction to Dynamical Systems
- UC Santa Cruz
- Fall 2021
- Teaching Assistant
- Mathematical Methods for Engineering II
- UC Santa Cruz
- Winter 2021
Professional Activities
2022
Reviewer for 2023 IEEE Conference on Decision and Control
Reviewer for 2022 IEEE Conference on Decision and Control
2021
Reviewer for 2021 IEEE American Control Conference
Reviewer for 2021 IEEE Control Systems Letters
Reviewer for 2021 IEEE Conference on Decision and Control
Reviewer for 2021 CPS IoT Week Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems
2020
Reviewer for 2020 IEEE Conference on Decision and Control
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