Ahmad G. Ahmad
Systems Engineering PhD candidate co-advised by Prof. Calin Belta and Prof. Roberto Tron, and a member of the Hybrid and Networked Systems Group in the BU Robotics Lab. My research interests are in using formal methods in the algorithmic development of motion planning and control algorithms for safety-critical systems. Formal methods aid in developing algorithms that are correct-by-design to ensure desirable specifications of the cyberphysical system at hand.
2021-present, PhD Systems Engineering, Boston University
2021 (Aug-Nov), Motion Planning and Control Intern @ MERL , Publication
2019-2021, M.S Systems Engineering, Boston University, M.S Thesis, Publication
2019-2020, Lab Technician @ Analog Photonics
2013-2018, B.E of Mechatronics Eng., Palestine Polytechnic University, B.S Thesis
Publications:
R. Quirynen, Y. Wang, S. Di Cairano, A. Ahmad, Z. Wang, A. BHAGAT, E. Zeino, "System and Method for Controlling Movement of a Vehicle", US patent: US20240059317A1, 2024 link
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, and Calin Belta, "Robustness Measures and Monitoring for Time Window Temporal Logic" 62nd IEEE Conference on Decision and Control (CDC), 2023 arXiv preprint
Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron, "Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning", 2023 arXiv preprint, GitHub link
Ahmad Ahmad, Calin Belta, and Roberto Tron, "Adaptive Sampling-based Motion Planning with Control Barrier Functions" 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, 2022 arXiv preprint
Z. Wang, A. Ahmad, R. Quirynen, Y. Wang, A. Bhagat, E. Zeino, Y. Zushi, and S. Di Cairano,"Motion Planning and Model Predictive Control for Automated Tractor-Trailer Hitching Maneuver" 6th IEEE Conference on Control Technology and Applications (CCTA), Italy, 2022 link
Service (reviewer):
IEEE CDC & ACC 2023
IEEE RA-L (with ICRA submission) 2022
IEEE CCTA 2022
MRS 2023
IJRR 2024
News
Our work on introducing robustness measures and monitors for time window temporal logic (preprint ) has gotten accepted to CDC23. I will be heading to Singapore in Dec 2023 to present the work!
Our work on adaptive sampling motion planning with CBFs (arXiv link) got accepted to CDC22. I will be heading to Cancun, Mexico in Dec 2022 to present the work!