Timed Control with Observation Based and Stuttering Invariant Strategies

DOI10.1007/978-3-540-75596-8_15zbMath1141.68428OpenAlexW2152295777MaRDI QIDQ3510796

Didier Lime, Franck Cassez, Alexandre David, Kim Guldstrand 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

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

Related Items (7)

Model Checking Real-Time Systems ⋮ Verification and Control of Partially Observable Probabilistic Real-Time Systems ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Verification and control of partially observable probabilistic 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

Uses Software

• Uppaal
• CMC
• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of timed automata
• From timed automata to logic — and back
• Algorithms for Omega-Regular Games with Imperfect Information
• On the synthesis of discrete controllers for timed systems
• Model-checking for real-time systems
• Formal Methods for the Design of Real-Time Systems
• CONCUR 2005 – Concurrency Theory
• Hybrid Systems: Computation and Control
• Computer Aided Verification

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