Can you summarize the following document?
        
  2011年6月28日,哈勃空間望遠鏡的冥王星伴星搜尋小組(英語:Pluto Companion Search Team)使用第三代廣域照相機試圖尋找冥王可能存在的行星環時,發現了冥衛四。在2011年7月3日與18日的再度觀測後,2011年7月20日正式確認了它的衛星地位。此後,在對2006年2月15日與2010年6月25日哈勃拍攝的照片重新檢查中也找到了冥衛四。它的亮度僅為冥衛二的10%,之前的拍攝由於曝光時間不足而未能發現它,此次搜尋小組進行了8分鐘的曝光才得以發現其蹤跡。

  冥衛四的直徑估計約為13至34公里,這一估計是由幾何反照率(英語:geometric albedo,0.06至0.35)推算而來的。

  目前的觀測顯示冥衛四的執行軌道為圓形的赤道軌道,軌道半徑約為59000公里。其軌道位於冥衛二與冥衛三之間,以約32.1地球日的週期繞冥王星旋轉。這一週期表明它與冥衛一間可能存在共振率為1:5的軌道共振,誤差小於0.6%。由於冥衛二、冥衛三與冥衛一間都存在近共振(共振率分別1:4與1:6),因而還需要得到冥衛四軌道更為精確的資料,特別是得知其進動率之後,才能確定冥衛四與冥衛一間的這一關係與真正的共振間有多少相近之處。

  與冥王星的其他衛星一樣,冥衛四被認為是來源於冥王星與另一柯伊伯帶天體碰撞後的殘骸,類似於形成月球的大碰撞說。

  冥衛四的正式名稱由發現的小組在發現後數週提交給國際天文聯合會。據小組組長馬克·肖華特(英語:Mark Showalter)說,名稱會從希臘神話中與冥神哈底斯及冥府有關的名字中選取。  2013年7月2日,國際天文學聯合會宣佈正式批准「科伯羅司」(Kerberos)這個名字作為冥衛四的正式名稱。
冥衛四(英語:Kerberos,,編號S/2011 P 1、S/2011 (134340)1或P4)是冥王星的一顆小型衛星,於2011年6月28日首次發現,並於7月20日證實。它是自1978年發現冥衛一、2005年發現冥衛二與冥衛三後,冥王星已知的第四顆衛星。2013年7月2日,國際天文學聯合會宣佈正式批准「科伯羅司」(Kerberos)這個名字作為S/2011 P 1的稱呼。