You can use strtotime or the newer DateTime class, but your current format is not compatible, so you have to some modification before. This is a possible solution:
<?php
$result = 0;
$times = array('9H:20M','3H:13M','3H:50M','6H:30M');
foreach($times as $time) {
preg_match('/^(\d{1,2})H[:]([0-5][0-9])M$/',$time, $m);
$timestamp = strtotime($m[1].':'.$m[2]);
$result+=$timestamp;
}
echo date('H:i',$result);
?>
I think the better approach for this is, to grep the total time directly from DB.