Validación de algoritmos de control en diagrama escalera para detección de condiciones de riesgo con redes de Petri.

Por favor, use este identificador para citar o enlazar este ítem: http://dgsa.uaeh.edu.mx:8080/handle/231104/5215

Título :	Validación de algoritmos de control en diagrama escalera para detección de condiciones de riesgo con redes de Petri.
Otros títulos :	Ciencias en Ingeniería Industrial
Autor :	Quezada Quezada, José Carlos
Palabras clave :	Procesos industriales PLC Algoritmos Red de Petri Red LDPN
Fecha de publicación :	1-sep-2015
Editorial :	ICBI-BD-UAEH
Descripción :	Los sistemas basados en Controladores Lógicos Programables (PLC, por sus siglas en inglés) se caracterizan por su trabajo cíclico, leer el estado de las señales de entrada física que vienen de los sensores de los procesos, realización de la copia de los estados de dichas señales, con los que se evalúa el algoritmo de control, el resultado de la evaluación es copiado para enviar los estados de las señales en un mismo momento a los módulos de las salidas físicas, los cuales están conectados a los actuadores del proceso. El desarrollo de los algoritmos de control de procesos industriales se basa en las especiaciones formales y de las interpretaciones y experiencia de los programadores responsables del control, los cuales no utilizan teorías formales para su análisis y comprobación antes de ser implementado en los procesos industriales.
Documento del Gobiberno :	DRCIIND .11460 2015
URI :	http://dgsa.uaeh.edu.mx:8080/bibliotecadigital/handle/231104/5215
Aparece en las colecciones:	Tesis de Doctorado

Ficheros en este ítem:

Fichero	Descripción	Tamaño	Formato
AT20063.pdf		5.67 MB	Adobe PDF	Visualizar/Abrir

DSpace JSPUI