Modal and transition dwell time computation in switching systems: a set-theoretic approach | IEEE Conference Publication | IEEE Xplore