Robust Controller Synthesis in Timed Automata

DOI10.1007/978-3-642-40184-8_38MaRDI QIDQ2842132zbMATH OpenOpenAlexFDO

Authors Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40184-8_38

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Recommendations

• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Robust Controller Synthesis for Uncertain Time-Varying Systems
• Optimal and robust controller synthesis. Using energy timed automata with uncertainty
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Robust parametric reachability for timed automata
• Robustness in timed automata
• Optimal controller synthesis for timed systems
• On the synthesis of discrete controllers for timed systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Template-based controller synthesis for timed systems

Cited in

(16)

• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Computing maximally-permissive strategies in acyclic timed automata
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Optimal and robust controller synthesis. Using energy timed automata with uncertainty
• Entropy of regular timed languages
• Shrinking timed automata
• Timed symbolic dynamics
• Robust reachability in timed automata: a game-based approach
• Probabilistic robust timed games
• scientific article; zbMATH DE number 2086417 (Why is no real title available?)
• Robust reachability in timed automata and games: a game-based approach
• Modelling and Verification of Timed Robotic Controllers
• Control and synthesis of non-interferent timed systems
• Robust controller synthesis in timed Büchi automata: a symbolic approach
• Robust Controller Synthesis for Duration Calculus
• Synthesis of robust optimal real-time systems

This page was built for publication: Robust Controller Synthesis in Timed Automata

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