Abolfazl Lavaei
Titel
Zitiert von
Zitiert von
Jahr
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
332019
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
312018
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
292017
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
262020
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
182020
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
172021
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
172018
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 36, 100880, 2020
152020
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
152015
Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques
A Lavaei
Technische Universität München, 2019
132019
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
132019
Compositional synthesis of not necessarily stabilizable stochastic systems via finite abstractions
A Lavaei, S Soudjani, M Zamani
2019 18th European Control Conference (ECC), 2802-2807, 2019
112019
Compositional synthesis of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
arXiv preprint arXiv:1902.01223, 2019
102019
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
92020
Compositional verification of large-scale stochastic systems via relaxed small-gain conditions
A Lavaei, M Zamani
2019 IEEE 58th Conference on Decision and Control (CDC), 2574-2579, 2019
82019
Compositional construction of control barrier certificates for large-scale interconnected stochastic systems
M Anand, A Lavaei, M Zamani
IFAC-PapersOnLine 53 (2), 1862-1867, 2020
72020
Path generation for flying robots in mountainous regions
A Kosari, H Maghsoudi, A Lavaei
International Journal of Micro Air Vehicles 9 (1), 44-60, 2017
72017
Three-Dimensional Constrained Optimal Motion Planning for a Six-Degree-of-Freedom Quadrotor Helicopter for Urban Traffic Purposes.
A Lavaei Yanesi, M Amiri Atashgah
Modares Mechanical Engineering 15 (5), 2015
62015
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems
A Lavaei, S Soudjani, M Zamani
International Workshop on Numerical Software Verification, 101-109, 2019
52019
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
42020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20