Synthesis Of Controllers From Finite State Stack Machine Diagrams
2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)(2018)
摘要
Industrial plants are distributed systems whose automation requires complex controllers. Networks of state machines model these controller systems but their syntheses remain a problem. In this paper, we approach it by combining extended finite state machines (EFSM) with state stacks. While EFSM match most design templates, extended finite state stack machines ((EFSM)-M-2) accommodates to procedural agent architectures for modules at higher-abstraction levels of the controllers' networks. Results include a code generator from state machine diagrams and a simulator of a mobile robot for internal transportation whose controller stack includes EFSM and (EFSM)-M-2.
更多查看译文
关键词
Controller synthesis, state machines, state-based programming
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要