智能电视使用的操作系统主要有以下几种：

Android TV：

这是目前最流行的智能电视操作系统，被众多彩电厂商如索尼、飞利浦、夏普等采用。Android TV内置了Play商店，拥有丰富的应用程序，并支持语音搜索等功能。

WebOS：

由LG公司开发，主要用于其智能电视产品。WebOS以其简洁的用户界面和良好的兼容性而受到部分用户的青睐。

Tizen：

由英特尔和三星基于Linux开发，适用于智能手机、平板电脑、智能电视等多种设备。Tizen在智能电视领域的应用相对较少，但仍在一些特定设备上使用。

iOS：

苹果公司开发的操作系统，虽然目前尚未有正式发布的苹果智能电视，但有传闻称苹果将推出基于iOS系统的智能电视，且iOS的应用数量已超过50万个。

Windows：

微软开发的操作系统，虽然市场份额较小，但仍有部分智能电视采用，尤其是在一些高端机型中。Windows系统能够将PC应用转换为电视体验，具有强大的兼容能力。

Linux：

一些国内电视厂商会使用基于Linux的操作系统，如康佳的OMI操作系统和海信的HITV-0S操作系统。这些系统通常具有较好的独立性和定制性。

其他专有系统：

还有一些其他专有系统，如Roku OS（由Roku公司开发，基于Linux）和Amazon Fire OS（基于Android修改定制）等。

总的来说，Android TV是目前市场上最主流的智能电视操作系统，其次是WebOS和Tizen。iOS和Windows系统虽然市场份额较小，但也有其独特的优势和应用场景。国内自建操作系统在特定区域内有一定的应用。