{"title":"Sensor Selection for event-detectability in Interpreted Petri Nets using an Ant Colony Optimization algorithm","authors":"L. Aguirre-Salas, A. Santoyo-Sanchez","doi":"10.1109/ICEEE.2013.6676089","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676089","url":null,"abstract":"This paper addresses the minimal cost sensor selection problem for event-detectability in Interpreted Petri Nets (IPN) models of Discrete Event Systems (DES). The computational complexity of this problem is reduced using an Ant Colony Optimization (ACO) algorithm. The proposed algorithm takes advantage of a structural characterization of the event-detectability property and can be tested in a polynomial time. The presented ACO algorithm is quite simple and helps to reduce the design effort of a DES.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122421549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Lagrangian model, simulation and control of a spherical robot","authors":"Jakob Culebro, J. Aguirre, Stalin Muñoz","doi":"10.1109/ICEEE.2013.6676019","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676019","url":null,"abstract":"The derivation of the Lagrangian for different configurations of spherical robots is explored through the use of the Euler Lagrange equations and additional constrains for the generalized velocities. The degrees of freedom are specified with rotation matrices and linear displacement vectors, allowing to determine the necessary elements for all the models in a procedural way, and to obtain the dynamics of the system. One of the thus obtained models is used for simple velocity control tests with two approaches, using the torque and velocity of the rotatory actuators as control inputs, with successful results for a simplified system with one degree of freedom, and satisfactory results for the general system.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131811356","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
C. Sánchez-López, J. Mendoza-Lopez, M. A. Carrasco-Aguilar, F. E. Morales-Lopez
{"title":"A simple floating memristor emulator circuit based on current conveyors","authors":"C. Sánchez-López, J. Mendoza-Lopez, M. A. Carrasco-Aguilar, F. E. Morales-Lopez","doi":"10.1109/ICEEE.2013.6676031","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676031","url":null,"abstract":"The main purposes of this paper is to introduce a new floating memristor emulator circuit based on positive second generation current conveyors (CCII+s). The proposed circuit is very simple, since four CCII+s, six passive elements along with one four quadrant multiplier are only used to obtain the frequency-dependent pinched hysteresis loop of the memristor in the current versus voltage plane. An analysis on the frequency behavior of the memristor is also introduced, showing that the hysteresis loop is maintained up to 20 kHz. Numerical simulations along with experimental results are given to describe the dynamic behavior of the proposed circuit. Experimental results are in agreement with the theoretical analysis and numerical simulations.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132230804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Passivity based control of a turbocharger-diesel engine system with exhaust gas recirculation","authors":"José Luis Mendoza-Soto, L. Alvarez-Icaza","doi":"10.1109/ICEEE.2013.6676071","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676071","url":null,"abstract":"A new nonlinear passivity based controller for a diesel internal combustion engine with variable geometry turbocharger system is presented. The controller design uses three input-output pairs. An input-output pair is used to stabilize the zero dynamics of the system and for the other two pairs controllers are designed such that a two-inputs two-outputs passive systems that allows output tracking is obtained. The proposed controller is applied to the nonlinear multivariate model diesel engine and its performance is verified through simulations.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133882316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Karla Viridiana Diaz-Castillo, Jose Rafael Aguilar-Mejia, Raymundo Ramirez-Mata, D. Antonio-Torres
{"title":"Virtual prototyping of a sensor-driven plant using model-based design","authors":"Karla Viridiana Diaz-Castillo, Jose Rafael Aguilar-Mejia, Raymundo Ramirez-Mata, D. Antonio-Torres","doi":"10.1109/ICEEE.2013.6676046","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676046","url":null,"abstract":"Model-based design is an approach that aims to establish a framework for complex embedded systems by incorporating graphical and/or textual high-level programming and integrated code generation and simulation tools; during the early phases of model-based design, an executable specification of the intended functionality of the embedded system is also generated. With a parallel proposal, a recent discipline that has received a great deal of attention for product concept and manufacture is virtual prototyping; with virtual prototyping, a visual mockup of the product is built for specification and validation purposes during the early stages of the product design flow. This paper proposes the joint use of virtual prototyping and model-based design for the graphical validation of a sensor-driven plant and for the correct functionality of the embedded controller of the plant; this approach is further supported by a variation of a processor-in-the-loop simulation.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134518423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. Cortes-Salinas, F. Chávez-Ramírez, G. F. Pérez-Sánchez, P. Zaca-Morán, A. Morales-Acevedo, R. Peña-Sierra, O. Goiz-Amaro, A. Huerta
{"title":"Synthesis and characterization of In2O3 micro- and nano-structures at low temperatures by the CSVT technique","authors":"D. Cortes-Salinas, F. Chávez-Ramírez, G. F. Pérez-Sánchez, P. Zaca-Morán, A. Morales-Acevedo, R. Peña-Sierra, O. Goiz-Amaro, A. Huerta","doi":"10.1109/ICEEE.2013.6676013","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676013","url":null,"abstract":"Indium oxide microstructures were synthesized by close-spaced chemical vapor transport (CSVT) technique at low temperatures and without the use of catalysts. Morphological characterization by scanning electron microscopy (SEM) showed that the CSVT technique provides high mass-transport efficiency at temperatures as low as 650°C, considering that indium oxide powders were used as a source for the synthesis. It is observed that the microstructures are formed mainly of cubes with semi-spheroids attached to their faces. Additional measurements of X-ray (XRD), Raman, and Energy-dispersive X-ray spectroscopy (EDS) showed that the cubes tend to have the stoichiometry of cubic indium oxide while the semi-spheroids have a metallic nature. The microstructures were converted to indium oxide nanobelts by a simple post thermal annealing during 16 hours in a nitrogen environment, according to the morphological and structural characterizations. The results revealed that the indium oxide nanobelts have several micrometers in length with rectangular cross sections in the range from 50 to 250 nanometers and correspond to indium oxide in the cubic and face-centered phases. The growth mechanisms of the micostructures and nanobelts are discussed in detail.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125519868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
E. Magana-Lemus, A. Medina-Rios, Antonio Ramos Paz, Victor H. Montesinos-Gonzalez
{"title":"Periodic steady state determination of power systems using graphics processing units","authors":"E. Magana-Lemus, A. Medina-Rios, Antonio Ramos Paz, Victor H. Montesinos-Gonzalez","doi":"10.1109/ICEEE.2013.6676012","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676012","url":null,"abstract":"Modern advances in computer technology will definitely have a great impact on the methodologies used in the expansion and operational planning of power systems. Parallel and distributed systems are the new tendencies in technologies that present a great potential for application in these areas. Graphics processing units (GPUs) have recently become popular in several fields of science due to their capability of performing massively large computational tasks. The use of a GPU for efficiently obtaining the periodic steady state solution in the time domain of large-scale electric power systems with nonlinear components is presented in this paper. Two programming models of the numerical differentiation process are proposed and implemented on a single GPU. The computation time of the simulation performed by co-processing GPU-CPU has been compared with the simulation time required when using a conventional CPU. Several test cases have been analyzed to demonstrate the acceleration of the GPU-CPU simulation and the speed-up achieved.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125581855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Laura Patricia Ramirez Rivera, A. Viveros, S. V. C. Vergara
{"title":"User interface features for tiled display environments","authors":"Laura Patricia Ramirez Rivera, A. Viveros, S. V. C. Vergara","doi":"10.1109/ICEEE.2013.6676036","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676036","url":null,"abstract":"The user interface provides the main aspects to consider a visualization tool, especially using tiled display environments. It is very important in the use of tiled display environments are the appropriate use of bottoms, windows and general widgets. In this paper we show a summary of the user interface used in this kind of environments in order to find marks that help in developing new user interfaces.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115219018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Gerardo Marcos Tornez-Xavier, F. Gómez-Castañeda, J. Moreno-Cadenas, L. M. Flores-Nava
{"title":"FGPA development and implementation of a solar panel emulator","authors":"Gerardo Marcos Tornez-Xavier, F. Gómez-Castañeda, J. Moreno-Cadenas, L. M. Flores-Nava","doi":"10.1109/ICEEE.2013.6676052","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676052","url":null,"abstract":"This work describes the development and FPGA implementation of a solar panel emulator. First we created the electric analog model of the solar panel using the Mentor Graphics framework, using the irradiance and temperature variables of a meteorological database as input signals and then obtaining the short circuit current and the open circuit voltage parameters to finally train an artificial neural network using Matlab, to perform the modeling of the response of the solar panel. Once the neural network was optimized, this was described in VHDL to simulate its response, to finally make its implementation in FPGA digital device and to be able to compare these results with those of a commercial solar panel.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121882697","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Identification of frequencies of vibration in buildings with wave travel times","authors":"J. Morales‐Valdez, L. Alvarez-Icaza","doi":"10.1109/ICEEE.2013.6676061","DOIUrl":"https://doi.org/10.1109/ICEEE.2013.6676061","url":null,"abstract":"A novel technique for identification of buildings by the method of Thomson-Haskell is presented. The goal of this method is to detect changes in the arrival time of waves that propagate through the structure, and with this, to identify the natural frequencies of vibration. The use of this method has the advantage of identifying a relatively small number of parameters, in comparison with recursive methods based on building shear models commonly used in the literature. Simulation results show that the proposed technique is promising for identification and location of structural damage, using wave arrival times and changes on them over time.","PeriodicalId":226547,"journal":{"name":"2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)","volume":"838 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116154805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}