Timed Control with Observation Based and Stuttering Invariant Strategies

DOI10.1007/978-3-540-75596-8_15MaRDI QIDQ3510796zbMATH OpenOpenAlexFDO

Authors Franck Cassez, Alexandre David, Didier Lime, Kim G. Larsen, Jean-François Raskin

Publication date 3 July 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75596-8_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Synthesis problems (93B50)

Recommendations

• Timed control with partial observability.
• Probabilistic robust timed games
• Efficient On-the-Fly Algorithms for Partially Observable Timed Games
• Controllers with minimal observation power (application to timed systems)
• Timed Parity Games: Complexity and Robustness

Cites work

• A theory of timed automata
• Algorithms for Omega-Regular Games with Imperfect Information
• CONCUR 2005 – Concurrency Theory
• Formal Methods for the Design of Real-Time Systems
• From timed automata to logic -- and back
• scientific article; zbMATH DE number 1303059 (Why is no real title available?)
• scientific article; zbMATH DE number 1487476 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Model-checking for real-time systems
• On the synthesis of discrete controllers for timed systems
• Timed control with partial observability.

Cited in

(12)

• Verification and control of partially observable probabilistic systems
• Timing control of switched systems with applications to robotic marionettes
• Verification and control of partially observable probabilistic real-time systems
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Model Checking Real-Time Systems
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Efficient on-the-fly algorithm for checking alternating timed simulation
• Realizability of real-time logics
• Controllers with minimal observation power (application to timed systems)
• Verification and performance evaluation of timed game strategies
• Control Strategies for Off-Line Testing of Timed Systems
• What's to come is still unsure. Synthesizing controllers resilient to delayed interaction

Describes a project that uses

Uses Software

• UPPAAL TIGA
• Uppaal
• CMC

This page was built for publication: Timed Control with Observation Based and Stuttering Invariant Strategies

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