物理系统动态建模
连续系统
力学部分,即运动(这个问题被称为经典力学)的研究,已经广泛拓展到其他物理系统,包括电路、化学过程和生物过程。对于大多数人来说,力学比较容易得到直观的认识。因此可以得到更加具体的实例。
常使用微分方程和积分方程来建模。
这些模型只能对“平滑”运动有效(可以使用线性、时不变性和连续性等概念进行更加精确的描述)。
而,对于不是平滑的运动,比如力学碰撞的建模,可以采用模态模型(modal model),采用不同模式之间的突发转变(概念上的即时性)来表示不同的模式。
力学碰撞可以有效地建模成离散和即时的事件。
平滑运动和这些离散事件的联合建模问题称为混成系统建模。
此外,参量模型(actor model)是由软件建模和仿真工具驱动的较新方法,使用上述微分方程,尤其是常微分方程进行建模的物理动态系统,也可以用参量模型进行建模体现(具体实例可参照《Introduction to Embedded Systems——A Cyber-Physical Systems Approach》的第2章)。
离散系统
离散系统建模使用状态机:状态机是一个具有离散动态的系统模型,每个响应都是基于当前状态的从输入到输出值的映射。有限状态机(Finite-State Machine, FSM)是一个可能状态集States为有限的状态机。
状态之间的转移决定状态机的离散动态以及输入到输出值的映射。
且,状态之间