Follow
Kasra Ghasemi
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–5