公开(公告)号：US09003357B1

公开(公告)日：2015-04-07

申请号：US13966881

申请日：2013-08-14

Applicant: The MathWorks, Inc.

Inventor： David B. Andrade ,  Srinath Avadhanula

IPC: G06F9/44

CPC classification number: G06F8/35

Abstract: A device may receive information that identifies a model of a finite state machine. The model may include information that identifies a group of leaf states. The group of leaf states may include states of the model with no child states. The device may determine, based on the information that identifies the model, a set of variables required to store information that identifies an active state of the model. The device may determine a numbering scheme for encoding the group of leaf states. The numbering scheme may be based on the set of variables. The device may encode the group of leaf states based on the numbering scheme. Encoding the group of leaf states may include generating and storing information indicating an association between a leaf state and a value.

Abstract translation: 设备可以接收标识有限状态机的模型的信息。 该模型可以包括标识一组叶状态的信息。 叶状态组可以包括没有子状态的模型状态。 设备可以基于识别模型的信息来确定存储识别模型的活动状态的信息所需的一组变量。 设备可以确定用于对叶状态组进行编码的编号方案。 编号方案可以基于变量集合。 该设备可以基于编号方案对叶状态组进行编码。 编码叶状态组可以包括生成和存储指示叶状态和值之间的关联的信息。

公开(公告)号：US20160259874A1

公开(公告)日：2016-09-08

申请号：US15061556

申请日：2016-03-04

Applicant: The MathWorks, Inc.

Inventor： David B. Andrade ,  Srinath Avadhanula ,  Yit Phang Khoo

IPC: G06F17/50

CPC classification number: G06F17/5022 ,  G06F8/34 ,  G06F9/4498 ,  G06F17/5009 ,  G06F17/5036

Abstract: A model of a state machine may be created in a modeling environment, and the model may be executed over a simulation time. A duration operator may be defined within the model. The duration operator may include as an input argument, a conditional expression that may evaluate to True or False. During execution, the modeling environment may define a plurality of time steps over the course of the model's simulation time. The conditional expression of the duration operator may be evaluated at the time steps. When the conditional expression evaluates to True, the modeling environment may begin tracking elapsed simulation time, and may continue to track elapsed simulation time while the conditional expression remains True. The value of elapsed simulation time may be made available to other portions of the model.

Abstract translation: 可以在建模环境中创建状态机的模型，并且可以在模拟时间上执行模型。 持续时间运算符可以在模型内定义。 持续时间运算符可以包括输入参数，可以评估为True或False的条件表达式。 在执行期间，建模环境可以在模型的模拟时间的过程中定义多个时间步长。 可以在时间步长评估持续时间算子的条件表达式。 当条件表达式计算结果为True时，建模环境可能会开始跟踪经过的模拟时间，并且可能会在条件表达式保持为True时跟踪经过的模拟时间。 经过的模拟时间的值可以用于模型的其他部分。

公开(公告)号：US10185793B2

公开(公告)日：2019-01-22

申请号：US15061556

申请日：2016-03-04

Applicant: The MathWorks, Inc.

Inventor： David B. Andrade ,  Srinath Avadhanula ,  Yit Phang Khoo

IPC: G06F17/50 ,  G06F9/448 ,  G06F8/34

Abstract: A model of a state machine may be created in a modeling environment, and the model may be executed over a simulation time. A duration operator may be defined within the model. The duration operator may include as an input argument, a conditional expression that may evaluate to True or False. During execution, the modeling environment may define a plurality of time steps over the course of the model's simulation time. The conditional expression of the duration operator may be evaluated at the time steps. When the conditional expression evaluates to True, the modeling environment may begin tracking elapsed simulation time, and may continue to track elapsed simulation time while the conditional expression remains True. The value of elapsed simulation time may be made available to other portions of the model.

公开(公告)号：US09507888B1

公开(公告)日：2016-11-29

申请号：US13834917

申请日：2013-03-15

Applicant: THE MATHWORKS, INC.

Inventor： Nishith Aggarwal ,  Srinath Avadhanula ,  Vijaya Raghavan ,  David B. Andrade

IPC: G06G7/62 ,  G06F17/50 ,  G06F9/44

CPC classification number: G06F17/5009 ,  G06F8/34 ,  G06F9/4498

Abstract: A device receives information that identifies a model, of a finite state machine, that includes information that identifies a parent state and sub-states of the parent state. The device generates a data structure that designates an enumerated data type associated with the parent state, where the enumerated data type includes values corresponding to the sub-states. The device executes the model, based on the data structure, and monitors operation of the finite state machine and state transitions among some of the sub-states. The device detects, based on the state transitions, a change in an active sub-state that represents a particular sub-state, of the sub-states, that is active at a particular time during execution of the model. The device provides state transition information that identifies changes in the active sub-state over time.

Abstract translation: 设备接收标识有限状态机的模型的信息，该信息包括标识父状态和父状态的子状态的信息。 设备生成指定与父状态相关联的枚举数据类型的数据结构，其中枚举数据类型包括对应于子状态的值。 该设备基于数据结构执行模型，并监视有限状态机的操作和一些子状态之间的状态转换。 该设备基于状态转换检测表示在模型执行期间的特定时间处于活动状态的子状态的特定子状态的活动子状态的变化。 设备提供状态转换信息，用于识别有效子状态随时间的变化。