Vijay Raghavan - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 17/10 G06F 17/50
US Classification:
703 2, 703 14, 703 15, 716 1, 716 18
Abstract:
In an embodiment, a computer-implemented method for modeling a system using a finite state machine representation is presented. An event-driven temporal logic operator may be associated with a first, active state in the finite state machine representation. A value of the temporal logic operator may be determined by a number of occurrences of an event during an existing activation of the first state associated with the temporal logic operator. A state transition from the first state to a second state may be executed based on the value of the temporal logic operator. The second state may be set as the active state.
Vijay Raghavan - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 17/50
US Classification:
716 6, 716 4
Abstract:
The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
System And Method For Providing Indicators Of Textual Items Having Intrinsic Executable Computational Meaning Within A Graphical Language Environment
Jay Ryan Torgerson - Hopkinton MA, US Ebrahim Mehran Mestchian - Newton MA, US Vijay Raghavan - Framingham MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 9/44 G06F 9/455
US Classification:
717105, 717113, 717125
Abstract:
An electronic device with a graphical language environment that includes a method which examines a graphical model to identify textual items having intrinsic executable computational meaning within the graphical model is discussed. The method identifies at least one textual item with intrinsic executable computational meaning. The method further provides an indicator for the at least one identified textual item with intrinsic executable computational meaning in a display of the graphical model. The indicator may be based upon a characteristic of the identified textual item.
User-Defined Hierarchies Of User-Defined Classes Of Graphical Objects In A Graphical Modeling Environment
Pieter J. Mosterman - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 9/44 G06F 3/00 G06F 3/033
US Classification:
717109, 717105, 717113, 717121, 715713, 715771
Abstract:
The present invention allows a user to graphically define a hierarchy of user-defined, executable classes of graphical objects that can be implemented in a graphical model. The present invention supports the features of inheritance, abstraction and polymorphism. Further, descendant classes of graphical objects can graphically extend the behavior and/or structure of ancestor classes of graphical objects.
Vijaya Raghavan - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 17/10
US Classification:
703 2, 703 15, 703 16, 703 17
Abstract:
A method for modeling a system as a finite state machine in a modeling environment is discussed. Embodiments receive a representation of a finite state machine model and provide an interface for incorporating a temporal operator into the finite state machine model. The temporal operator may be a Boolean function that includes at least one event parameter and defines a temporal logic condition. Embodiments may also receive a definition of a first temporal operator that defines a logic condition related to a number of occurrences of two or more different base events.
Vijay Raghavan - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 11/22 G06F 17/50
US Classification:
716136
Abstract:
The present invention provides a method a system for facilitating enhanced processing of state diagrams in a state diagram environment. The method may include top-down processing a current state in a state diagram environment; determining whether processing of the current state results in an exception event; and passing the exception event to a superstate that includes the current state when it is determined that the current state results in an exception event. The superstate may be made the current state and it may be determined whether the current state can handle the exception event. When it is determined that the current state cannot handle the exception event, it may be determined whether the current state has a second superstate that includes the current state. An error event may be output from the state diagram environment when it is determined that the current state does not have a second superstate.
Hierarchically Scoped Resettable Variables In Graphical Modeling Environments
Vijay Raghavan - Framingham MA, US Ebrahim Mehran Mestchian - Newton MA, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06G 7/48
US Classification:
703 6, 703 13
Abstract:
The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.
User-Defined Hierarchies Of User-Defined Classes Of Graphical Objects In A Graphical Modeling Environment
The present invention allows a user to graphically define a hierarchy of user-defined, executable classes of graphical objects that can be implemented in a graphical model. The present invention supports the features of inheritance, abstraction and polymorphism. Further, descendant classes of graphical objects can graphically extend the behavior and/or structure of ancestor classes of graphical objects.