Local definition of generalized control systems.

Mathematical analysis of axioms that provide local definition of generalized control systems