Papers by LUIS ISIDRO AGUIRRE SALAS
South Florida Journal of Development
En este artículo se muestra el diseño y construcción de una celda flexible didáctica para la sepa... more En este artículo se muestra el diseño y construcción de una celda flexible didáctica para la separación automática de objetos de diferentes materiales. La celda es controlada mediante un microcontrolador PIC16F876 y monitoreada desde una computadora mediante una interfaz gráfica de usuario. Se utilizaron las redes de Petri interpretadas (RPI) para modelar la celda y diseñar los controladores. La celda fue programada para realizar dos funciones: separar piezas de acuerdo a la naturaleza del material (plástico, vidrio y metal) en contenedores particulares, y separar los objetos de metal en contenedores diferentes en secuencias definidas por el usuario, por ejemplo de 2 en 2. La interfaz gráfica permite arrancar y detener la celda, seleccionar entre las funciones de control, además de mostrar una animación del estado de la celda en tiempo real. La aplicación muestra un conteo por cada tipo de material separado y depositado en cada contenedor, guardando un registro en una base de datos.
En este trabajo se presenta el modelado y diseño de un controlador para un proceso de producción ... more En este trabajo se presenta el modelado y diseño de un controlador para un proceso de producción de envasado de líquido en botellas PET, fundamentado en la teoría de redes de Petri y con la metodología de Moody y Antsaklis, (1999). El controlador restringe el funcionamiento del proceso con el diseño de una red de Petri auxiliar que se implementa en el modelo de la planta para controlar transiciones incontrolables y medir lugares inobservables.
El artículo describe la aplicación de una metodología para traducir redes Petri interpretadas (RP... more El artículo describe la aplicación de una metodología para traducir redes Petri interpretadas (RPI) a diagramas de escalera (LD), para implementarse en un Controlador Lógico Programable (PLC), con el objeto de controlar un proceso de embotellado de agua purificada. Se realizaron simulaciones empleando software disponible, tanto para RdP como para LD para validar la metodología propuesta. Palabras clave: Rede de Petri, diagrama de escalera, sistema de eventos discretos, controlador lógico programable I. INTRODUCCIÓN Hoy en día los Controladores Lógicos Programables (PLC) aún se utilizan en la automatización industrial (Gomaa, 2011; Venkateswaran et. al, 2009). Controlan sistemas de manufactura de diversos tamaños que van desde estaciones de trabajo individuales hasta sistemas complejos de producción. Por otra parte, se prefieren los PLC como controladores porque pueden reprogramarse para cumplir con los requisitos de producción a bajo costo de casi cualquier planta. La construcción y...
En las últimas décadas ha aumentado el estudio de los sistemas de eventos discretos (SED), a trav... more En las últimas décadas ha aumentado el estudio de los sistemas de eventos discretos (SED), a través del modelado de sistemas para analizar sus características y desarrollar algoritmos de control y monitoreo. El modelado de los SED se ha realizado con las redes de Petri y los autómatas finitos. En muchas ocasiones no es posible contar con un sistema físico para implementar y comprobar los algoritmos desarrollados teóricamente debido a su complejidad y costo computacional. En este artículo se presenta una metodología para implementar un SED mediante un microcontrolador PIC18F4550 mediante un algoritmo para traducir una red de Petri Interpretada binaria (RPIB) no temporizada a lenguaje C. El código se compila y carga en el microcontrolador para analizar su comportamiento real. Palabras Clave: Lenguaje C, PIC18F4550, Redes de Petri Interpretadas, Sistema de Eventos Discretos, Sistema embebido.
2009 6th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), 2009
Abstract This paper deals with supervisory control of Discrete Event Systems (DES) by state fee... more Abstract This paper deals with supervisory control of Discrete Event Systems (DES) by state feedback in order to avoid uncontrollable specifications and blockings. It incorporates two levels of modeling that includes the system and specification model and secondly the ...
2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008
2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), 2013
ABSTRACT
2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008
This paper deals with a diagnosis based on Interpreted Petri nets. It introduces the problem of e... more This paper deals with a diagnosis based on Interpreted Petri nets. It introduces the problem of energy interruption on electrical systems, which is a phenomenon of discrete nature where lost of the electrical energy and disconnections of several elements characterize it. Also, it presents a method for obtaining the diagnosis based on Interpreted Petri nets and error Interpreted Petri nets; the diagnosis step determines and locates faults occurring within electrical systems, i.e. it indicates which electrical component faults and specifies the kind of fault that occurred.
2010 7th International Conference on Electrical Engineering Computing Science and Automatic Control, 2010
In the context of video games design, Artificial Intelligence (AI) a broad of techniques have bee... more In the context of video games design, Artificial Intelligence (AI) a broad of techniques have been used to generate the behavior of Non-Players Characters (NPC's). In this document, is explored the use of Supervisory control in Discrete Event Systems for design the behavior of NPC's, where the interaction between them it is not blocking. The modeling tool used is Interpreted Petri Nets (IPN) which are an extension of Petri Nets (PN) allow to relate input signals and output signals for PN models.
Petri Nets Applications, 2010
2007 American Control Conference, 2007
This work presents an algorithm for the design of asymptotic observers for conservative discrete ... more This work presents an algorithm for the design of asymptotic observers for conservative discrete event systems under partial state observations modeled by interpreted Petri nets (IPN) . The proposed observer consists of a Colored Petri net (CPN), where two token colors are defined: one for actual tokens and the other for estimated tokens. The observer uses the knowledge of the
cybertesis.urp.edu.pe
Eighth LACCEI Latin American and Caribbean Conference for Engineering and Technology (LACCEI'... more Eighth LACCEI Latin American and Caribbean Conference for Engineering and Technology (LACCEI'2010) Innovation and Development for the Americas, June 1-4, 2010, Arequipa, Perú ... Karen Hernández Rueda Universidad de Guadalajara-CU Costa Sur, Autlán, Jalisco, ...
2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008
... 77, No.1, pp. 81-98, 1989. [11] G. Ramírez-Prado, A. Santoyo, A. Ramírez-Treviño, O. Begovich... more ... 77, No.1, pp. 81-98, 1989. [11] G. Ramírez-Prado, A. Santoyo, A. Ramírez-Treviño, O. Begovich, Regulation problem in discrete event systems using interpreted Petri nets, IEEE International Conference on Systems, Man and Cybernetics, Vol. 3, pp. 2174-2179, 2000. ...
Information Control Problems in Manufacturing 2006, 2006
... Conference Editor: Alexandre Dolgui, Gérard Morel, Carlos Pereira. Authors A. Ramirez-Trevino... more ... Conference Editor: Alexandre Dolgui, Gérard Morel, Carlos Pereira. Authors A. Ramirez-Trevino; J. Ruiz-Leon; C. Martinez-Barrientos; F. Arias-Zambrano. ... IEEE International Conference SMC, pp. 740-745. [9] Ramirez-Treviño, A., I. Rivera-Rangel, and E. López-Mellado (2003). ...
2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009
In this paper we deal with the observability problem in discrete event systems modeled with inter... more In this paper we deal with the observability problem in discrete event systems modeled with interpreted Petri nets (IPN) under partial state observations with both silent and indistinguishable transitions. In particular, we study the sequence-detectability property which is a necessary condition for observability. We provide a characterization of sequence-detectability. This characterization takes into account both structural and dynamic aspects of
Uploads
Papers by LUIS ISIDRO AGUIRRE SALAS