Suivre
Kasra Ghasemi
Kasra Ghasemi
Cruise
Adresse e-mail validée de bu.edu
Titre
Citée par
Citée par
Année
Compositional synthesis via a convex parameterization of assume-guarantee contracts
K Ghasemi, S Sadraddini, C Belta
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
302020
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems
K Ghasemi, S Sadraddini, C Belta
2019 IEEE 58th Conference on Decision and Control (CDC), 2019
32019
Decentralized signal temporal logic control for perturbed interconnected systems via assume-guarantee contract optimization
K Ghasemi, S Sadraddini, C Belta
2022 IEEE 61st Conference on Decision and Control (CDC), 5226-5231, 2022
22022
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts
K Ghasemi, S Sadraddini, C Belta
arXiv preprint arXiv:2208.01701, 2022
22022
Compositional synthesis via convex optimization of assume-guarantee contracts
K Ghasemi
Boston University, 2023
2023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5