Kasra Ghasemi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Sufficient Conditions

Satisfiability Problem

Mazurkiewicz Traces

Top Venues

Publications

Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. Autom. 169 (2024)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. CoRR (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CDC (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CoRR (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis via a convex parameterization of assume-guarantee contracts. HSCC (2020)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. CoRR (2020)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CDC (2019)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CoRR (2019)