哪些建筑机器人公司是上市公司？

金智科技（代码002090）排在第九位，这是江苏金智科技股份有限公司。