Global optimization of linear hybrid systems with explicit transitions
scientific article