Vitalsource Technologies, Inc. Set-theoretic Methods In Control