31 citations · 33 across the 4 of their papers we have counts for
4 papers
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…
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…
Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
We develop an assume-guarantee framework for control of large scale linear (time-varying) systems from finite-time reach and avoid or infinite-time invariance specifications. The c…
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Ensuring constraint satisfaction in large-scale systems with hard constraints is vital in many safety critical systems. The challenge is to design controllers that are efficiently…