AIOS for Smart Cities