Vitalsource Technologies, Inc. Partial Differential Equation Methods In Control And Shape Analysis