Automated synthesis of Ladder automation circuits based on state-diagrams

被引:31
作者
Manesis, S [1 ]
Akantziotis, K [1 ]
机构
[1] Univ Patras, Dept Elect & Comp Engn, Patras 26500, Greece
关键词
industrial automation; discrete event systems; state diagrams; Ladder logic diagram; programmable logic controllers;
D O I
10.1016/j.advengsoft.2004.11.002
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
One area where discrete event systems are currently used is the design of control systems based on programmable logic controllers (PLCs). As the PLC technology is evolving into a family of control functions of many types at many different levels of complexity, there is an increasing need for software tools providing the systematic development of real industrial applications including modeling and control of discrete event systems. This paper describes the use of a state-diagram method in the computer aided logical synthesis and design of automation circuits. It also presents the corresponding software package developed for control logic creation. The developed software generates control logic in the form of Ladder electric circuits since they present descriptive simplicity and are widely known in the PLCs' world. The developed software package is also suitable for both industrial practice and teaching purposes. (c) 2004 Elsevier Ltd. All rights reserved.
引用
收藏
页码:225 / 233
页数:9
相关论文
共 15 条
[1]  
BENGTSSON L, 2002, THESIS CHALMERS U TE
[2]   Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems [J].
Cao, XR ;
Cohen, G ;
Giua, A ;
Wonham, WM ;
van Schuppen, JH .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2002, 12 (03) :253-264
[3]  
CARLSSON GO, 2001, THESIS LUND I TECHNO
[4]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd
[5]  
Chuang C., 1999, BMC PUBLIC HEALTH, V15, P2
[6]  
Dierks H, 1997, LECT NOTES COMPUT SC, V1231, P111
[7]  
Frey G, 2000, P AMER CONTR CONF, P2819, DOI 10.1109/ACC.2000.878725
[8]  
HELLGREN A, 2001, P IEEE C CONTR APPL
[9]   HyTech: A model checker for hybrid systems [J].
Henzinger T.A. ;
Ho P.-H. ;
Wong-Toi H. .
International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2) :110-122
[10]   A RULE-BASED SYSTEM FOR GENERATING A LADDER LOGIC CONTROL PROGRAM FROM A HIGH-LEVEL SYSTEMS-MODEL [J].
JAFARI, MA ;
BOUCHER, TO .
JOURNAL OF INTELLIGENT MANUFACTURING, 1994, 5 (02) :103-120