{"_id":"3835","year":"2009","day":"11","page":"85 - 92","doi":"10.1109/FMCAD.2009.5351139","quality_controlled":"1","language":[{"iso":"eng"}],"date_updated":"2022-03-21T08:25:44Z","date_created":"2018-12-11T12:05:26Z","author":[{"full_name":"Bloem, Roderick","last_name":"Bloem","first_name":"Roderick"},{"full_name":"Greimel, Karin","last_name":"Greimel","first_name":"Karin"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Barbara","last_name":"Jobstmann","full_name":"Jobstmann, Barbara"}],"title":"Synthesizing robust systems","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2009-12-11T00:00:00Z","oa_version":"None","conference":{"name":"FMCAD: Formal Methods in Computer-Aided Design"},"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.","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."}],"status":"public","publication_status":"published","publist_id":"2373","type":"conference","publisher":"Springer","citation":{"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.","short":"R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.","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>.","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>","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>.","ista":"Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92."},"month":"12","scopus_import":"1","extern":"1"}