,
Springer
Discrete Event Dynamic Systems: Theory and Applications
Scientific Computing

Komenda, J., & van Schuppen, J. (2005). Control of discrete-event systems with partial observations using coalgebra and coinduction. Discrete Event Dynamic Systems: Theory and Applications, 15, 257–315.