Agent based monitoring for smart cities: Application to traffic lights | IEEE Conference Publication | IEEE Xplore