具有在离散事件处的行动的微分方程用于建立具有跳跃点不连续性的分段微分方程的模型，或者比如跳跳球的影响和冲撞. 它们也可以构建具有连续和离散动态的混合系统的模型. 离散动态可以来自采样或者数字过程，比如控制连续过程的数字控制器，或者离散动态可以表示诸如遵循配方的化学反应器. Wolfram 语言符号式处理微分方程，以自动设置对应于不连续点的事件，包括 Filippov 滑模（无限高速切换）解. 另外，要获取更多详细的建模信息，显式 WhenEvent[event,action] 声明可以实现整个新的建模可能.

WhenEvent — 当微分方程中一个事件变成 True，需要采取的行动.

事件

f0 — 当 f 穿过零

f>0 — 当 f 从下面穿过零

f<0 — 当 f 从上面穿过零

f0&&pred — 当 f 穿过零，并且 pred 是 True

Mod[t,Δt] — 在规则区间 Δt 处采样

行动

expr — 在事件发生时计算的表达式

varval — 把状态变量 var 设置为 val

"StopIntegration" — 在事件发生时停止微分方程的积分

"RestartIntegration"  ▪  "CrossDiscontinuity"  ▪  "CrossSlidingDiscontinuity"  ▪  "RemoveEvent"  ▪  "DiscontinuitySignature"

解变量

DependentVariables — 连续变换的解函数

DiscreteVariables — 分段常量解函数