有限状态机：自动化工程师应对复杂逻辑的利器

引言：当逻辑遇上复杂性

在自动化控制领域，我们常常面对这样的场景：一条生产线需要按特定顺序执行多个步骤，一台设备必须在不同模式间切换，或者一个安全系统需要根据多个条件作出精确响应。面对这些复杂逻辑，传统的“梯形图+布尔逻辑”编程方法往往捉襟见肘，程序变得冗长、难以维护且容易出错。正是在这样的挑战下，有限状态机（Finite State Machine, FSM）编程方法脱颖而出，成为自动化工程师的得力助手。

1 什么是有限状态机？

1.1 核心概念

有限状态机是一种数学模型，也是一种编程思想，它描述了一个系统可能处于的有限数量的状态，以及在这些状态之间转换的规则和条件。简单来说，它认为任何复杂系统在特定时刻只能处于有限状态中的某一个，而状态的改变则由明确的触发条件决定。

想象一台自动咖啡机：它可能有“待机”、“研磨咖啡豆”、“加热水”、“冲泡”和“清洗”等状态。当你按下“制作咖啡”按钮（触发条件），它从“待机”状态转换到“研磨咖啡豆”状态，完成后再转换到下一个状态。这种明确的状态转换逻辑，正是 FSM 的核心。

1.2  状态机三要素

状态（States）：系统可能处于的离散情况

转移（Transitions）：状态之间转换的规则

动作（Actions）：进入、退出状态或在状态中执行的操作

2 为什么在 PLC 编程中需要状态机？

2.1  传统方法的局限性

传统 PLC 编程（如梯形图）在处理顺序控制时，常使用“自锁互锁”或“步进继电器”等方法。这些方法在小规模应用中尚可，但当逻辑复杂时，会出现以下问题：

• 程序可读性差：逻辑分散在多处，难以理解整体流程

• 维护困难：修改一个步骤可能影响多处逻辑

• 调试复杂：故障时难以准确定位问题所在状态

• 扩展性弱：添加新功能需大量修改原有程序

2.2  状态机的优势

状态机方法通过将复杂逻辑分解为离散的状态和清晰的转换规则，解决了上述问题：

• 结构清晰：程序结构反映实际工艺流程

• 易于维护：每个状态独立，修改影响局部化

• 可靠稳定：状态转换条件明确，避免意外跳转

• 调试简单：当前状态一目了然，故障容易定位

3  PLC 中实现状态机的常用方法

3.1 方法一：枚举+选择结构

这是最直观的实现方式，在结构化文本（ST）语言中尤为常见：

• TYPE T_States :
• (   
•         IDLE,   
•         FILLING,   
•         HEATING,   
•         MIXING,   
•         DISCHARGING,   
•         ERROR
• );
• END_TYPE
• VAR   
•         CurrentState : T_States := IDLE;   
•         NextState : T_States;   
•         bStart : BOOL;   
•         bTankFull : BOOL;    
•         // ... 其他变量
• END_VAR
• // 状态转换逻辑
• CASE CurrentState OF   
•         IDLE:       
•                IF bStart THEN           
•                       NextState := FILLING;           
•                       StartFilling(); // 进入动作       
•                ELSE           
•                       NextState := IDLE;       
•                END_IF   
•         FILLING:       
•                IF bTankFull THEN           
•                       NextState := HEATING;           
•                       StopFilling();  // 退出动作           
•                       StartHeating(); // 进入动作       
•               ELSIF bError THEN           
•                       NextState := ERROR;       
•                ELSE           
•                       NextState := FILLING;       
•                END_IF    
•         // 其他状态处理...   
•         ERROR:        
•                // 错误处理逻辑       
•                IF bReset THEN           
•                       NextState := IDLE;           
•                       ResetSystem();       
•                END_IF
• END_CASE
• // 状态更新（每个扫描周期执行一次）
• CurrentState := NextState;

3.2  方法二：状态表驱动法

对于更复杂的系统，可以使用状态表方法，将转换逻辑数据化：

• VAR   
•         StateTable : ARRAY[1..MAX_STATES, 1..MAX_CONDITIONS] OF INT;   
•         CurrentStateIndex : INT := 1;   
•         Conditions : ARRAY[1..MAX_CONDITIONS] OF BOOL;
• END_VAR
• // 初始化状态表（可在初始化时完成）
• // StateTable[当前状态, 条件] = 下一状态
• // 状态机执行
• NextStateIndex := StateTable[CurrentStateIndex, EvaluateConditions()];
• IF NextStateIndex <> CurrentStateIndex THEN   
•         ExecuteExitAction(CurrentStateIndex);   
•         ExecuteEntryAction(NextStateIndex);   
•         CurrentStateIndex := NextStateIndex;
• END_IF;

4  实际应用案例：物料处理系统

让我们通过一个具体的例子来理解状态机的应用。假设我们需要控制一个物料处理站，其流程包括：等待物料→定位→夹取→检测→分类放置。

4.1 第一步：定义状态

• TYPE T_MaterialHandlingStates :
• (    
•         WAIT_FOR_MATERIAL,  // 等待物料    
•         POSITIONING,        // 定位    
•         GRIPPING,           // 夹取    
•         DETECTING,          // 检测    
•         PLACE_GOOD,         // 放置良品    
•         PLACE_REJECT,       // 放置不良品    
•         ERROR_RECOVERY      // 错误恢复
• );
• END_TYPE

4.2    第二步：设计状态转换图

绘制状态转换图有助于理清逻辑：

4.3  第三步：实现状态逻辑

• CASE CurrentState OF   
•         WAIT_FOR_MATERIAL:       
•                  IF bMaterialPresent AND NOT bEmergencyStop THEN           
•                        NextState := POSITIONING;           
•                        StartPositioning();       
•                  END_IF;   
•         POSITIONING:       
•                  IF bPositionComplete THEN           
•                        NextState := GRIPPING;           
•                        StartGripping();       
•                  ELSIF bPositionTimeout THEN           
•                        NextState := ERROR_RECOVERY;           
•                        LogError("定位超时");       
•                  END_IF;   
•         GRIPPING:       
•                  IF bGripComplete THEN           
•                        NextState := DETECTING;           
•                        StartDetection();       
•                  ELSIF bGripFailed THEN           
•                        NextState := ERROR_RECOVERY;           
•                        LogError("夹取失败");       
•                  END_IF;   
•         DETECTING:       
•                  IF bDetectionComplete THEN           
•                        IF bMaterialOK THEN               
•                              NextState := PLACE_GOOD;           
•                        ELSE               
•                              NextState := PLACE_REJECT;           
•                        END_IF;       
•                  END_IF;    
•         // ... 其他状态处理   
•         ERROR_RECOVERY:        
•                  // 错误恢复逻辑       
•                  IF bErrorCleared THEN           
•                        NextState := WAIT_FOR_MATERIAL;           
•                        ResetStation();       
•                  END_IF;
• END_CASE;

4.4  第四步：添加监控和诊断

状态机的优势之一是便于监控：

• // 状态显示
• DisplayState(CurrentState);
• // 状态持续时间监控
• IF CurrentState = PreviousState THEN   
•        StateDuration := StateDuration + 1;   
•         IF StateDuration > MaxStateTime THEN        
•                 // 状态超时处理       
•                 NextState := ERROR_RECOVERY;   
•         END_IF;
• ELSE   
•         StateDuration := 0;   
•         PreviousState := CurrentState;
• END_IF;

5  高级主题与最佳实践

5.1 分层状态机

对于非常复杂的系统，可以使用分层状态机：

• TYPE T_MainStates : (MANUAL, AUTO, MAINTENANCE);
• TYPE T_AutoSubStates : (INIT, RUN, PAUSE, STOP);
• VAR   
•         MainState : T_MainStates;   
•         AutoSubState : T_AutoSubStates;
• END_VAR
• // 主状态机
• CASE MainState OF   
•         AUTO:        
•                  // 子状态机        
•                  CASE AutoSubState OF           
•                          INIT: // ...           
•                          RUN:  // ...            
•                          // ...       
•                  END_CASE;   
•         MANUAL: // ...    
•         // ...
• END_CASE;

5.2  状态机的调试技巧

状态追踪：记录状态历史，便于分析

状态驻留时间监控：检测异常长时间状态

转换条件记录：记录触发状态转换的条件值

可视化状态显示：在 HMI 上显示当前状态

5.3  设计原则

状态正交性：每个状态应有明确、唯一的含义

转换完整性：考虑所有可能的转换，包括错误情况

动作分离：状态动作与转换逻辑分离，提高可维护性

超时处理：每个可能阻塞的状态都应设置超时保护

6  常见问题与解决方案

6.1 问题 1：状态爆炸

当系统过于复杂时，状态数量可能急剧增加。解决方案：

• 使用分层状态机

• 将独立的部分拆分为多个状态机

• 使用参数化状态

6.2 问题 2：并发状态需求

某些系统需要同时处理多个独立流程。解决方案：

• 为每个流程建立独立的状态机实例

• 使用并行状态区域（UML 状态图概念）

• 设计协调机制管理多个状态机

6.3 问题 3：异步事件处理

外部异步事件可能需要打断当前状态。解决方案：

• 设置紧急转换路径

• 使用事件队列

• 设计优先级中断机制

结语：状态机思维的价值

有限状态机不仅仅是一种编程技术，更是一种思维方式。它将复杂的动态系统简化为有限状态和明确转换，使工程师能够：

更清晰地思考系统行为：将注意力集中在状态定义和转换条件上

提高代码质量：创建更可靠、更易维护的控制程序

改善团队协作：状态机图成为工程师、程序员和维护人员之间的通用语言

加速开发过程：模板化的状态机结构减少重复工作

在工业 4.0 和智能制造的背景下，系统复杂性只增不减。掌握有限状态机编程方法，就如同为自动化控制系统构建了清晰的“路线图”，无论面对多么复杂的工艺流程，都能从容应对，确保系统稳定可靠地运行。

正如计算机科学家 David Harel 所言：“状态机是描述离散行为最自然的方式之一。”对于 PLC 程序员来说，有限状态机不仅是工具，更是应对复杂性的思维方式，是提升自动化系统质量的关键技能。

2026年3月