The analysis of control trajectories using symbolic and database computing | lit.salon