Follow
Abolfazl Lavaei
Title
Cited by
Cited by
Year
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
1122022
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning
A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
582020
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
542019
Compositional (in) finite abstractions for large-scale interconnected stochastic systems
A Lavaei, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 65 (12), 5280-5295, 2020
462020
AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems
A Lavaei, M Khaled, S Soudjani, M Zamani
International conference on computer aided verification, 461-474, 2020
412020
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
412020
From dissipativity theory to compositional construction of finite Markov decision processes
A Lavaei, S Soudjani, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
412018
From dissipativity theory to compositional synthesis of large-scale stochastic switched systems
A Lavaei, M Zamani
IEEE Transactions on Automatic Control 67 (9), 4422-4437, 2022
372022
Compositional abstractions of interconnected discrete-time stochastic control systems
A Lavaei, SEZ Soudjani, R Majumdar, M Zamani
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3551-3556, 2017
372017
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
332021
Formal verification of unknown discrete-and continuous-time systems: A data-driven approach
A Nejati, A Lavaei, P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 68 (5), 3011-3024, 2023
312023
From small-gain theory to compositional construction of barrier certificates for large-scale stochastic systems
M Anand, A Lavaei, M Zamani
IEEE Transactions on Automatic Control 67 (10), 5638-5645, 2022
302022
Constructing MDP abstractions using data with formal guarantees
A Lavaei, S Soudjani, E Frazzoli, M Zamani
IEEE Control Systems Letters 7, 460-465, 2022
272022
Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques
A Lavaei
Technische Universität München, 2019
262019
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 36, 100880, 2020
242020
Compositional synthesis of control barrier certificates for networks of stochastic systems against ω-regular specifications
M Anand, A Lavaei, M Zamani
Nonlinear Analysis: Hybrid Systems 51, 101427, 2024
232024
Optimal online trajectory generation for a flying robot for terrain following purposes using neural network
A Kosari, H Maghsoudi, A Lavaei, R Ahmadi
Proceedings of the Institution of Mechanical Engineers, Part G: Journal of …, 2015
232015
Compositional construction of safety controllers for networks of continuous-space POMDPs
N Jahanshahi, A Lavaei, M Zamani
IEEE Transactions on Control of Network Systems 10 (1), 87-99, 2022
212022
Data-driven verification and synthesis of stochastic systems via barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
Automatica 159, 111323, 2024
202024
Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach
A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 51 (16), 265-270, 2018
202018
The system can't perform the operation now. Try again later.
Articles 1–20