Scalability in urban autonomy through overlapping decompositions of hybrid-state systems | IEEE Conference Publication | IEEE Xplore