Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

DOI10.4230/OASIcs.SynCoP.2015.48zbMath1429.93105OpenAlexW2290674188MaRDI QIDQ5240151

Nicolas Markey, Laurent Fribourg, Ulrich Kühne

Publication date: 24 October 2019

Full work available at URL: https://doi.org/10.4230/OASIcs.SynCoP.2015.48

zbMATH Keywords

robustnessgamescontroller synthesispartial observationcyber-physical systems

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Compositional synthesis of state-dependent switching control

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite controlled invariants for sampled switched systems
• Nash equilibria in symmetric graph games with partial observation
• The complexity of two-player games of incomplete information
• Synthesis using approximately bisimilar abstractions
• Algorithms for Omega-Regular Games with Imperfect Information
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Verification and Control of Hybrid Systems
• On the synthesis of strategies in infinite games
• Basic problems in stability and design of switched systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• CONCUR 2005 – Concurrency Theory