constructive mathematics, realizability, computability propositions as types, proofs as programs, computational trinitarianism Wikipedia defines control theory as a field of control engineering and applied mathematics that deals with the control of dynamical systems Michel Fliess, Jean Lévine, Philippe Martin, Pierre Rouchon, Flatness and defect of non-linear systems: introductory theory and examples, Int. J. of control 61:6, 1327-1361 doi RGate: pdf E. Brion, N. Akulin et al., Non-holonomic...