Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction

Jan Komenda, Jan H. van Schuppen. Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discrete Event Dynamic Systems, 15(3):257-315, 2005. [doi]

Abstract

Abstract is missing.