31 citations · 31 across the 1 of their papers we have counts for
2 papers
eess.SY2020★ 31 cited
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…
eess.SY2019
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…