E-LIB Suche - Ergebnisse für: Lavaei, Abolfazl

1

Safety Certificates of Stochastic Cyber-Physical Systems wi..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Akbarzadeh, Omid ; Lavaei, Abolfazl - p. 1-2 , 2024

Link: https://dl.acm.org/doi/1..

2

Scalable Synthesis of Safety Barrier Certificates for Netwo..:

Lavaei, Abolfazl ; Frazzoli, Emilio
IEEE Transactions on Automatic Control. , 2024

Link: https://doi.org/10.1109/..

3

IMPaCT: A Parallelized Software Tool for IMDP Construction ..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Wooding, Ben ; Lavaei, Abolfazl - p. 1-2 , 2024

Link: https://dl.acm.org/doi/1..

4

Abstraction-based Synthesis of Stochastic Hybrid Systems:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Lavaei, Abolfazl - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

5

Data-driven verification and synthesis of stochastic system..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
Automatica. 159 (2024) - p. 111323 , 2024

Link: https://doi.org/10.1016/..

6

Compositional synthesis of control barrier certificates for..:

Anand, Mahathi ; Lavaei, Abolfazl ; Zamani, Majid
Nonlinear Analysis: Hybrid Systems. 51 (2024) - p. 101427 , 2024

Link: https://doi.org/10.1016/..

7

MDP Abstractions from Data: Large-Scale Stochastic Networks:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),

Lavaei, Abolfazl - p. 6058-6063 , 2023

Link: https://doi.org/10.1109/..

8

Compositional Reinforcement Learning for Discrete-Time Stoc..:

Lavaei, Abolfazl ; Perez, Mateo ; Kazemi, Milad...
IEEE Open Journal of Control Systems. 2 (2023) - p. 425-438 , 2023

Link: https://doi.org/10.1109/..

9

A Compositional Dissipativity Approach for Data-Driven Safe..:

Lavaei, Abolfazl ; Soudjani, Sadegh ; Frazzoli, Emilio
IEEE Transactions on Automatic Control. 68 (2023) 12 - p. 7240-7253 , 2023

Link: https://doi.org/10.1109/..

10

Data-Driven Stability Certificate of Interconnected Homogen..:

Lavaei, Abolfazl ; Angeli, David
IEEE Control Systems Letters. 7 (2023) - p. 2395-2400 , 2023

Link: https://doi.org/10.1109/..

11

Estimation of Infinitesimal Generators for Unknown Stochast..:

Nejati, Ameneh ; Lavaei, Abolfazl ; Soudjani, Sadegh.
IEEE Control Systems Letters. 7 (2023) - p. 223-228 , 2023

Link: https://doi.org/10.1109/..

12

Robust Simulation Functions with Disturbance Refinement:

, In: 2023 European Control Conference (ECC),

Wooding, Ben ; Lavaei, Abolfazl ; Vahidinasab, Vahid. - p. 1-6 , 2023

Link: https://doi.org/10.23919..

13

Data-Driven Controller Synthesis via Finite Abstractions Wi..:

Ajeleye, Daniel ; Lavaei, Abolfazl ; Zamani, Majid
IEEE Control Systems Letters. 7 (2023) - p. 3453-3458 , 2023

Link: https://doi.org/10.1109/..

14

Formal Estimation of Collision Risks for Autonomous Vehicle..:

Lavaei, Abolfazl ; Lillo, Luigi Di ; Censi, Andrea.
IEEE Transactions on Control of Network Systems. 10 (2023) 1 - p. 407-418 , 2023

Link: https://doi.org/10.1109/..

15

Formal Verification of Unknown Discrete- and Continuous-Tim..:

Nejati, Ameneh ; Lavaei, Abolfazl ; Jagtap, Pushpak..
IEEE Transactions on Automatic Control. 68 (2023) 5 - p. 3011-3024 , 2023

Link: https://doi.org/10.1109/..