Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice

DOI10.1007/978-3-642-18275-4_10zbMath1317.68130OpenAlexW3139526736MaRDI QIDQ3075475

Chih-Hong Cheng, Christian Buckl, Harald Ruess, Alois C. Knoll

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://mediatum.ub.tum.de/doc/1287145/document.pdf

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

On tolerance of discrete systems with respect to transition perturbations ⋮ Synthesizing robust systems

Uses Software

• Alpaga
• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• Automating the addition of fault tolerance with discrete controller synthesis
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Computer Aided Verification
• Distributed Computing

This page was built for publication: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice