Diseño de micro y macro espejos de actuación electrostática

En este trabajo se presenta el diseño de micro y macro espejos de actuación electrostática. Debido a la complejidad de los fenómenos que intervienen en el dispositivo, en este capítulo se presta especial atención al diseño de los actuadores electrostáticos tanto micro como macroscópicos, y se deja como trabajo futuro el análisis de las propiedades ópticas de los dispositivos aquí descritos. Las dimensiones del microespejo se encuentran en el rango de los micrómetros, mientras que las del macroespejo se encuentran en el rango de los milímetros. Existe un factor de escalamiento de 1:250 entre las dimensiones de los espejos que se espera incida en este mismo orden de magnitud en los fenómenos electromecánicos en la micro y macro escala. Se detalla el diseño electro-mecánico y se explica su principio de funcionamiento. Se proporcionan modelos matemáticos y simulaciones numéricas que predicen el comportamiento de los principales elementos electromecánicos de los espejos. Se discuten las implicaciones en el mecanismo de actuación como resultado del escalamiento en las dimensiones.ITESO, A.C.Universidad de Guadalajar

Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy

This paper deals with the partial reconfiguration of the discrete control systems due to resource failures using the structural redundancy of the global system model. The approach herein proposed introduces a new subclass of Interpreted Petri Nets (), named Interpreted Machines with Resources (), allowing representing both the behaviour of a system and the resource allocation. Based on this model, an efficient reconfiguration algorithm is proposed; it is based on finding the set of all redundant sequences using alternative resources. The advantages of this structural reconfiguration method are: (1) it provides minimal reconfiguration to the system control assuring the properties of the original control system, (2) since the model includes resource allocation, it can be applied to a variety of systems such as Business Processes, and FPGAs, among others, (3) it takes advantage of the implied features of Petri net models, such as structural analysis and graphical visualization of the system and control. The method is illustrated through a case study that deals with a manufacturing system controller, which includes both alternative resources and operation sequencesITESO, A.C.CINVESTA

Las redes de Petri en la paralelización eficiente de aplicaciones: caso de uso

En este trabajo se presenta el método basado en modelos de Redes de Petri para el análisis y paralelización eficiente de aplicaciones programadas con un paradigma secuencial. Primeramente, se realiza el modelo de la aplicación secuencial. Enseguida, se analizan las partes paralelizables, y se presenta un modelo en Red de Petri de la aplicación paralelizada. A partir del modelo en Red de Petri, se realiza la verificación de la construcción del modelo y se analiza de manera informal la relación de los P-Invariantes con la paralelización del modelo. Finalmente, se realiza una comparación del tiempo de cómputo entre el paradigma secuencial y el paralelo. Se utiliza la multiplicación de matrices como caso de estudio y se reportan los resultados experimentales.Universidad de Guadalajar

Supervisory control of discrete event systems using observers

State-feedback supervisory controllers for discrete event systems are synthesized. A state observer providing the feedback information is integrated to the control scheme. Petri nets models are used for modeling the system, the controller and the observer. The required behavior of the system is specified as linear constrains. The proposed technique allows the construction of controllers for systems with partial state observation. An application example is provided.ITESO, A.C.CINVESTA

Construcción de observadores de secuencias para sistemas de eventos discretos

Este trabajo presenta el diseño e implementación de algoritmos para la construcción de observadores de secuencias para sistemas de eventos discretos. El modelo del sistema se captura como una Red de Petri, mientras que la implementación del es quema del observador se realiza en Simulink. Los algoritmos permiten verificar la propiedad de observabilidad, a la vez que construyen la matriz de detección de secuencias sobre la que se basa el funcionamiento del observador.Universidad de GuadalajaraITESO, A.C

Metodología para el diseño de sistemas embebidos basada en modelos de Redes de Petri

En este trabajo se presenta una plataforma embebida para el control de sistemas de eventos discretos. El sistema real de propósito específico se modela como una Red de Petri con señales de entrada y salida. Esto permite adaptar un esquema de control que puede ejercer acción sobre el sistema mediante comandos de entrada y retroalimentar el estado mediante señales de salida. Se proporciona una metodología para traducir el modelo en Red de Petri a una implementación de firmware embebido.Universidad de Guadalajar

Adaptative models of flexible manufacturing systems

This papes deals with the rapid reconfiguration or task controllers of flexible manufacturing systems (FMS). This problem is concerned whit the ability of the task coordination system to adapt dynamically to new situations issued from changes on the production requirements or from failures.CINVESTA