Projects per year
Abstract
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 language  English 

Title of host publication  Proceedings of 9th International Conference on Formal Methods in ComputerAided Design, FMCAD 2009 
Publisher  . 
Pages  8592 
DOIs  
Publication status  Published  2009 
Fingerprint
Dive into the research topics of 'Synthesizing Robust Systems'. Together they form a unique fingerprint.Projects
 2 Finished

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & BraudSantoni, N.
1/02/08 → 15/07/19
Project: Research area

EU  COCONUT  A correctbyconstruction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Project: Research project