A relation to express the state of a platoon