Vitalsource Technologies, Inc. Analysis And Design Of Singular Markovian Jump Systems