elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Synthesizing optimally resilient controllers

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

[img] PDF - Preprintversion (eingereichte Entwurfsversion)
350kB

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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/131262/
Dokumentart:Zeitschriftenbeitrag
Titel:Synthesizing optimally resilient controllers
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Neider, Danielneider (at) mpi-sws.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Weinert, Alexanderalexander.weinert (at) dlr.dehttps://orcid.org/0000-0001-8143-246XNICHT SPEZIFIZIERT
Zimmermann, Martinmartin.zimmermann (at) liverpool.ac.ukhttps://orcid.org/0000-0002-8038-2453NICHT SPEZIFIZIERT
Datum:31 Oktober 2019
Erschienen in:Acta Informatica
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Ja
Band:57
DOI:10.1007/s00236-019-00345-7
Seitenbereich:Seiten 195-221
Verlag:Springer
ISSN:0001-5903
Status:veröffentlicht
Stichwörter:Informatik, Programmsynthese, Fehlerresilienz
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:Technik für Raumfahrtsysteme
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):R - Vorhaben SISTEC (alt)
Standort: Köln-Porz
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Institut für Simulations- und Softwaretechnik > Verteilte Systeme und Komponentensoftware
Hinterlegt von: Weinert, Alexander
Hinterlegt am:28 Nov 2019 12:09
Letzte Änderung:27 Jun 2023 15:04

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.