Robust Control for Signal Temporal Logic Specifications using Average Space Robustness

Lars Lindemann, Dimos V. Dimarogonas

Control systems that satisfy temporal logic specifications have become increasingly popular due to their applicability to robotic systems. Existing control methods, however, are co…