Folgen
Kasra Ghasemi
Kasra Ghasemi
Magna Electronics
Bestätigte E-Mail-Adresse bei bu.edu
Titel
Zitiert von
Zitiert von
Jahr
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
262020
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
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts
K Ghasemi, S Sadraddini, C Belta
arXiv preprint arXiv:2208.01701, 2022
12022
Compositional Synthesis via Convex Optimization of Assume-Guarantee Contracts
K Ghasemi
Boston University, 2023
2023
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
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5