Vitalsource Technologies, Inc. Relaxation-Based Approach to Optimal Control of Hybrid and Switched Systems