팔로우
Kasra Ghasemi
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5