公开(公告)号：US10853532B2

公开(公告)日：2020-12-01

申请号：US14722487

申请日：2015-05-27

Applicant: The MathWorks Inc.

Inventor： Alongkrit Chutinan ,  Ramamurthy Mani ,  Srinath Avadhanula ,  Fu Zhang ,  Jing Xu ,  Qu Zhang ,  John E. Ciolfi

IPC: G06F30/20

Abstract: A method may include causing a first model to be executed. The causing the first model to be executed may be performed by a device. The method may further include causing a second model to be executed to simulate a functionality of the first model. The causing the second model to be executed may be performed by the device. The method may further include interacting with a model element, of the second model, associated with implicitly accessing information regarding a state of the first model. The state may be a representation of the first model at a particular simulation time-step. The interacting with the model may be performed by the device. The method may further include accessing, by the model element, information associated with the state of the first model. The accessing the information may be performed by the device.

公开(公告)号：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.

公开(公告)号：US10235140B2

公开(公告)日：2019-03-19

申请号：US14285991

申请日：2014-05-23

Applicant: The MathWorks, Inc.

Inventor： Srinath Avadhanula ,  Pieter J. Mosterman ,  Ebrahim Mestchian

IPC: G06F8/10 ,  G06F8/34 ,  G06F8/35 ,  G06F8/51 ,  G06F9/448

Abstract: A device may receive a model generated via a technical computing environment, where the model included a state chart with one or more variables. The device may receive a selection of a particular variable from the state chart, and may provide, for display and based on the selection, a user interface for defining attributes associated with the particular variable. The device may receive, via the user interface, one or more user-defined attributes for the particular variable, where at least one of the one or more user-defined attributes is defined independently of a reference to the particular variable. The device may apply the one or more user-defined attributes in the model and the state chart.

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

公开(公告)号：US09507572B2

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

申请号：US14286028

申请日：2014-05-23

Applicant: The MathWorks, Inc.

Inventor： Srinath Avadhanula ,  Pieter J. Mosterman ,  Ebrahim Mestchian

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/35 ,  G06F8/10 ,  G06F8/34 ,  G06F8/51 ,  G06F9/4484 ,  G06F9/4498

Abstract: A device may receive a state chart generated via a technical computing environment. The state chart may include a state block with a single section of textual code. The single section of textual code may include a time-based portion and an output portion. The device may initiate execution of the state chart, and may process, during the execution of the state chart, the time-based portion with a graphical engine of the technical computing environment to generate a time-based method. The device may process, during the execution of the state chart, the output portion with a textual engine of the technical computing environment to generate an output method. The device may provide the time-based method and the output method in output code, where the time-based method may be separate from the output method in the output code.

Abstract translation: 设备可以接收通过技术计算环境生成的状态图。 状态图可以包括具有单个文本代码段的状态块。 文本代码的单个部分可以包括基于时间的部分和输出部分。 设备可以启动状态图的执行，并且可以在状态图的执行期间使用技术计算环境的图形引擎来处理基于时间的部分，以生成基于时间的方法。 在执行状态图时，设备可以使用技术计算环境的文本引擎来处理输出部分以生成输出方法。 该设备可以在输出代码中提供基于时间的方法和输出方法，其中基于时间的方法可以与输出代码中的输出方法分离。

公开(公告)号：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.

公开(公告)号：US09547481B2

公开(公告)日：2017-01-17

申请号：US14286023

申请日：2014-05-23

Applicant: The MathWorks, Inc.

Inventor： Srinath Avadhanula ,  Pieter J. Mosterman ,  Ebrahim Mestchian

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/35 ,  G06F8/10 ,  G06F8/34 ,  G06F8/51 ,  G06F9/4484 ,  G06F9/4498

Abstract: A device receives a state chart that includes a state block, and receives a time-based or an event-based operator (time-based/event-based operator) associated with the state block. The time-based/event-based operator includes textual code understood by a textual engine of technical computing environment (TCE), and a portion of the time-based/event-based operator is not understood by a graphical engine of the TCE. The device transforms the portion of the time-based/event-based operator into a form that is understood by the graphical engine, and initiates execution of the state chart. The device processes, during the execution of the state chart, the transformed portion of the time-based/event-based operator and the state block with the graphical engine to generate graphical results. The device processes, during the execution of the state chart, the textual code of the time-based/event-based operator with the textual engine to generate textual results, and combines the graphical results with the textual results.

Abstract translation: 设备接收包括状态块的状态图，并且接收与状态块相关联的基于时间或基于事件的操作符（基于时间的/基于事件的操作者）。 基于时间的/基于事件的操作者包括由技术计算环境（TCE）的文本引擎理解的文本代码，并且部分基于时间的/基于事件的操作者不被TCE的图形引擎所理解。 该设备将基于时间的/基于事件的运算符的部分转换为图形引擎所理解的形式，并且启动状态图的执行。 该设备在执行状态图时，处理基于时间的/基于事件的操作符的变换部分以及具有图形引擎的状态块以产生图形结果。 在执行状态图时，设备将使用文本引擎处理基于时间的/基于事件的运算符的文本代码来生成文本结果，并将图形结果与文本结果相结合。

公开(公告)号：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时跟踪经过的模拟时间。 经过的模拟时间的值可以用于模型的其他部分。

公开(公告)号：US09411559B2

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

申请号：US14285980

申请日：2014-05-23

Applicant: The MathWorks, Inc.

Inventor： Srinath Avadhanula ,  Pieter J. Mosterman ,  Yit Phang Khoo ,  John P. Dirner ,  Krishna Balasubramanian ,  Ebrahim Mestchian

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/35 ,  G06F8/10 ,  G06F8/34 ,  G06F8/51 ,  G06F9/4484 ,  G06F9/4498

Abstract: A device may receive a chart generated via a technical computing environment, where the chart includes a textual portion and a graphical portion, and the graphical portion includes state information. The device may parse the chart into the textual portion and the graphical portion, and may process the textual portion with a textual engine of the technical computing environment to generate textual results. The device may process the graphical portion with a graphical engine of the technical computing environment to generate graphical results, and may combine the textual results with the graphical results to generate chart results. The device may output or store the chart results.

Abstract translation: 设备可以接收通过技术计算环境产生的图表，其中图表包括文本部分和图形部分，并且图形部分包括状态信息。 设备可以将图表解析成文本部分和图形部分，并且可以用技术计算环境的文本引擎处理文本部分以生成文本结果。 设备可以使用技术计算环境的图形引擎处理图形部分以生成图形结果，并且可以将文本结果与图形结果组合以生成图表结果。 设备可以输出或存储图表结果。