15 citations · 55 across the 16 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Context-Triggered Robust MPC for Temporal Logic Specifications
Arash Bahari Kordabad, Satya Prakash Nayak, Sadegh Soudjani +1
We consider the problem of synthesizing robust feedback controllers for discrete-time linear systems that ensure the satisfaction of context-dependent linear temporal logic specifi…
eess.SY2023★ 15 cited
Context-triggered Abstraction-based Control Design
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa +2
We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Tem…