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

Author(s):

D. Frick, T. A. Wood, G. Ulli, M. Kamgarpour
Conference/Journal:

IEEE Control Systems Letters, vol. 1, no. 1, pp. 20-25
Abstract:

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.

Year:

2017
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
@ARTICLE{7918546, 
author={Frick, Damian and Wood, Tony A. and Ulli, Gian and Kamgarpour, Maryam}, 
journal={IEEE Control Systems Letters}, 
title={Robust Control Policies Given Formal Specifications in Uncertain Environments}, 
year={2017}, 
volume={1}, 
number={1}, 
pages={20--25}, 
keywords={Linear systems; Planning; Robust control; Robustness; Stochastic processes; Hybrid systems; Uncertain systems}, 
doi={10.1109/LCSYS.2017.2700333}, 
ISSN={2475-1456}, 
month={July}}
Permanent link