Of the things Ive learned from asking this question is that people like to argue for the sake of arguing. Im sure each signal state machine is set as a function of the speed limit as input. then it just knows how long to stay yellow and when to switch to red. Most likely with a buffer to take into account various conditions.