Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lavaei, Abolfazl
82  Ergebnisse:
Personensuche X
?
1

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/..
 
?
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

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/..
 
?
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

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..
 
?
6

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..
 
?
7

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..
 
?
8

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/..
 
?
9

Symbolic Abstractions with Guarantees: A Data-Driven Divide..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Lavaei, Abolfazl - p. 7994-7999 , 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

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/..
 
?
12

Constructing MDP Abstractions Using Data With Formal Guaran..:

Lavaei, Abolfazl ; Soudjani, Sadegh ; Frazzoli, Emilio.
IEEE Control Systems Letters.  7 (2023)  - p. 460-465 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Automata-based controller synthesis for stochastic systems:..:

Zhong, Bingzhuo ; Lavaei, Abolfazl ; Zamani, Majid.
Automatica.  147 (2023)  - p. 110696 , 2023
Link: https://doi.org/10.1016/..
 
?
14

Compositional Construction of Safety Controllers for Networ..:

Jahanshahi, Niloofar ; Lavaei, Abolfazl ; Zamani, Majid
IEEE Transactions on Control of Network Systems.  10 (2023)  1 - p. 87-99 , 2023
Link: https://doi.org/10.1109/..
 
?
15

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/..
 
1-15