AGV（自动导引车）的编写软件有多种，具体如下：
KUKA.Sim：
这是库卡AGV的仿真软件，用于在虚拟环境中模拟AGV的运行和路径规划，用户可以在计算机上编程和测试AGV的行为，以确保其在实际环境中的表现。
KUKA Robot Language （KRL）：
这是库卡机器人语言，也是库卡AGV的编程语言。KRL是一种类似于C语言的高级编程语言，可以用于控制AGV的运动、路径规划、传感器数据处理等功能。
KUKA Sunrise.OS：
这是库卡AGV的操作系统，也是AGV的主控软件。用户可以使用Java或C++等编程语言开发自己的应用程序，包括AGV的运动控制、任务调度等功能。
KUKA.WorkVisual：
这是库卡AGV的编程和监控软件，用于编写和调试AGV的程序、监控其运行状态、进行任务管理等。KUKA.WorkVisual提供了直观的图形界面和丰富的功能，使用户可以轻松地进行编程和监控。
Python：
Python是一种简单易学的高级编程语言，具有丰富的库和模块，可以快速开发AGV小车的控制软件。Python的语法简洁，易于阅读和理解，适合快速原型设计和开发。
Java：
Java是一种面向对象的编程语言，具有良好的可移植性和跨平台特性。AGV小车的应用程序可以使用Java编写，可以实现多线程控制和复杂的业务逻辑。
MATLAB/Simulink：
MATLAB/Simulink是一种用于科学计算和工程模拟的高级编程语言和开发环境。AGV小车的控制算法和仿真模型可以使用MATLAB/Simulink进行开发和测试。
ROS （Robot Operating System）：
ROS是一种开源的机器人操作系统，提供了一套丰富的工具和库，可以用于开发和控制AGV小车。ROS使用C++和Python作为主要的编程语言，支持分布式计算和多机器人系统。
这些软件工具为AGV的开发和编程提供了广泛的支持，用户可以根据具体需求选择合适的工具进行AGV的控制系统开发。