Hybrid model generation method and program product

• US 20030195726A1
• Filed: 03/17/2003
• Published: 10/16/2003
• Est. Priority Date: 03/15/2002
• Status: Abandoned Application

• Current Assignee: Kabushiki Kaisha Toshiba (Toshiba Corporation)
• Original Assignee: Kabushiki Kaisha Toshiba (Toshiba Corporation)
• Inventors: Kondo, Koichi
• Application Number:
  US10/388,663
• Publication Number:
  US 20030195726A1
• Time in Patent Office: Days
• US Class Current: 703/2
• CPC Class Codes: G05B 17/02 electric
• CPC Class Codes: G06F 17/10 Complex mathematical operations function generation by table look-up G06F1/03; evaluation of elementary functions by calculation G06F7/544

Abstract

A method of generating a hybrid model described in a hybrid model language for a system is disclosed. A description of a plurality of continuous system equations, which define a plurality of states of the system, is extracted from input data. The input data may be described in a format of state transition chart. The description of the plurality of continuous system equations is converted into a first part of a statement of the hybrid model. A description of a state transition is also extracted from the input data. The state transition may be caused by a discrete event. The description of the state transition is converted into a second part of the statement of the hybrid model. Then, the first part and the second part are combined to complete the statement, thereby completing the hybrid model.

Claims

1. A method of generating a hybrid model described in a hybrid model language for a system, the method comprising:

extracting a description of a plurality of continuous system equations which define a plurality of states of the system from input data, the input data being described in a format of state transition chart;

converting the description of the plurality of continuous system equations into a first part of a statement of the hybrid model;

extracting a description of a state transition from the input data, the state transition being caused by a discrete event;

converting the description of the state transition into a second part of the statement of the hybrid model; and

combining the first part and the second part to complete the statement, thereby completing the hybrid model.

2. A method according to claim 1, wherein the description of the state transition describes a first condition required to transit from another state to a state of interest, and a second condition required to transit from the state of interest to another state.

3. A method according to claim 1, wherein the hybrid model language includes a hybrid constraint programming language.

4. A method according to claim 1, wherein the discrete event includes at least one of an external event and an internal event resulting from an internal state.

5. A method according to claim 1, further comprising:

defining a neutral state to which the plurality of states of the system defined by a plurality of continuous system equations can commonly transit; and

defining a plurality of events which cause the state transition to the neutral state, and the state transition from the neutral state.

6. A method according to claim 1, further comprising:

converting the description of the continuous system equation into another data described in a format of block diagram.

7. A computer program product comprising a computer usable medium having computer readable program code means for causing a computer to generate a hybrid model described in a hybrid model language for a system, the computer readable program code means in said computer program product comprising:

program code means for causing the computer to extract a description of a plurality of continuous system equations which define a plurality of states of the system from input data, the input data described in a format of state transition chart;

program code means for causing the computer to convert the description of the plurality of continuous system equations into a first part of a statement of the hybrid model;

program code means for causing the computer to extract a description of the state transition from the input data;

program code means for causing the computer to convert the description of the state transition into a second part of the statement of the hybrid model, the state transition being caused by a discrete event; and

program code means for causing the computer to combine the first part and the second part to complete the statement, thereby completing the hybrid model.

8. A program product according to claim 7, wherein the description of the state transition describes a first condition required to transit from another state to a state of interest, and a second condition required to transit from the state of interest to another state.

9. A program product according to claim 7, wherein the hybrid model language includes a hybrid constraint programming language.

10. A program product according to claim 7, wherein the discrete event includes at least one of an external event and an internal event resulting from an internal state.

11. A program product according to claim 7, further comprising:

program code means for causing the computer to define a neutral state to which a plurality of states of the system defined by the plurality of continuous system equations can commonly transit; and

program code means for causing the computer to define a plurality of events which cause the state transition to the neutral state, and the state transition from the neutral state.

12. A program product according to claim 7, further comprising:

program code means for causing the computer to convert the description of the continuous system equation into another data described in a format of block diagram.