Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios

Algorithm 1

Pseudocode of PSOTL.

Input: A scenario instance of a given city

Output: Best found solution encoding a cycle program

()

() while MAXIMUM do

() for each particle in do

()    // update velocity and particle’s position as in Standard PSO 2011

()   ← // Mid-Thread quantisation: adaptation to cycle programs encoding

()    // solution evaluation by micro-simulation on scenario instance

() end for

() ← // if better

() end while