I have seen this control used in a number of apps, but I do not know a formal name for it and any of my attempts to search for it are failing because of a lack of a concise way to describe it. I have seen it used as type of non-linear navigation control, but I suppose it could be linear. Its nodes can indicate a certain status, such as 'Complete'.
Is there a formal name for this control? If so, what is it?