Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Robust Control Policies Given Formal Specifications in Uncertain Environments
 
research article

Robust Control Policies Given Formal Specifications in Uncertain Environments

Frick, Damian
•
Wood, Tony A.
•
Ulli, Gian
Show more
July 2017
IEEE Control Systems Letters

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.

  • Details
  • Metrics
Type
research article
DOI
10.1109/LCSYS.2017.2700333
Author(s)
Frick, Damian
Wood, Tony A.
Ulli, Gian
Kamgarpour, Maryam  
Date Issued

2017-07

Published in
IEEE Control Systems Letters
Volume

1

Issue

1

Start page

20

End page

25

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
SYCAMORE  
Available on Infoscience
December 1, 2021
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/183346
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés