Sign in
Kasra Ghasemi
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 7
Top Topics
Mazurkiewicz Traces
Convex Optimization
Temporal Logic
Linear Systems
Top Venues
CoRR
CDC
HSCC
</>
Publications
</>
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)