Synthesizing Optimally Resilient Controllers

DOI10.4230/LIPICS.CSL.2018.34MaRDI QIDQ5079759zbMATH OpenOpenAlexFDO

Authors Daniel Neider, Alexander Weinert, Martín G. Zimmermann

Publication date 28 May 2022

Full work available at URL https://doi.org/10.4230/lipics.csl.2018.34

zbMATH Keywords

controller synthesisdisturbancesinfinite gamesresilient strategies

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Synthesizing optimally resilient controllers
• Synthesis of Optimal Resilient Control Strategies
• Automata and games for synthesis
• What's to come is still unsure. Synthesizing controllers resilient to delayed interaction
• Synthesizing permissive winning strategy templates for parity games

Cites work

• Automata, logics, and infinite games. A guide to current research
• Automating the addition of fault tolerance with discrete controller synthesis
• Better Quality in Synthesis through Quantitative Objectives
• Borel determinacy
• Deciding parity games in quasipolynomial time
• Energy parity games
• Mechanizing Mathematical Reasoning
• On synthesizing robust discrete controllers under modeling uncertainty
• Permissive strategies: from parity games to safety games
• Quantitative games under failures
• Resilience to intermittent assumption violations in reactive synthesis
• Robust discrete synthesis against unspecified disturbances
• Robust linear temporal logic
• Synthesis of Reactive(1) designs
• Synthesizing optimally resilient controllers
• Synthesizing robust systems
• Towards Robustness for Cyber-Physical Systems

Cited in

(9)

• scientific article; zbMATH DE number 7447730 (Why is no real title available?)
• On Synthesizing Controllers from Bounded-Response Properties
• Synthesis of Optimal Resilient Control Strategies
• Quantitative reductions and vertex-ranked infinite games
• Optimally Resilient Strategies in Pushdown Safety Games
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• A symbolic algorithm for lazy synthesis of eager strategies
• scientific article; zbMATH DE number 1820093 (Why is no real title available?)

This page was built for publication: Synthesizing Optimally Resilient Controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079759)