第2章 系统建模

致知在格物《礼记·大学》

系统建模是一种形式化的建模方法，规范了系统模型中的元素种类以及元素之间的关系，定义了可以使大家都明白其含义的一系列标识符。因此，系统建模需定义模型的语法并规定评价模型的形式是否合法的一系列规则。系统建模通常会提供一套建模工具，使用这个工具可以设计和实现系统的建模模型。

本章介绍智能嵌入式系统的基本建模方法和技术，包括用于规范离散控制建模的有限状态机FSM、与数据融合的有限状态机FSMD、描述连续与离散的混成自动机HA以及系统级建模语言SysML。系统建模的基本目的是使用形式化方法无歧义地描述物理场景，掌握物理世界的真实知识。