Takip et
Abolfazl Lavaei
Abolfazl Lavaei
Assistant Professor, Newcastle University
newcastle.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
1192022
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
572020
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
552019
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
472020
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
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
402020
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
382017
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
362022
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
332023
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
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
292022
Arch-comp21 category report: Stochastic models
A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
272021
Constructing MDP abstractions using data with formal guarantees
A Lavaei, S Soudjani, E Frazzoli, M Zamani
IEEE Control Systems Letters 7, 460-465, 2022
262022
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 36, 100880, 2020
252020
Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques
A Lavaei
Technische Universität München, 2019
252019
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
Data-driven verification and synthesis of stochastic systems via barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
Automatica 159, 111323, 2024
212024
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
202022
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20