This work systematically develops the operational mathematics of robotic operations, extending the iteration count of fundamental robot functionalities—including perception, planning, control, and learning—from natural numbers to integers, rational numbers, real numbers, and complex numbers. A self-contained axiomatic system (seven independent axioms) is introduced, covering recursion, initial conditions, zero iteration, existence of inverses (with an operational principal branch), analytic continuation, compatibility with fractional calculus, and regularity. It is shown that for all levels n ≥ 2 the hyperoperation hierarchy collapses to level2, making the base operation ◦2 universal. Using Schröder’s and Abel’s equations, fractional and real-order iterations are constructed for hyperbolic, parabolic and superattracting fixed points. The Kneser construction is adapted to robotic operations that possess complex attracting fixed points, and the iteration count is extended to complex orders, revealing a rich singularity structure: mixed algebraic branch points (from kinematic singularities) and logarithmic branch points (from joint-angle periodicity), with the negative real axis as a natural boundary. The theory develops a full robotic fractional calculus (fractional integrals and derivatives, Sobolev spaces, Euler-Lagrange equations, and a Noether theorem) as well as spectral theory (infinitesimal generator, Koopman operator, ergodicity). A categorical equivalence is established between the additive group of complex numbers and the semigroup of robotic iteration shifts. The complete hierarchy collapse, non-idempotence, weighted parametrized families, multi-robot systems (coupled iterations and mean-field limits) and high-precision numerical algorithms with rigorous error bounds are also treated. The framework is applied to iterative learning control, fractional PID, fractional path planning, fractional Kalman filtering, and fractional meta-learning. The results provide a unified algebraic and analytic foundation for extending robotic operations to continuous and complex iteration counts, opening new directions for algorithm design, control, and learning in robotics.
Liu S (Wed,) studied this question.