发明名称 SEMANTIC TRANSLATION OF TIME-DRIVEN SIMULINK DIAGRAMS USING INPUT/OUTPUT EXTENDED FINITE AUTOMATA
摘要 A method of semantic translation of a class of diagrams to input/output-extended finite automata is provided. The method includes receiving a data representation of a diagram, said diagram comprising a plurality of blocks and said diagram being associated with a graphical modeling environment which defines semantics for executing the diagram, and processing, using a computing device, the data representation of the diagram to translate the diagram to an input/output-extended finite automata model.
申请公布号 US2011320178(A1) 申请公布日期 2011.12.29
申请号 US201113165907 申请日期 2011.06.22
申请人 KUMAR RATNESH;ZHOU CHANGYAN;IOWA STATE UNIVERSITY RESEARCH FOUNDATION, INC. 发明人 KUMAR RATNESH;ZHOU CHANGYAN
分类号 G06F17/10 主分类号 G06F17/10
代理机构 代理人
主权项
地址