Synthesis of Optimal Resilient Control Strategies
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are imposed, e.g., concerning the time or resources required (such as energy consumption or other kinds of costs). For systems modeled by Markov decision processes (MDPs), we introduce the concept of resilient schedulers, which represent control strategies guaranteeing that these constraints are always met within some given probability. Assigning rewards to the operational states of the system, we then aim towards resilient schedulers which maximize the long-run average reward, i.e., the expected mean payoff. We present a pseudo-polynomial algorithm that decides whether a resilient scheduler exists and if so, yields an optimal resilient scheduler. We show also that already the decision problem asking whether there exists a resilient scheduler is PSPACE-hard.
Details
Original language | English |
---|---|
Title of host publication | Automated Technology for Verification and Analysis |
Editors | Deepak D'Souza, K. Narayan Kumar |
Publisher | Springer, Berlin [u. a.] |
Pages | 417-434 |
Number of pages | 18 |
ISBN (print) | 978-3-319-68166-5 |
Publication status | Published - 2017 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 10482 |
---|---|
ISSN | 0302-9743 |
Conference
Title | 15th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA 2017 |
Conference number | |
Duration | 3 - 6 October 2017 |
Degree of recognition | International event |
Location | |
City | Pune |
Country | India |
External IDs
Scopus | 85031431950 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236701 |
Keywords
Sustainable Development Goals
Keywords
- Resilient Control Strategies