摘要 |
The present invention discloses a method to convert a DEV&DESS model into the same linear hybrid automata. According to the present invention, provided is a model converting method including a step of generating a discrete input/output set, a consecutive input/output set, and a variable set X corresponding to a discrete state and consecutive state for the DEV&DESS model and adding elapsed time and a time advanced function - the variable set X includes a discrete input variable, a discrete output variable, a consecutive input variable, a consecutive output variable, a discrete state variable, and a consecutive state variable x - ; (b) a step of generating discrete input automata (DIA) - an unchangeable condition about the elapsed time and the time advanced function and a flow condition about the elapsed time are added during the DIA generating step -; (c) a step of generating a state set V corresponding to a phase of the DEV&DESS one to one and a flow condition function; (d) a step of converting an internal transfer function and a discrete output function about a state event; (e) a step of converting an external transfer function; (f) a step of converting an internal transfer function and a discrete output function about a time event; and (g) a step of converting an initial condition into what corresponding to the converted variable and state. |