Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado* | Zendy

Daniel Armando Olivera Gómez | Zendy; Enrique Baeyens | Zendy; Clemente Cárdenas | Zendy; Eduardo J. Moya | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Supervisión de sistemas lógicos de control utilizando el diagrama de evolución del estado*

Author(s) -

Daniel Armando Olivera Gómez,

Enrique Baeyens,

Clemente Cárdenas,

Eduardo J. Moya

Publication year - 2011

Publication title -

revista iberoamericana de automática e informática industrial riai

Language(s) - Spanish

Resource type - Journals

SCImago Journal Rank - 0.27

H-Index - 16

eISSN - 1697-7920

pISSN - 1697-7912

DOI - 10.1016/j.riai.2011.06.007

Subject(s) - petri net , computer science , automaton , finite state machine , process (computing) , task (project management) , programmable logic controller , state (computer science) , formal verification , formal methods , programming language , systems engineering , engineering , theoretical computer science , operating system

ResumenLos sistemas de fabricación actuales están controlados y supervisados por controladores lógicos programables. El análisis y mantenimiento de un programa de control es una tarea muy compleja debido a su gran tamaño medido tanto en líneas de código como en número de variables utilizadas. El análisis de los posibles problemas que puede presentar el proceso controlado, como por ejemplo, cuellos de botella y bloqueos, requiere de herramientas formales. Sin embargo, las herramientas existentes presentan importantes limitaciones. En este trabajo se propone el uso del diagrama de evolución del estado para realizar dicho análisis. Este diagrama complementa a otras herramientas formales basadas en redes de Petri o autómatas finitos y permite analizar los sistemas de control lógico a partir de las señales físicas del proceso. Resulta ser una herramienta de gran utilidad en las fases de validación y puesta en marcha, así como para la supervisión de procesos durante la fase de ejecución

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research