Logical time control of concurrent DES
From MaRDI portal
Publication:2058560
DOI10.1007/s10626-020-00333-xzbMath1478.93185MaRDI 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
91A05: 2-person games
91A80: Applications of game theory
68Q45: Formal languages and automata
93B50: Synthesis problems
93B03: Attainable sets, reachability
Related Items
Uses Software
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