采用常规继电器、智能单片机和小型可编程控制器的电气控制系统存在技术要求较高、设备管理复杂等问题,在研究空压机的硬件架构基础上,分析空压机控制系统的控制对象、控制过程和控制要求,设计出一种可编程控制器空气压缩机电气控制系统,最后通过形式化仿真模型进行仿真,发现PLC控制器在系统中具有高可靠性、易维护、信息化等优势。