  We present a robust control framework for time-critical systems in which
satisfying real-time constraints is of utmost importance for the safety of the
system. Signal Temporal Logic (STL) provides a formal means to express a
variety of real-time constraints over signals and is suited for planning and
control purposes as it allows us to reason about the time robustness of such
constraints. The time robustness of STL particularly quantifies the extent to
which timing uncertainties can be tolerated without violating real-time
specifications. In this paper, we first pose a control problem in which we aim
to find an optimal input sequence to a control system that maximizes the time
robustness of an STL constraint. We then propose a Mixed Integer Linear Program
(MILP) encoding and provide correctness guarantees and a complexity analysis of
the encoding. We also show in two case studies that maximizing STL time
robustness allows to account for timing uncertainties of the underlying control
system.
