Dynamic control with indistinguishable events
From MaRDI portal
Publication:2256883
DOI10.1007/s10626-006-9327-xzbMath1306.93054OpenAlexW2065967467MaRDI QIDQ2256883
Publication date: 23 February 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-006-9327-x
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- Alternating automata on infinite trees
- Games for synthesis of controllers with partial observation.
- State-strategies for games in Fσδ ∩ Gδσ
- Supervisory control of discrete-event processes with partial observations