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

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

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)

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

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)