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 control I, Proc. SPIE 5833, Quantum Informatics 2004, 62 (July 28, 2005); doi
Jan Willem Polderman, Jan C. Willems, Introduction to the mathematical theory of systems and control
Geometric Control using differential geometry, symplectic geometry, Lie groups and Lie algebras
Quantum control
Last revised on February 5, 2026 at 23:03:41. See the history of this page for a list of all contributions to it.