Abolfazl Lavaei


Abolfazl Lavaei

PhD Student

Technische Universität München

Hybrid Control Systems
Arcisstr. 21
80333 München

Tel: +49.89.289.23834
Fax: +49.89.289.23555
Building: 2906 Karlstraße 45/47
Room: 3018
E-Mail: lavaei@tum.de

Biography

Abolfazl Lavaei is a PhD candidate in the Department of Electrical and Computer Engineering at Technical University of Munich (TUM) since November, 2016. He is also a Munich Aerospace Doctoral Scholarship Holder under the research group of Autonomous Flight. Prior to joining the HCS Group, he has received the M.Sc. degree in Aerospace Engineering with a major in Flight Dynamics and Control from University of Tehran. He has worked on various areas of Control Theory such as Optimal Control, Robust Tracking, System Identification, and Motion Planning as well as their applications in mechanical systems. For his Master’s work, he has received the “Best Graduate Student Award” in all fields of study in Faculty of New Sciences and ‎Technologies at University of Tehran with the GPA of 20/20. During his PhD studies, he has been working on “Compositional (In)Finite Abstractions for Automated Verification and Synthesis of Large-Scale Interconnected Stochastic Control Systems”. More specifically, his current research focuses on developing the Abstraction-based Synthesis Techniques for Complex Networks in an automated fashion in order to enable them to make their own decisions without direct human involvement (e.g. Autonomous Driving). He is a scholar of Munich Aerospace Research Group as well as DLR Graduate Program.

Honors and Awards

• Recipient of Munich Aerospace Doctoral Scholarship, Hybrid Control Systems Group, Department of Electrical and Computer Engineering, Technical University of Munich (TUM), Germany, 2016.

Recipient of University of Auckland Doctoral Scholarship, Department of Electrical and Computer Engineering, University of Auckland, New Zealand, 2016.

Recipient of Concordia International Award of Excellence, Department of Electrical and Computer Engineering, Concordia University, Canada, 2016.

• Admitted by EDEE Doctoral ‎Program Committee, Department of Electrical Engineering, École Polytechnique Fédérale De Lausanne (EPFL), Switzerland, 2016.

Admitted by Doctoral ‎Program Committee, Department of Mechanical Engineering, University of Melbourne, Australia, 2016.

• Recipient of Departmental Prestigious Doctoral Fellowship, Department of Mechanical and Aerospace Engineering (Jacobs School of Engineering), University of California at San Diego (UCSD), United States, 2015.

• Best Graduate Student Award in all fields of study at Faculty of New Sciences and ‎Technologies, University of Tehran, 2015.

• The First Graduate Student Nationwide who managed to receive a two-year Master of Science degree in two semesters (one academic-year) with the full GPA (20 out of 20), 2014.

Publications

• A. Lavaei, S. Soudjani, and M. Zamani, “Compositional Abstractions of General Markov Decision Processes by Approximate Probabilistic Relations”. Submitted for publication, 2018.

• A. Lavaei, S. Soudjani, and M. Zamani, “Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions”. Submitted for publication, 2018.

• A. Lavaei, S. Soudjani, and M. Zamani, “Compositional Construction of Infi nite Abstractions for Networks of Stochastic Control Systems”. Submitted for publication, 2018. [Preprint]

• A. Lavaei, S. Soudjani, and M. Zamani, “Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach”, in Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), to appear, 2018.

• A. Lavaei, S. Soudjani, and M. Zamani, “Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs”, in Proceedings of the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 2018.

• A. Lavaei, S. Soudjani, and M. Zamani, “From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes”, in Proceedings of the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 2018. [Preprint]

• A. Lavaei, S. Soudjani, R. Majumdar, and M. Zamani, “Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems”, in Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 3551-3556, 2017. [Preprint]

• A. Lavaei, and M.A. Atashgah, “Optimal 3D Trajectory Generation in Delivering Missions under Urban Constraints for a Flying Robot”, Intelligent Service Robotics, vol. 10, no. 3, pp. 241-256, 2017.

Kosari, Amirreza, H. Maghsoudi, and A. Lavaei, “Path Generation for Flying Robots in Mountainous Regions”, International Journal of Micro Air Vehicles, vol. 9, no. 1, pp. 44-60, 2017.

M.A. Atashgah, H. Gazerpour, A. Lavaei, and Y. Zarei, “An Active Time-optimal Control for Space Debris Deorbiting via Geomagnetic Field”, Celestial Mechanics and Dynamical Astronomy, vol. 128, no. 2-3, pp. 343-360, 2017.

• M.A. Atashgah, M.R. Torkamani, and A. Lavaei, “Robust Positioning, Preliminary Orbit Determination, and Trajectory Prediction of Space Debris using In-Space Iterative-Bearing-Only Observations”, The Journal of Navigation, vol. 70, no. 4, pp. 789-809, 2017.

• A. Lavaei, and M.A. Atashgah, “Three-Dimensional Constrained Optimal Motion Planning for a Six-Degree-of-Freedom Quadrotor for Urban Traffic Purposes”, Modares Mechanical Engineering, Vol. 15, No. 5, pp. 13-24, 2015.

A. Kosari, H. Maghsoudi, A. Lavaei, and R. Ahmadi, “Optimal Online Trajectory Generation for a Flying Robot for Terrain Following Purposes using Neural Network”, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, vol. 229, no. 6, pp. 1124-1141, 2014.

Travels

July 11-13, 2018: 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Oxford, United Kingdom.

April 11-13, 2018: 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Porto, Portugal.

December 12-15, 2017: 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia.