4. TargetLink状态机建模：Stateflow与TargetLink状态机对比、图形化状态机(GSM)建模、状态转移与事件
状态机这东西，做嵌入式控制的兄弟都不陌生。我在项目里见过太多人把Stateflow玩得飞起，一转到TargetLink就懵了。说白了，两者都是状态机，但脾气秉性差不少。今天咱们就掰扯清楚。
4.1 Stateflow vs TargetLink状态机：到底差在哪？
先说说我的个人感受。Stateflow像个全能选手，什么都能干——流程图、状态图、真值表，甚至还能写MATLAB脚本。但TargetLink的状态机，说白了就是个“专车司机”，只干一件事：生成高效的C代码。
我整理了一个对比表，你一看就明白：
| 对比项 | Stateflow | TargetLink状态机 |
|---|---|---|
| 建模方式 | 图形化+脚本混合 | 纯图形化状态机(GSM) |
| 代码效率 | 中等，有冗余 | 高，接近手写 |
| 事件处理 | 隐式事件队列 | 显式事件触发 |
| 数据类型 | 支持复杂结构体 | 基本类型+定点数 |
| 调试能力 | 强，有动画仿真 | 弱，靠信号追踪 |
嗯，这里要注意一点：TargetLink的状态机不支持嵌套。我在一个项目中试图把Stateflow的嵌套状态直接搬过来，结果编译报错，折腾了半天。所以，如果你习惯用Stateflow的层次化设计，到了TargetLink就得把状态拍平。
4.2 图形化状态机(GSM)建模：从零开始搭一个
GSM是TargetLink里最核心的状态机工具。我个人习惯把它叫做“画格子”——因为每个状态就是一个矩形框，状态之间用箭头连起来。
咱们搭一个简单的例子：一个电机控制状态机，有停止、启动、运行三个状态。
核心步骤：
- 在TargetLink模块库中拖入
GSM Chart模块 - 双击打开，右键添加状态(State)
- 用Transition箭头连接状态
- 双击状态，填写Entry/Action/Exit动作
- 设置状态转移条件
下面是我画的一个简单GSM示意图：
你看，这个图是不是很直观？每个状态框里写Entry动作，箭头上面写转移条件。这就是GSM的基本玩法。
4.3 状态转移：条件、动作、优先级
状态转移是状态机的灵魂。在TargetLink里，转移条件写在箭头旁边，格式是[条件表达式]。我遇到过不少新手在这里翻车——条件表达式必须用C语言的语法，不是MATLAB语法。
小技巧：转移条件里可以用&&、||、!这些C运算符。比如：[speed > 100 && brake == 0]。千万别写成MATLAB的&和|，否则编译报错。
关于转移优先级，TargetLink有个规则：从上到下，从左到右。也就是说，同一个状态出发的多条转移，先判断画在上面的那条。我曾经在项目里因为箭头画得乱，导致优先级搞反，电机该停的时候没停，差点烧了驱动器。
避坑指南：我曾经在一个项目中，把紧急停止的转移画在了最下面，结果正常停止先触发了，紧急停止反而没机会执行。后来我养成了习惯：紧急/高优先级转移画在最上面。
4.4 事件处理：显式触发 vs 隐式轮询
Stateflow里的事件是隐式的——你定义一个事件，它自动排队处理。但TargetLink不一样，它的事件是显式的，说白了就是函数调用。
在GSM中，事件分为两种：
- 输入事件(Input Event)：由外部信号触发，比如按键按下
- 内部事件(Internal Event)：在状态动作中触发，比如定时器超时
举个例子，你想实现“按键按下后启动电机”：
// 在GSM中定义输入事件
Event: buttonPress (rising edge on signal "btn_start")
// 状态转移条件
[buttonPress == 1] // 或者直接用事件名
嗯，这里要注意：事件触发是边沿敏感的。如果你用电平信号，状态机会在每个仿真步长都触发一次转移。我见过有人用[btn_start == 1]做条件，结果电机启动后停不下来——因为条件一直为真。
正确做法：用上升沿检测。在TargetLink里可以勾选“Edge Detection”选项，或者手动写：[btn_start == 1 && prev_btn_start == 0]。我个人习惯用后者，因为更可控。
4.5 实战经验：从Stateflow迁移到GSM的3个要点
如果你之前用Stateflow，现在要转到TargetLink，记住这三点：
- 拍平嵌套状态：GSM不支持层次化，把子状态变成独立状态
- 改用C语法：所有表达式、动作都用C语言写
- 显式处理事件：不要依赖隐式事件队列，手动管理触发条件
我记得有一次，团队里一个同事把Stateflow的复杂状态机直接导入TargetLink，结果报了几十个错误。最后我们花了一整天，把嵌套状态拆成平行状态，把MATLAB表达式改成C表达式，才算跑通。所以，迁移前先规划好状态结构，能省不少事。
好了，关于TargetLink状态机建模，核心就是这些。图形化状态机(GSM)其实不复杂，关键是把状态、转移、事件这三个要素搞清楚。你动手画几个例子，很快就能上手。