Vitalsource Technologies, Inc. Sliding Mode Control Of Semi-markovian Jump Systems