Systematic Generation of Logic Controllers in a Model-based Multi-formalism Design Environment

详细信息    查看全文

• 作者：Stephan Fischer^* ; ^{stephan.fischer@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author} ; Martin Hü ; fner^* ; ^{martin.huefner@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author} ; Christian Sonntag^* ; ^{christian.sonntag@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author} ; Sebastian Engell^* ; ^{sebastian.engell@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Logic controllers ; Model-based design ; Computer-aided control systems design ; Interdisciplinary design
• 刊名：IFAC-PapersOnLine
• 出版年：2011
• 出版时间：January 2011
• 年：2011
• 卷：44
• 期：1
• 页码：12490-12495
• 全文大小：1130 K

文摘

This paper proposes a work flow for the model-based design of industrial logic controllers implemented in Sequential Function Charts (SFC). The design procedure starts from informal natural-language requirements that are formalized in an iterative refinement process. The results of this tool-supported process are (1) a formal specification of the logic controller, (2) a documentation of the design decisions, and (3) the logic controller as SFC. The SFC controller can either be directly implemented or connected with a plant model to generate a model of the controlled system. To this end, the plant model as well as the model of the logic controller are transformed algorithmically to the Compositional Interchange Format for Hybrid Systems (CIF) which is connected to a variety of modeling formalisms for e.g. simulation, testing, verification, and the design of continuous controllers.