Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Robust Control Policies Given Formal Specifications in Uncertain Environments


D. Frick, T. A. Wood, G. Ulli, M. Kamgarpour

IEEE Control Systems Letters, vol. 1, no. 1, pp. 20-25, [OC:09578]

We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This letter is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered disturbances, where the disturbances affect the atomic propositions of the specification. Our approach relies on introducing affine disturbance feedback policies and casting the problem as a bilinear optimization problem. We introduce an inner approximation of the constraint set leading to a mixed-integer quadratic program that can be solved using general-purpose solvers. The framework is demonstrated on a numerical case study with applications to autonomous driving.

Further Information

Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
@Article{ FriEtal:2017:IFA_5642,
  Title                    = {Robust Control Policies Given Formal Specifications in Uncertain Environments},
  Author                   = {Frick, Damian and Wood, Tony A. and Ulli, Gian and Kamgarpour, Maryam},
  Journal                  = {{IEEE} Control Systems Letters},
  Year                     = {2017},
  Month                    = jul,
  Number                   = {1},
  Pages                    = {20--25},
  Volume                   = {1},
  Doi                      = {10.1109/LCSYS.2017.2700333},
  ISSN                     = {2475-1456}
Permanent link