---
_id: '3835'
abstract:
- lang: eng
  text: Many specifications include assumptions on the environment. If the environment
    satisfies the assumptions then a correct system reacts as intended. However, when
    the environment deviates from its expected behavior, a correct system can behave
    arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e.,
    a small number of environment failures should induce a small number of system
    failures. We define ratio games and show that an optimal robust system corresponds
    to the winning strategy of a ratio game, where the system minimizes the ratio
    of system errors to environment errors. We show that ratio games can be solved
    in pseudopolynomial time.
acknowledgement: This research was supported in part by the Swiss National Science
  Foundation under the Indo-Swiss Joint Research Programme, by the European Network
  of Excellence on Embedded Systems Design (ArtistDesign), by the European Combest,
  Quasimodo, and Gasics projects, by the PAI program Moves funded by the Belgian Federal
  Government, and by the CFV (Federated Center in Verification) funded by the F.R.S.-FNRS.
article_processing_charge: No
author:
- first_name: Roderick
  full_name: Bloem, Roderick
  last_name: Bloem
- first_name: Karin
  full_name: Greimel, Karin
  last_name: Greimel
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Barbara
  full_name: Jobstmann, Barbara
  last_name: Jobstmann
citation:
  ama: 'Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems.
    In: Springer; 2009:85-92. doi:<a href="https://doi.org/10.1109/FMCAD.2009.5351139">10.1109/FMCAD.2009.5351139</a>'
  apa: 'Bloem, R., Greimel, K., Henzinger, T. A., &#38; Jobstmann, B. (2009). Synthesizing
    robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided
    Design, Springer. <a href="https://doi.org/10.1109/FMCAD.2009.5351139">https://doi.org/10.1109/FMCAD.2009.5351139</a>'
  chicago: Bloem, Roderick, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann.
    “Synthesizing Robust Systems,” 85–92. Springer, 2009. <a href="https://doi.org/10.1109/FMCAD.2009.5351139">https://doi.org/10.1109/FMCAD.2009.5351139</a>.
  ieee: 'R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Synthesizing robust
    systems,” presented at the FMCAD: Formal Methods in Computer-Aided Design, 2009,
    pp. 85–92.'
  ista: 'Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust
    systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92.'
  mla: Bloem, Roderick, et al. <i>Synthesizing Robust Systems</i>. Springer, 2009,
    pp. 85–92, doi:<a href="https://doi.org/10.1109/FMCAD.2009.5351139">10.1109/FMCAD.2009.5351139</a>.
  short: R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009,
    pp. 85–92.
conference:
  name: 'FMCAD: Formal Methods in Computer-Aided Design'
date_created: 2018-12-11T12:05:26Z
date_published: 2009-12-11T00:00:00Z
date_updated: 2022-03-21T08:25:44Z
day: '11'
doi: 10.1109/FMCAD.2009.5351139
extern: '1'
language:
- iso: eng
month: '12'
oa_version: None
page: 85 - 92
publication_status: published
publisher: Springer
publist_id: '2373'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synthesizing robust systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2009'
...