Discrete event simulation tool for analysis of qualitative models of continuous processing system

Claim 3

The method of claim 1 wherein the step of providing components with modes and mode transitions includes providing normal and malfunction modes, and providing the set of allowable transitions between these modes, to provide the context for mode-specific behavior descriptions.

Claim 4

The method of claim 1 wherein the step of providing component behavior descriptions, called processes, includes the steps of: providing behavior descriptions for each mode which includes processes that describe each mode-specific behavior and processes that describe each mode transition, and providing processes that describe each mode-independent behavior.

Claim 5

The method of claim 3 wherein the step of providing processes includes the steps of: providing a set of invocation statements that describe conditions that determine whether the process is applicable, and providing a set of effect statements, each with an associated delay value, that determine effect actions to be performed on a component instance during a simulation, and the time in the simulation when the actions occur.

Claim 6

The method of claim 4 wherein the step of providing the set of effect statements includes providing statements for the steps of: setting a component instance variable to a value calculated from combinations of variables from the component instance using the qualitative algebra defined in the library knowledge base, setting the current mode of a component instance to one of the modes of the component instance, or activating a process of the component instance.

Claim 7

The method of claim 1 wherein the step of providing a qualitative algebra for defining and combining component variables includes the steps of: providing qualitative valueclasses which are ordered lists of symbols that define the values of specific classes of component variables, to provide discrete values for continuous variables, and providing operators on the qualitative valueclasses which describe how to combine the values of qualitative valueclasses that are arguments to the operator, to calculate a resulting qualitative value.

Claim 8

The method of claim 6 wherein the step of providing an operator for the qualitative algebra includes the step of providing one or more operations for the operator, to define how to combine each set of applicable qualitative valueclasses that can be used as arguments to the operator.

Claim 9

The method of claim 7 wherein the step of providing operations includes the step of describing, in a tabular format, the resulting qualitative value of each combination of the values in the qualitative valueclasses of the arguments to the operation.

Claim 10

The method of claim 1 wherein providing relations that link components includes the steps of: providing variable clusters, which are specific sets of component variables, and providing a mapping that associates variables of a variable cluster of a domain component with variables of another variable cluster of a range component.

Claim 11

The method of claim 1 wherein providing change control mechanisms includes providing a change control mechanism for the variable cluster of the domain component to control the step of propagating changes through the model knowledge base by propagating the values of the variables in the variable cluster of the domain component into the corresponding variables in the linked variable cluster of the range component, based upon the mapping.

Claim 12

The method of claim 1 wherein the component instances within the model knowledge base inherit all of their behavior from the description of the component variables, modes, mode transitions, and behavior descriptions; and the variable values of the component instances are local to the component instances; furthermore, all component instances contain a local attribute, called current mode, which keeps track of the mode of the component instance during a simulation.

Claim 13

The method of claim 1 wherein the step of providing component variables and modes includes the step of attaching change control mechanisms that respond to changes in variable values and modes by providing the step of storing an update component event on the event queue, with a time value of the simulation time and a priority value of zero.

Claim 14

The method of claim 1 wherein providing change control mechanisms includes providing a discrete event simulation control mechanism to control: providing simulation events, independent and distinct from the domain specific modeling elements, which are actions with simulation time information, created in response to changes in component instances, storing future events in the simulation on an event queue, which contains an ordered list of the simulation events, each with an associated time of the event, running the discrete event simulator which includes the steps of executing the next event on the queue, and halting when there are no more events on the queue, storing the simulation time which is the time value of an event being executed, into a simulation clock variable.

Claim 15

The method of claim 13 wherein events on the event queue are ordered by the time value associated with the event, is ascending order, and sub-ordered by an integer priority value, in descending order.

Claim 16

The method of claim 13 wherein the step of providing simulation events includes providing descriptions of actions to be performed on component instances within the model knowledge base.

Claim 17

The method of claim 15 wherein the actions to be performed on component instances include the steps of: updating the component instance; and performing effect actions on the component instance.

Claim 18

The method of claim 16 wherein the step of updating the component instance includes the steps of: activating the mode transition processes of the current mode of the component instance, activating the mode specific processes of the current mode of the component instance, and activating the mode independent processes of the component instance.

Claim 19

The method of claim 17 wherein the step of activating the processes includes the steps of: evaluating all of the invocation statements of the process, performing the effect actions of all of the effect statements of the process, on the component instance, based on the delay value of the effect statement, if and only if all of the invocation statements evaluate to true.

Claim 20

The method of claim 18 wherein the step of performing the effect action occurs immediately if the delay value of the effect statement is zero; otherwise, an effect execution event, to perform the effect action on the component instance, is added to the event queue with a time value of the simulation time plus the effect statement delay value, and a priority value of one.

Claim 21

The method of claim 16 wherein the effect statements include actions for the steps of: setting a variable of the affected component instance to a value calculated from combinations of variables from the affected component instance using operators from the qualitative algebra defined in the library knowledge base, setting the current mode of the affected component instance to one of the modes of the component instance, or activating a process of the component instance.

Claim 22

The method of claim 1 wherein the outputting of information in response to changes in the model knowledge base includes outputting a graphic representation of the component instances and the relation instances.

Claim 23

The method of claim 21 wherein the outputting of the graphic representation includes outputting bitmaps of the component instances which are specific to the current mode of the component instance.

Claim 24

The method of claim 1 wherein the output of a simulation includes a textual output of the sequence of changes occurring in component instance, each with an associated simulation time.

Claim 25

The method of claim 1 wherein the output of a set of simulations is recorded into some format, either using files of the text output or time-based tables, in order to compare effects of changes, including malfunctions, on the application specific model.

Claim 26

A simulation and analysis tool for off-line experiments and analyses of an application specific system of components using qualitative modeling and discrete event simulation to analyze dynamic system effects of changes in components with continuous behavior, including malfunctions, comprising: a library knowledge base of domain specific modeling elements which includes components with modes, mode transitions, variables, and behavior descriptions, a qualitative algebra for defining and combining component variables, and relations to link the components, constructed relative to the application specific system, a model knowledge base for the application specific system which includes component instances, each with a current mode and linked by relation instances, means for inputting data to effect changes of component instances within the model knowledge base, either by changing a variable value of a component instance or by changing the current mode of a component instance, change control mechanisms, independent and distinct from the domain specific modeling elements, to select the control effects of changes within the model knowledge base, by updating variable values and the current mode of the component instances, and by propagating changes in the model knowledge base in a time-ordered fashion in response to input data and the resulting changes, under control of the change control mechanisms, means for applying the change control mechanisms to select and control changes in the component instance variables and the current mode of the component instances, a discrete event simulator including an event queue containing an ordered list of simulation events, a clock containing the simulation time, and the simulation events, independent and distinct from the domain specific modeling elements, that are created under control of the change control mechanisms, means for running the discrete event simulator, and means for outputting information in response to changes of variable values and the current mode of component instances, and to the propagation of changes through the model knowledge base.

Claim 27

A simulation and analysis tool for off-line experiments and analyses of an application specific system of components using qualitative modeling and discrete event simulation to analyze dynamic system effects of changes in components with continuous behavior, including malfunctions, comprising: a library knowledge base of domain specific modeling elements which includes components with modes, mode transitions, variables, and behavior descriptions, a qualitative algebra for defining and combining component variables, and relations to link the components, constructed relative to the application specific system, a model knowledge base for the application specific system which includes component instances, each with a current mode and linked by relation instances, means for inputting data to effect changes of component instances within the model knowledge base, either by changing a variable value of a component instance or by changing the current mode of a component instance, change control mechanisms, independent and distinct from the domain specific modeling elements, to select the control effects of changes within the model knowledge base, by updating variable values and the current mode of the component instances, and by propagating changes in the model knowledge base in a time-ordered fashion in response to input data and the resulting changes, under control of the change control mechanisms, means for applying the change control mechanisms to select and control changes in the component instance variables and the current mode of the component instances, a discrete event simulator including an event queue containing an ordered list of simulation events, a clock containing the simulation time, and the simulation events, independent and distinct from the domain specific modeling elements, that are created under control of the change control mechanisms, means for running the discrete event simulator, and means for outputting information in response to changes of variable values and the current mode of component instances, and to the propagation of changes through the model knowledge base.