Preprints
B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo, Towards Safe AI: Safevisor Architecture for Sandboxing AIbased Controllers in Stochastic CyberPhysical Systems, submitted for publication, 2020.
A. Lavaei, and M. Zamani, From Dissipativity Theory to Compositional Synthesis of LargeScale Stochastic Switched Systems, submitted for publication, 2020.
Journal Papers
A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstractionbased Synthesis of General MDPs via Approximate Probabilistic Relations, Nonlinear Analysis: Hybrid Systems, to appear, 2020.
A. Lavaei, S. Soudjani, A. Abate, and M. Zamani, Automated Verification and Synthesis of Stochastic Hybrid Systems: An Overview, Automatica, accepted as a survey paper proposal, 2020.
A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstractionbased Synthesis for Networks of Stochastic Switched Systems, Automatica, vol. 114, 2020.
A. Lavaei, S. Soudjani, and M. Zamani, Compositional (In)Finite Abstractions for LargeScale Interconnected Stochastic Systems, IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2020.2975812, 2020.
A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstraction of LargeScale 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. 125137, 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. 241256, 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. 4460, 2017.
M.A. Atashgah, H. Gazerpour, A. Lavaei, and Y. Zarei, An Active Timeoptimal Control for Space Debris Deorbiting via Geomagnetic Field, Celestial Mechanics and Dynamical Astronomy, vol. 128, no. 23, pp. 343360, 2017.
M.A. Atashgah, M.R. Torkamani, and A. Lavaei, Robust Positioning, Preliminary Orbit Determination, and Trajectory Prediction of Space Debris using InSpace IterativeBearingOnly Observations, The Journal of Navigation, vol. 70, no. 4, pp. 789809, 2017.
A. Lavaei, and M.A. Atashgah, ThreeDimensional Constrained Optimal Motion Planning for a SixDegreeofFreedom Quadrotor for Urban Traffic Purposes, Modares Mechanical Engineering, vol. 15, no. 5, pp. 1324, 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. 11241141, 2014.
Book Chapters
A. Lavaei*, M. Khaled*, S. Soudjani, and M. Zamani, AMYTISS: PArallelized AutoMated Controller SYnthesis for LargeScale STochastIc SystemS, 32nd International Conference on ComputerAided Verification (CAV), Lecture Notes in Computer Science 12225, pp. 461474, Springer, 2020.
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.
* Both authors have contributed equally.
Conference Papers
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, ARCHCOMP20 Category Report: Stochastic Models, 21st IFAC World Congress, to appear, 2020.
M. Anand*, A. Lavaei*, and M. Zamani, Compositional Construction of Control Barrier Certificates for LargeScale Interconnected Stochastic Systems, 21st IFAC World Congress, to appear, 2020.
A. Lavaei*, M. Khaled*, S. Soudjani, and M. Zamani, AMYTISS: A Parallelized Tool on Automated Controller Synthesis for LargeScale Stochastic Systems, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 12, 2020. (Best Demo/Poster Award)
A. Lavaei, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani, Formal Controller Synthesis for ContinuousSpace MDPs via ModelFree Reinforcement Learning, 11th ACM/IEEE Conference on CyberPhysical Systems (ICCPS), pp. 98107, 2020.
A. Lavaei, and M. Zamani, Compositional Verification of LargeScale Stochastic Systems via Relaxed SmallGain Conditions, 58th IEEE Conference on Decision and Control (CDC), pp. 25742579, 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 LargeScale Stochastic Switched Systems: A Dissipativity Approach, 15th IFAC Symposium on LargeScale Complex Systems: Theory and Applications (LSS), vol. 52, no. 3, pp. 3136, 2019. (IFAC Young Author Award Finalist)
A. Lavaei, and M. Zamani, Compositional Finite Abstractions for LargeScale Stochastic Switched Systems, 5th International Workshop on SymbolicNumeric Methods for Reasoning about CPS and IoT (SNR) in conjunction with CyberPhysical Systems and InternetofThings Week (CPSIoT Week), pp. 35, 2019.
A. Lavaei, S. Soudjani, and M. Zamani, Compositional Synthesis of Finite Abstractions for ContinuousSpace Stochastic Control Systems: A SmallGain Approach, 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 51, no. 16, pp. 265270, 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), pp. 273274, 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. 2130, 2018.
A. Lavaei, S. Soudjani, R. Majumdar, and M. Zamani, Compositional Abstractions of Interconnected DiscreteTime Stochastic Control Systems, 56th IEEE Conference on Decision and Control (CDC), pp. 35513556, 2017.
Dissertations
A. Lavaei, Automated Verification and Control of LargeScale Stochastic CyberPhysical Systems: Compositional Techniques, Ph.D. Dissertation, Technical University of Munich (TUM), Germany, 2019.
A. Lavaei, 3D Constrained Optimal Motion Planning and Robust Tracking Control for a 6DoF Quadcopter, M.Sc. Thesis, University of Tehran (UT), Iran, 2014.
