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

Quezada Quezada, José Carlos

dc.contributor.author	Quezada Quezada, José Carlos
dc.date.accessioned	2024-07-22T17:15:41Z
dc.date.available	2024-07-22T17:15:41Z
dc.date.issued	2015-09-01
dc.identifier.govdoc	DRCIIND .11460 2015
dc.identifier.other	AT20063
dc.identifier.uri	http://dgsa.uaeh.edu.mx:8080/bibliotecadigital/handle/231104/5215
dc.description	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.	es_ES
dc.language.iso	es	es_ES
dc.publisher	ICBI-BD-UAEH	es_ES
dc.subject	Procesos industriales	es_ES
dc.subject	PLC	es_ES
dc.subject	Algoritmos	es_ES
dc.subject	Red de Petri	es_ES
dc.subject	Red LDPN	es_ES
dc.title	Validación de algoritmos de control en diagrama escalera para detección de condiciones de riesgo con redes de Petri.	es_ES
dc.title.alternative	Ciencias en Ingeniería Industrial	es_ES
dc.type	Tesis	es_ES