Space reduction in compositional state systems
AssigneeWayne Biao Liu
InventorWayne Biao Liu
Life of this patent
Estimating the term…
Abstract
Models in compositional state systems are reduced by defining a set of events of interest and defining a transitive effect machine for components in the model relative to the events of interest. A transitive effect machine for a given component is defined by determining the transitive effects of events in the given component on other components in the model. Transitive effect machines are defined relative to reduced versions of other components in the model. The transitive effect machines are defined by successive assumptions of the reduced versions of the other components in the model and successively defined approximations to the transitive effect machine.
Claims44
A method for generating a reduced state space representation for a model in a compositional state system, the model comprising a selected set of components, each component comprising one or more states and one or more events, the model comprising interactions associated with events, the reduced state space representation being defined with respect to a set of events of interest selected from the events in the set of components the method comprising the following steps:
- a. for each component in the set of components, defining a transitive effect machine for the component such that the states of the transitive effect machine represent the states of the component and the events of the transitive effect machine represent the transitive effects of interactions associated with transitions of the component, the transitive effects being defined relative to the set of components, and the set of events of interest, and
- b. reducing each of the defined transitive effect machines, the reduction including the classification of states within a single transitive effect machine to permit a set of states in the said transitive effect machine to be grouped into a single class when each state in the said set of states is characterized by common properties with respect to the set of events of interest.
A method for generation of a reduced state space representation of a model in a compositional state system, the model comprising a set of components, each component comprising one or more states and one or more events, the model comprising interactions associated with events, the reduced state space representation being defined with respect to a set of events of interest selected from the events in the set of components,
- the method comprising the successive generation of a set of reduced transitive effect machines relative to a set of successively defined assumed reduced components, each one of the reduced transitive effect machines comprising classes and events and uniquely corresponding to a component in the set of components and each one of the assumed reduced components uniquely corresponding to a reduced transitive effect machine and being derived from the corresponding component in the set of components and comprising a set of classes into which the states in the said component are grouped.
A computer system for generating a reduced state space representation for a compositional state model, the model comprising a selected set of components, each component comprising one or more states and one or more events, the model comprising interactions associated with events, the reduced state space representation being defined with respect to a set of events of interest selected from the events in the set of components, the computer system comprising:
- program code for defining, for each component in the set of components, a transitive effect machine for the component such that the states of the transitive effect machine represent the states of the component and the events of the transitive effect machine represent the transitive effects of interactions associated with transitions of the component, the transitive effects being defined relative to the set of components, and the set of events of interest, and
- program code for reducing each of the defined transitive effect machines, the reduction including the classification of states within a single transitive effect machine to permit a set of states in the said transitive effect machine to be grouped into a single class when each state in the said set of states is characterized by common properties with respect to the set of events of interest.
A computer system for generation of a reduced state space representation of a model, the model comprising a set of components, each component comprising one or more states and one or more events, the model comprising interactions associated with events, the reduced state space representation being defined with respect to a set of events of interest selected from the events in the set of components,
- the computer system comprising means for the successive generation of a set of reduced transitive effect machines relative to a set of successively defined assumed reduced components, each one of the reduced transitive effect machines comprising classes and events and uniquely corresponding to a component in the set of components and each one of the assumed reduced components uniquely corresponding to a reduced transitive effect machine and being derived from the corresponding component in the set of components and comprising a set of classes into which the states in the said component are grouped.
Dependencies are inferred from the claim text.