Toward a Coalgebraic Model of Control Programs
Timothy A. V. Teatro, Johan Eklund, Ruth Milman · 2022
The paper provides a model of a mathematical model of a control systems program. This model, in the abstract setting of category theory, also suggests an architecture for engineering. A polynomial functor is used to specify a Moore machine and through the fixpoint of this functor we obtain a transducer from a stream of input values to a stream of control values. Implementation using Reactive Extensions (Rx) is sketched in a language independent manner.