Publikationen

 

Preprints

• A. Lavaei and E. Frazzoli, Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence, submitted for publication, 2022.

• A. Lavaei and E. Frazzoli, Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems, submitted for publication, 2022.

• A. Lavaei, S. Soudjani, E. Frazzoli, and M. Zamani, Constructing MDP Abstractions using Data with Formal Guarantees, submitted for publication, 2022.

• A. Lavaei, P. Mohajerin Esfahani, and M. Zamani, Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics, submitted for publication, 2022.

• A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach, submitted for publication, 2022.

• A. Lavaei and E. Frazzoli, Scalable Synthesis of Safety Controllers for Networks of Two-Player Stochastic Switched Games, submitted for publication, 2021.

• A. Lavaei and E. Frazzoli, Formal Synthesis of Finite MDPs for Stochastic Hybrid Systems, submitted for publication, 2021.

• A. Lavaei, S. Soudjani, and E. Frazzoli, A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems, submitted for publication, 2021.

• A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani, Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates, submitted for publication, 2021.

• A. Lavaei, M. Perez, M. Kazemi, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani, Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems, submitted for publication, 2021.

• B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo, Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations, submitted for publication, 2021.

• A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach, submitted for publication, 2021.

• M. Anand, A. Lavaei, and M. Zamani, Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications, submitted for publication, 2021.
  

Fachzeitschriftartikel

• M. Anand*, A. Lavaei*, and M. Zamani, From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems, IEEE Transactions on Automatic Control, to appear, 2022.

• A. Lavaei, L. Di Lillo, A. Censi, and E. Frazzoli, Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach, IEEE Transactions on Control of Network Systems, conditionally accepted, 2022.

• N. Jahanshahi, A. Lavaei and M. Zamani, Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs, IEEE Transactions on Control of Network Systems, to appear, 2022.

• A. Lavaei and M. Zamani, From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems, IEEE Transactions on Automatic Control, 2022.

• B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo, Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems, Nonlinear Analysis: Hybrid Systems, (Special Issue on Security, Privacy and Safety of Cyber-Physical Systems), vol. 43, 2021.

• A. Lavaei, S. Soudjani, A. Abate, and M. Zamani, Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey, Automatica, accepted as a survey paper proposal, 2021.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations, Nonlinear Analysis: Hybrid Systems, vol. 39, 2021.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems, Automatica, vol. 114, 2020.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems, IEEE Transactions on Automatic Control, vol. 65, no. 12, pp. 5280-5295, 2020.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach, Nonlinear Analysis: Hybrid Systems, vol. 36, 2020.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems, Automatica, vol. 107, pp. 125-137, 2019.

• 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.

• A. Kosari, 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, Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, vol. 229, no. 6, pp. 1124-1141, 2014.
  

* Gleichermaßen beigetragen

Buchkapitel

• A. Lavaei*, M. Khaled*, S. Soudjani, and M. Zamani, AMYTISS: PArallelized AutoMated Controller SYnthesis for Large-Scale STochastIc SystemS, 32nd International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 12225, pp. 461-474, Springer, 2020. (Akzeptanzrate: 27%)

• A. Lavaei, S. Soudjani, and M. Zamani, Approximate Probabilistic Relations for Compositional Synthesis of Stochastic Systems, Numerical Software Verification (NSV), Lecture Notes in Computer Science 11652, pp. 101–109, Springer, 2019.
  

Konferenz-Paper

• A. Lavaei and E. Frazzoli, “Compositional Synthesis of Safety Controllers for Interconnected Stochastic Systems with Markovian Switching, American Control Conference (ACC), to appear, 2022.

• A. Lavaei, S. Soudjani, and E. Frazzoli, “Safety Barrier Certificates for Stochastic Hybrid Systems, American Control Conference (ACC), to appear, 2022.

• A. Lavaei, L. Di Lillo, M. Atzei, A. Censi, and E. Frazzoli, Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees, 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2022. (Best Demo/Poster Award)

• B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo, Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations, 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2022.

• A. Abate, H. Blom, M. Bouissou, N. Cauchi, H. Chraibi, J. Delicaris, S. Haesaert, A. Hartmanns, M. Khaled, A. Lavaei, H. Ma, K. Mallik, M. Niehage, A. Remke, S. Schupp, F. Shmarov, S. Soudjani, A. Thorpe, V. Turcuman and P. Zuliani, ARCH-COMP21 Category Report: Stochastic Models, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing, vol. 80, pp. 55-89, 2021.

• A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 54, no. 5, pp. 277-282, 2021.

• A. Salamati*, A. Lavaei*, S. Soudjani, and M. Zamani, Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 54, no. 5, pp. 7-12, 2021. (Best Repeatability Prize)

• A. Lavaei, B. Zhong, M. Caccamo, and M. Zamani, Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems, CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021.

• A. Lavaei, A. Nejati, S. Soudjani, and M. Zamani, Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2021.

• A. Lavaei, A. Nejati, P. Jagtap, and M. Zamani, Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2021.

• A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke, S. Schupp, F. Shmarov, S. Soudjani, A. P. Vinod, B. Wooding, M. Zamani, and P. Zuliani, ARCH-COMP20 Category Report: Stochastic Models, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing, vol. 74, pp. 76-106, 2020.

• M. Anand*, A. Lavaei*, and M. Zamani, Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems, 21st IFAC World Congress, vol. 53, no. 2, pp. 1862-1867, 2020.

• A. Lavaei*, M. Khaled*, S. Soudjani, and M. Zamani, AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2020. (Best Demo/Poster Award)

• A. Lavaei, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani, Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning, 11th ACM/IEEE Conference on Cyber-Physical Systems (ICCPS), pp. 98-107, 2020. (acceptance rate: 23%)

• A. Lavaei, and M. Zamani, Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions, 58th IEEE Conference on Decision and Control (CDC), pp. 2574-2579, 2019.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions, 18th European Control Conference (ECC), pp. 2802–2807, 2019.

• A. Lavaei, and M. Zamani, Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach, 15th IFAC Symposium on Large-Scale Complex Systems: Theory and Applications (LSS), vol. 52, no. 3, pp. 31-36, 2019. (IFAC Young Author Award Finalist)

• A. Lavaei, and M. Zamani, Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems, 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) in conjunction with Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week), 2019.

• A. Lavaei, S. Soudjani, and M. Zamani, Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach, 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 51, no. 16, pp. 265-270, 2018.

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

• A. Lavaei, S. Soudjani, and M. Zamani, From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes, 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 21-30, 2018.

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

Dissertation

• A. Lavaei, Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques, Phd. Dissertation, Technischen Universität München (TUM), Deutschland, 2019.

• A. Lavaei, 3D Constrained Optimal Motion Planning and Robust Tracking Control for a 6DoF Quadcopter, M.Sc. Thesis, Universität Teheran (UT), Iran, 2014.