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. Conferences, Workshops, Symposiums, and Seminars
  4. A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
 
conference paper

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems

Drzajic, Dalibor
•
Kariotoglou, Nikolaos
•
Kamgarpour, Maryam  
Show more
2017
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
3rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16

We propose a computational approach to approximate the value function and control poli- cies for a finite horizon stochastic reach-avoid problem as follows. First, we formulate an infinite dimensional linear program whose solution characterizes the optimal value function of the stochastic reach-avoid. Next, we introduce sum-of-squares polynomials to approxi- mate the solution of this linear program through a semidefinite program. We compare our proposed tool to alternative numerical approaches via several case studie.

  • Details
  • Metrics
Type
conference paper
Author(s)
Drzajic, Dalibor
Kariotoglou, Nikolaos
Kamgarpour, Maryam  
Lygeros, John
Date Issued

2017

Publisher

EPiC Series in Computing

Published in
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Volume

44

Start page

134

End page

143

URL
https://www.research-collection.ethz.ch/handle/20.500.11850/127133
Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
SYCAMORE  
Event nameEvent date
3rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16

2017

Available on Infoscience
December 1, 2021
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/183414
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