Search Results for author: Kasra Ghasemi

Found 2 papers, 0 papers with code

Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts

no code implementations2 Aug 2022 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 disturbances.

Model Predictive Control

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization

no code implementations30 Jun 2022 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.