开发高性能可靠的飞控软件是无人直升机控制系统研制的重要核心。结合控制律软件的设计，本文提出一种基于VxWorks嵌入式操作系统和RTW环境的飞控软件开发方案，构建了机载飞控软件总体架构。采用VxWorks多任务调度机制进行任务管理满足飞行控制的实时性要求，应用有限状态机实现无人直升机的行为控制，最后搭建了基于Simulink / RTW Embedded Coder开发测试平台框架并验证了该方案的有效性和可靠性。

一种图形工具，用于设计有限状态机并将其导出到硬件描述语言，例如C，C ++，Objective-C，Java，Python，PHP，Perl，Lua代码生成的VHDL，AHDL，Verilog或Ragel / SMC文件。

目前，扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径，然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的，采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法，通过对扩展有限状态机状态迁移树的分析，获取基于该树的测试路径，再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性，分析且构造测试用例，最终得出该方法有效减少了测试用例生成的复杂性，提高了基于扩展有限状态机模型的测试效率。

simulink有限状态机程序-Matlabzuihoujiangjingang.mdl 这是我研究生课程学习中做的关于有限状态机的例子。希望对大家有用 附件图： Figure33.jpg

简单的有限状态机（Counter），8bit计数器，基于verilog语言

用java语言实现有限状态机，这个简单地实例能全面地诠释状态机的思想

有限状态机（Finite State Machine）是一种时序机，它源自于人们将一个复杂的问题分割成多个简单的部分来处理的思想。状态机通过时钟驱动下的有多个状态，以及状态之间的跳转规则来实现复杂的逻辑，一旦当前的状态确定，也就明确了相关的输入输出。 有限状态机主要分为两个类型：第一类，如果输出只和当前状态有关而和输入无关，称之为Moore状态机；第二类，输出不仅和当前状态有关也和输入有关，称之为Melay型状态机。本节将主要介绍这两类状态机、状态编码以及使用VHDL和Verilog语言描述的设计范例。

二、有限状态机 概念 类型 要素 特点 流程 实现（伪码） 与离散事件仿真的关系

一、有限状态机 有限状态机是绝大部分控制电路的核心结构，是表示有限个状态以及在这些状态之间转移和动作等行为的数学模型。有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。一般来说，除了输入部分和输出部分外，有限状态机还含有一组具有“记忆”功能的寄存器，这些寄存器的功能是记忆有限状态机的内部状态，它们常被称为状态寄存器。在有限状态机中，状态寄存器的的下一个状态不仅与输入信号有关，而且还与该寄存器的当前状态有关，因此有限状态机又可以认为是组合逻辑和寄存器逻辑的一种组合。   在实际的应用中，根据有限状态机是否使用输入信号，可将其分为Moore型有限状态机和Mealy型有限状态机两种类型。Moore型有限状态机其输出信号仅与当前状态有关，即可以把Moore型有限状态的输出看成是当前状态的函数。Mealy型有限状态机其输出信号不仅与当前状态有关，而且还与所有的输入信号有关，即可以把Mealy型有限状态机的输出看成是当前状态和所有输入信号的函数。

由于中文的内涵多义性和形式多样性的特点，使中文地址长期以来存在着难以标准化的问题，对进一步开展地址定位、区域网格分析和社情、舆情定位等工作都造成了较大的障碍。针对这个问题提出了基于地址分级模型和有限状态机驱动的新方法，并通过软件开发对这种方法的地址识别率和匹配准确率进行了验证，实验结果显示该方法对中文地址能够达到96%左右的识别率，匹配准确率也达到了85%左右，并且还能实现标准地址库的自动化更新。因此，采取该方法能够有效地解决中文地址标准化困难的问题，具有显著的实用性和研究参考价值。