公开(公告)号：US20130290925A1

公开(公告)日：2013-10-31

申请号：US13768565

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06F9/44

CPC classification number: G06F8/00 ,  G06F8/10 ,  G06F8/22 ,  G06F8/313 ,  G06F8/35 ,  G06F9/4496 ,  G06F9/4498

Abstract: A computer-readable memory device may include instructions to store data describing a state machine model including source states and destination states. The device may also include instructions to store, for each of the source states, a condition field identifying a condition upon which, when satisfied, the state machine model transitions from the source state to one of the destination states. The device may also include instructions to store, for each of source states, a destination field identifying the one of the destination states. Each of at least two of the source states may identify an identical destination state in the corresponding destination field. Each of at least two of the source states may identify an identical condition in the corresponding condition field.

Abstract translation: 计算机可读存储器设备可以包括存储描述包括源状态和目的地状态的状态机模型的数据的指令。 该设备还可以包括用于为每个源状态存储一个条件字段的指令，该条件字段标识状态，当满足状态机模型从源状态转换到目的地状态之一时。 该设备还可以包括用于为每个源状态存储标识目的地状态之一的目的地字段的指令。 至少两个源状态中的每一个可以在相应的目的地字段中标识相同的目的地状态。 至少两个源状态中的每一个可以在相应的条件字段中标识相同的条件。

公开(公告)号：US10360502B2

公开(公告)日：2019-07-23

申请号：US13768541

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06N5/02 ,  G06F8/10 ,  G06F9/448

Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states. The processor may arrange graphical symbols in a first row, arrange lines, and arrange vertical lines in a second row that does not overlap with the first row.

公开(公告)号：US09600241B2

公开(公告)日：2017-03-21

申请号：US13768565

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06F9/44

CPC classification number: G06F8/00 ,  G06F8/10 ,  G06F8/22 ,  G06F8/313 ,  G06F8/35 ,  G06F9/4496 ,  G06F9/4498

Abstract: A computer-readable memory device may include instructions to store data describing a state machine model including source states and destination states. The device may also include instructions to store, for each of the source states, a condition field identifying a condition upon which, when satisfied, the state machine model transitions from the source state to one of the destination states. The device may also include instructions to store, for each of source states, a destination field identifying the one of the destination states. Each of at least two of the source states may identify an identical destination state in the corresponding destination field. Each of at least two of the source states may identify an identical condition in the corresponding condition field.

公开(公告)号：US20130212054A1

公开(公告)日：2013-08-15

申请号：US13768541

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06N5/02

CPC classification number: G06N5/02 ,  G06F8/10 ,  G06F9/4498

Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states. The processor may arrange graphical symbols in a first row, arrange lines, and arrange vertical lines in a second row that does not overlap with the first row.

Abstract translation: 计算设备可以包括存储器，用于存储描述包括目的地状态和源状态的状态机模型的数据。 源状态可以与状态机模型从相应源状态转换到目的地状态之一的状态相关联。 该设备还可以包括被配置为从描述状态机模型的数据生成数据以描述状态图的处理器。 状态图可以包括图形符号和线。 每个图形符号可以表示源状态之一或目的地状态之一。 行可以表示转换，并且包括一个或多个垂直线，以表示从多于一个源状态到目的地状态之一的转换。 图形符号可以表示目的地状态之一不与图形符号相邻以表示多于一个源状态。 处理器可以在第一行中布置图形符号，布置线，并且在不与第一行重叠的第二行中排列垂直线。