31 citations · 33 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 2 cited
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
We take a divide and conquer approach to design controllers for reachability problems given large-scale linear systems with polyhedral constraints on states, controls, and disturba…
eess.SY2022
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications. We first t…