Robust Control Policies given Formal Specifications in Uncertain Environments

Damian Frick, Tony A. Wood, Gian Ulli +1

We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This work is motivated by autonomous systems intera…