Logical time control of concurrent DES

DOI10.1007/s10626-020-00333-xzbMath1478.93185OpenAlexW3120853780MaRDI QIDQ2058560

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux

Publication date: 9 December 2021

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-020-00333-x

zbMATH Keywords

game theoryfinite automatacontroller synthesistimed systems

Mathematics Subject Classification ID

2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45) Synthesis problems (93B50) Attainable sets, reachability (93B03)

Related Items (1)

A turn-based approach for qualitative time concurrent games

Uses Software

• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strategy improvement for concurrent reachability and turn-based stochastic safety games
• A theory of timed automata
• An algebraic framework for urgency
• Concurrent reachability games
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• On the synthesis of strategies in infinite games
• On the synthesis of discrete controllers for timed systems
• Permissive strategies: from parity games to safety games
• Blending Timed Formal Models with Clock Transition Systems
• CONCUR 2005 – Concurrency Theory
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Logical time control of concurrent DES