Finite Response and Confluence of State-based Supervisory Controllers | IEEE Conference Publication | IEEE Xplore