Mathematical models for geometric control theory