Preprints
A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal Verification of Unknown Discrete and ContinuousTime Systems: A DataDriven Approach, submitted for publication, 2021.
A. Nejati, A. Lavaei, P. Jagtap, and M. Zamani, A DataDriven Approach for Formal Verification of Dynamical Systems with Unknown Models, submitted for publication, 2021.
N. Jahanshahi, A. Lavaei, and M. Zamani, Compositional Construction of Safety Controllers for Networks of ContinuousSpace POMDPs, 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.
M. Anand*, A. Lavaei*, and M. Zamani, From SmallGain Theory to Compositional Construction of Barrier Certificates for LargeScale Stochastic Systems, submitted for publication, 2021.
B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo, Safevisor Architecture for Sandboxing (AIbased) Unverified Controllers in Stochastic CyberPhysical Systems, submitted for publication, 2021.
A. Lavaei, and M. Zamani, From Dissipativity Theory to Compositional Synthesis of LargeScale Stochastic Switched Systems, submitted for publication, 2020.
* Both authors have contributed equally.
Journal Papers
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, 2020.
A. Lavaei, S. Soudjani, and M. Zamani, Compositional Abstractionbased Synthesis of General MDPs via Approximate Probabilistic Relations, Nonlinear Analysis: Hybrid Systems, vol. 39, 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, vol. 65, no. 12, pp. 52805295, 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.
Conference Papers
A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, DataDriven Estimation of Infinitesimal Generators of Stochastic Systems, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), to appear, 2021.
A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani, DataDriven Safety Verification of Stochastic Systems via Barrier Certificates, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), to appear, 2021.
A. Lavaei, A. Nejati, S. Soudjani, and M. Zamani, Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A DataDriven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 2021.
A. Lavaei, A. Nejati, P. Jagtap, and M. Zamani, Formal Safety Verification of Unknown ContinuousTime Systems: A DataDriven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 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, ARCHCOMP20 Category Report: Stochastic Models, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing, vol. 74, pp. 76106, 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.
