Patent Document ID: 5548682
Application ID: 08194064
Patent Flag: 1

Claim One:
1. A method of automatically creating control sequence software for a computer that controls a machine system that has a machine portion, said method comprising the steps of: storing design information data representative of the machine portion of the machine system; storing knowledge data concerning functions of the machine system and knowledge concerning behaviors thereof; representing the machine system by function, behavior and state model data (FBS model data) by an FBS representation which gives the relationship among functions, behaviors, states, and qualitative parameters of the machine system; deriving derived state transition matrix data on the basis of time sequence relationships between said functions and said behaviors and said states contained in said FBS representation; finding conditions of said qualitative parameters by qualitative inference on the basis of said knowledge data concerning said functions and said knowledge data concerning said behaviors so as to make said derived state transition matrix data physically noncontradictory; adding a behavior or a state required to satisfy found conditions of said qualitative parameters to correct said noncontradictory state transition matrix data to provide corrected state transition matrix data; determining determined times between a respective states in said corrected state transition matrix represented by said corrected state transition matrix data on the basis of said design information; and generating a generated quantitative control sequence from said corrected state transition matrix data and said determined times.