Kasra Ghasemi

According to our database, Kasra Ghasemi authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Compositional synthesis via convex optimization of assume-guarantee contracts

Kasra Ghasemi

PhD thesis, 2023

2022

Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts.

Kasra Ghasemi, Sadra Sadraddini, Calin Belta

CoRR, 2022

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.

Kasra Ghasemi, Sadra Sadraddini, Calin Belta

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020

Compositional synthesis via a convex parameterization of assume-guarantee contracts.

Kasra Ghasemi, Sadra Sadraddini, Calin Belta

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems.

Kasra Ghasemi, Sadra Sadraddini, Calin Belta

Proceedings of the 58th IEEE Conference on Decision and Control, 2019