Coalgebra and Supervisory Control with Partial Observations
Jan Komenda · 2002
Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and su#cient conditions for the existence of a supervisory control which achieves a considered legal language. 1