Optimal Control of Hybrid Systems by Logic-Based Benders Decomposition. - Akbar Hashemi Borzabadi; Mohammd E. Sadjadi (ADHS, 2009)