Synthesizing Robust Systems

Roderick Paul Bloem*, Karin Greimel, Thomas Henzinger, Barbara Jobstmann

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


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 ti
Original languageEnglish
Title of host publicationProceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Publication statusPublished - 2009


Dive into the research topics of 'Synthesizing Robust Systems'. Together they form a unique fingerprint.

Cite this