本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法。本书的前六章内容是Stateflow的基础,重点介绍了有限状态系统中状态、状态转移、连接节点、历史节点、动作、数据对象、事件等各种概念在Stateflow产品中的实现方法,还着重介绍了层次化系统建模、并行机制、事件广播、隐含事件和时间逻辑等有限状态系统的建模方法。本书的后三章内容涉及Stateflow的高级话题,涵盖了Stateflow Coder代码生成、真值表、Embedded MATLAB Function以及Stateflow API的使用方法等内容。 本书内容丰富、全面、系统而且权威,对Stateflow有限状态系统中的每一种语法现象都进行了详尽的介绍,并列举了丰富的应用实例,便于读者掌握具体工具的使用方法。 本书既可作为需要完成动态逻辑系统建模和仿真的工程人员的参考书,也可作为在校本科生、硕士研究生和博士研究生的教材,还可作为MATLAB相应产品培训课程的教材。