elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Synthesizing optimally resilient controllers

Neider, Daniel and Weinert, Alexander and Zimmermann, Martin (2019) Synthesizing optimally resilient controllers. Acta Informatica, 57 (1), pp. 195-221. Springer. DOI: 10.1007/s00236-019-00345-7 ISSN 0001-5903

[img] PDF - Preprint version (submitted draft)
350kB

Official URL: https://link.springer.com/article/10.1007/s00236-019-00345-7

Abstract

Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermittent disturbances. In this extended framework, one is interested in computing optimally resilient strategies, i.e., strategies that are resilient against as many disturbances as possible. Dallal, Neider, and Tabuada showed how to compute such strategies for safety specifications. In this work, we compute optimally resilient strategies for a much wider range of winning conditions and show that they do not require more memory than winning strategies in the classical model. Our algorithms only have a polynomial overhead in comparison to the ones computing winning strategies. In particular, for parity conditions, optimally resilient strategies are positional and can be computed in quasipolynomial time.

Item URL in elib:https://elib.dlr.de/131262/
Document Type:Article
Title:Synthesizing optimally resilient controllers
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Neider, Danielneider (at) mpi-sws.deUNSPECIFIED
Weinert, Alexanderalexander.weinert (at) dlr.dehttps://orcid.org/0000-0001-8143-246X
Zimmermann, Martinmartin.zimmermann (at) liverpool.ac.ukhttps://orcid.org/0000-0002-8038-2453
Date:31 October 2019
Journal or Publication Title:Acta Informatica
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
Volume:57
DOI :10.1007/s00236-019-00345-7
Page Range:pp. 195-221
Publisher:Springer
ISSN:0001-5903
Status:Published
Keywords:Informatik, Programmsynthese, Fehlerresilienz
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Vorhaben SISTEC
Location: Köln-Porz
Institutes and Institutions:Institut of Simulation and Software Technology
Institut of Simulation and Software Technology > Distributed Systems and Component Software
Deposited By: Weinert, Alexander
Deposited On:28 Nov 2019 12:09
Last Modified:20 Apr 2020 08:29

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.