Publications
Detailed Information
A dynamic game approach to distributionally robust safety specifications for stochastic systems
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yang, Insoon | - |
dc.creator | 양인순 | - |
dc.date.accessioned | 2019-04-25T01:49:53Z | - |
dc.date.available | 2020-04-05T01:49:53Z | - |
dc.date.created | 2019-07-22 | - |
dc.date.issued | 2018-08 | - |
dc.identifier.citation | Automatica, Vol.94, pp.94-101 | - |
dc.identifier.issn | 0005-1098 | - |
dc.identifier.uri | https://hdl.handle.net/10371/149684 | - |
dc.description.abstract | This paper presents a new safety specification method that is robust against errors in the probability distribution of disturbances. Our proposed distributionally robust safe policy maximizes the probability of a system remaining in a desired set for all times, subject to the worst possible disturbance distribution in an ambiguity set. We propose a dynamic game formulation of constructing such policies and identify conditions under which a non-randomized Markov policy is optimal. Based on this existence result, we develop a practical design approach to safety-oriented stochastic controllers with limited information about disturbance distributions. However, an associated Bellman equation involves infinite-dimensional minimax optimization problems since the disturbance distribution may have a continuous density. To alleviate computational issues, we propose a duality-based reformulation method that converts the infinite-dimensional minimax problem into a semi-infinite program that can be solved using existing convergent algorithms. We prove that there is no duality gap, and that this approach thus preserves optimality. The results of numerical tests confirm that the proposed method is robust against distributional errors in disturbances, while a standard stochastic safety verification tool is not. (C) 2018 Elsevier Ltd. All rights reserved. | - |
dc.language | 영어 | - |
dc.language.iso | en | en |
dc.publisher | Pergamon Press Ltd. | - |
dc.title | A dynamic game approach to distributionally robust safety specifications for stochastic systems | - |
dc.type | Article | - |
dc.identifier.doi | 10.1016/j.automatica.2018.04.022 | - |
dc.citation.journaltitle | Automatica | - |
dc.identifier.wosid | 000437076500012 | - |
dc.identifier.scopusid | 2-s2.0-85046676140 | - |
dc.description.srnd | OAIID:RECH_ACHV_DSTSH_NO:T201735383 | - |
dc.description.srnd | RECH_ACHV_FG:RR00200001 | - |
dc.description.srnd | ADJUST_YN: | - |
dc.description.srnd | EMP_ID:A080662 | - |
dc.description.srnd | CITE_RATE:6.126 | - |
dc.description.srnd | FILENAME:18Automatica_DRsafety.pdf | - |
dc.description.srnd | DEPT_NM:전기·정보공학부 | - |
dc.description.srnd | EMAIL:insoonyang@snu.ac.kr | - |
dc.description.srnd | SCOPUS_YN:Y | - |
dc.description.srnd | FILEURL:https://srnd.snu.ac.kr/eXrepEIR/fws/file/054f6bb2-feec-42f1-9187-7629479b3ef0/link | - |
dc.citation.endpage | 101 | - |
dc.citation.startpage | 94 | - |
dc.citation.volume | 94 | - |
dc.description.isOpenAccess | Y | - |
dc.contributor.affiliatedAuthor | Yang, Insoon | - |
dc.identifier.srnd | T201735383 | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.subject.keywordPlus | HYBRID SYSTEMS | - |
dc.subject.keywordPlus | REACHABILITY ANALYSIS | - |
dc.subject.keywordPlus | OPTIMIZATION | - |
dc.subject.keywordPlus | VERIFICATION | - |
dc.subject.keywordPlus | FRAMEWORK | - |
dc.subject.keywordPlus | SETS | - |
dc.subject.keywordAuthor | Stochastic control | - |
dc.subject.keywordAuthor | Stochastic systems | - |
dc.subject.keywordAuthor | Verification | - |
dc.subject.keywordAuthor | Safety analysis | - |
dc.subject.keywordAuthor | Reachability | - |
dc.subject.keywordAuthor | Game theory | - |
dc.subject.keywordAuthor | Duality | - |
dc.subject.keywordAuthor | Dynamic programming | - |
- Appears in Collections:
- Files in This Item:
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.