2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.RO2023
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis
Guy Scher, Sadra Sadraddini, Ariel Yadin +1
Providing guarantees on the safe operation of robots against edge cases is challenging as testing methods such as traditional Monte-Carlo require too many samples to provide reason…
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…