Synthesis of Optimal Resilient Control Strategies

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-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 languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis
EditorsDeepak D'Souza, K. Narayan Kumar
PublisherSpringer, Berlin [u. a.]
Pages417-434
Number of pages18
ISBN (print)978-3-319-68166-5
Publication statusPublished - 2017
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 10482
ISSN0302-9743

Conference

Title15th International Symposium on Automated Technology for Verification and Analysis
Abbreviated titleATVA 2017
Conference number
Duration3 - 6 October 2017
Degree of recognitionInternational event
Location
CityPune
CountryIndia

External IDs

Scopus 85031431950
ORCID /0000-0002-5321-9343/work/142236701

Keywords

Sustainable Development Goals

Keywords

  • Resilient Control Strategies

Library keywords