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
792022
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
542019
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
512020
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
442020
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
402018
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
382020
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
342020
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
342017
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
322021
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
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
232022
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
Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques
A Lavaei
Technische Universität München, 2019
222019
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
Compositional construction of finite MDPs for large-scale stochastic switched systems: A dissipativity approach
A Lavaei, M Zamani
IFAC-PapersOnLine 52 (3), 31-36, 2019
182019
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
172022
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
152024
Constructing MDP abstractions using data with formal guarantees
A Lavaei, S Soudjani, E Frazzoli, M Zamani
IEEE Control Systems Letters 7, 460-465, 2022
152022
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
142022
Data-driven verification and synthesis of stochastic systems through barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
arXiv preprint arXiv:2111.10330, 2021
142021
The system can't perform the operation now. Try again later.
Articles 1–20