Control Synthesis of Switched Systems | EKB DL