Analysis of logic control systems using the state diagram

作者：Gomez Daniel^*; Baeyens Enrique; Cardenas Clemente; Moya Eduardo J

来源：Revista Iberoamericana de Automatica e Informatica Industrial, 2011, 8(3): 196-203.

DOI：10.1016/j.riai.2011.06.007

• Logic control
• Finite state automata
• Petri nets
• Oriented graphs
• Deadlocks
• Bottlenecks
• State diagram

The current manufacturing systems are controlled and monitored by programmable logic controllers. The analysis and maintenance of a control program is a very complex task due to its size measured either by the number of lines of code or number of variables used. The analysis of the potential problems occurring in the controlled process, such as bottlenecks and deadlocks, requires formal tools that can produce such information. However, existing tools have important limitations. This paper proposes the use of the state diagram for such analysis. This diagram complements other formal tools such as those based on Petri nets or finite automata and allows analyzing logic control systems from the physical signals of the process. Therefore, it turns out to be a useful tool in the early stages of validation and implementation, as well as for process monitoring during the implementation phase.

• 出版日期2011-7