首页>
外国专利>
Linear Hybrid Automata Converting Method and Apparatus for DEV＆DESS Model Verification
Linear Hybrid Automata Converting Method and Apparatus for DEV＆DESS Model Verification
展开▼
机译：DEV＆DESS模型验证的线性混合自动机转换方法及装置
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼
