Abstract: ' The invention relates to a decision procedure in combinational logic which requires a computing time of n for determining the congestion of a railway track system. The railway track system supports n trains, each with a route length of m itineraries. Prior to setting a requested route segment for a given train, a query is performed to check train positions and whether the given train is allowed to travel on the track sectors to be used for the requested route segment, without causing a possibility that the track system may become congested. ....'

A similar traffic prediction system for guiding traffic to avoid congestion. DynaMIT is similar to the application because it uses historical data as well as various other factors like topology information, queue and speed (corresponds to density in application). In addition, it also does pre-trip prediction and en-route prediction (i.e. real-time update of route).