{"id":"arxiv/2607.01515","url":"https://arxiv.org/abs/2607.01515","tags":["eess.SY","math.OC"],"score":0,"title":"Context-Triggered Robust MPC for Temporal Logic Specifications","domain":"eess.SY","source":"arxiv","authors":["Arash Bahari Kordabad","Satya Prakash Nayak","Sadegh Soudjani","Anne-Kathrin Schmuck"],"reviews":0,"subject":"eess.SY","summary":"We consider the problem of synthesizing robust feedback controllers for discrete-time linear systems that ensure the satisfaction of context-dependent linear temporal logic specifications in the presence of additive bounded disturbances. Building on existing results that reduce context-triggered temporal logic synthesis to the realization of context-dependent reach-avoid-stay (cRAS) objectives, we focus on the corresponding low-level control synthesis problem. We first employ certificate-based conditions for the almost-sure satisfaction of RAS specifications. Based on these conditions, we…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}