Robust Decidability of Sampled-Data Control of Nonlinear Systems with Temporal Logic Specifications

Jun Liu

This paper explores the theoretical limits of using discrete abstractions for nonlinear control synthesis. More specifically, we consider the problem of deciding continuous-time co…