Preprints
M. Anand*, A. Lavaei*, and M. Zamani, From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems, submitted for publication, 2021.
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, submitted for publication, 2021.
A. Lavaei, and M. Zamani, From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems, submitted for publication, 2020.
* Beide Autoren haben gleichermaßen beigetragen.
Fachzeitschriftartikel
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 Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations, Nonlinear Analysis: Hybrid Systems, vol. 39, 2020.
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.
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.
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. 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), to appear, 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), to appear, 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), to appear, 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), 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, 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, to appear, 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), pp. 1-2, 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.
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), pp. 3-5, 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), pp. 273-274, 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.
|