智能嵌入式系统的重要功能之一就是控制离散事件,而控制的本质是系统由一个状态转移到另一个状态,如自动门在开和关状态之间进行转移,列车门自动控制系统也是在开和关状态之间转移,交通灯系统在红灯、黄灯和绿灯之间转移。这些具有有限个状态并进行状态间转移的智能嵌入式系统可以使用有限状态机进行建模。