Modeling, Optimization and Coordination of Decisions in a Smart City | IEEE Conference Publication | IEEE Xplore