23 citations · 45 across the 6 of their papers we have counts for
3 papers · 1 filter
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…
Model Predictive Control for Signal Temporal Logic Specification
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy +3
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use…
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…