31 citations · 31 across the 1 of their papers we have counts for
4 papers
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…
Linear Encodings for Polytope Containment Problems
Sadra Sadraddini, Russ Tedrake
The polytope containment problem is deciding whether a polytope is a contained within another polytope. This problem is rooted in computational convexity, and arises in application…
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research…