Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Electrical and Computer Engineering

PDF

2012

Institution
Keyword
Publication
Publication Type

Articles 1 - 30 of 331

Full-Text Articles in Computer Engineering

Online State Of Charge And Electrical Impedance Estimation For Multicell Lithium-Ion Batteries, Taesic Kim, Wei Qiao, Liyan Qu Dec 2012

Online State Of Charge And Electrical Impedance Estimation For Multicell Lithium-Ion Batteries, Taesic Kim, Wei Qiao, Liyan Qu

Department of Electrical and Computer Engineering: Faculty Publications

This paper proposes a hybrid battery model-based high-fidelity state of charge (SOC) and electrical impedance estimation method for multicell lithium-ion batteries. The hybrid battery model consists of an enhanced Coulomb counting algorithm for SOC estimation and an electrical circuit battery model. A particle swarm optimization (PSO)-based online parameter identification algorithm is designed to estimate the electrical parameters of the cells sequentially. An SOC compensator is designed to correct the errors of the enhanced Coulomb counting SOC estimations for the cells sequentially. This leads to an accurate, robust online SOC estimation for individual cells of a battery pack. The proposed method …


Ict For Poverty Alleviation In Pacific Island Nations: Study Of Icts4d In Fiji, Deogratias Harorimana, Opeti Rokotuinivono, Emali Sewale, Fane Salaiwai, Marica Naulu, Evangelin Roy Dec 2012

Ict For Poverty Alleviation In Pacific Island Nations: Study Of Icts4d In Fiji, Deogratias Harorimana, Opeti Rokotuinivono, Emali Sewale, Fane Salaiwai, Marica Naulu, Evangelin Roy

Dr Deogratias Harorimana

ICT for Poverty Alleviation in Pacific Island Nations: Study of ICTs4D in Fiji There has been a vague and little knowledge on the role or potential of Information and Communications Technologies (ICTs) in relation to addressing poverty in Fiji. This may be probably due to the newness of the technology in the South Pacific Region as a whole but also probably due to the fact that only 9.7% of the current Fiji 931,000 populations are internet users (ITC Figures 2011). This paper reports on finding how ICTs is contributing towards poverty alleviation in Fiji. On the basis of reviewed best …


Image Segmentation For Quantification Of Air-Water Interface In Micro-Ct Soil Images, Kranthi Kumar Potteti Dec 2012

Image Segmentation For Quantification Of Air-Water Interface In Micro-Ct Soil Images, Kranthi Kumar Potteti

UNLV Theses, Dissertations, Professional Papers, and Capstones

Soils are complex environments comprising various biological (roots, water, air etc) and physical constituents (minerals, aggregates, etc). Synchrotron radiation based X-ray microtomography (XMT) is widely used in extracting qualitative and quantitative information regarding spatial distribution of biological and physical soil constituents. Segmentation of these micro-CT soil images is of interest to geologists, hydrologists, civil and petroleum engineers and soil scientists. In this present work, we study and implement segmentation algorithms for microhydrology studies, specifically for soil water conductivity. Three well-known image segmentation algorithms are studied for evaluating their performance for the task. We demonstrate the problems and ways to segment …


Thin 3d Multiplication Regions In Plasmonically Enhanced Nanopillar Avalanche Detectors, Pradeep Senanayake, Chung-Hong Hung, Alan C. Farrell, David A. Ramirez, Joshua Shapiro, Chi-Kang Li, Yuh-Renn Wu, Majeed M. Hayat, Diana L. Huffaker Dec 2012

Thin 3d Multiplication Regions In Plasmonically Enhanced Nanopillar Avalanche Detectors, Pradeep Senanayake, Chung-Hong Hung, Alan C. Farrell, David A. Ramirez, Joshua Shapiro, Chi-Kang Li, Yuh-Renn Wu, Majeed M. Hayat, Diana L. Huffaker

Electrical and Computer Engineering Faculty Research and Publications

We demonstrate a nanopillar (NP) device structure for implementing plasmonically enhanced avalanche photodetector arrays with thin avalanche volumes (∼ 310 nm × 150 nm × 150 nm). A localized 3D electric field due to a core–shell PN junction in a NP acts as a multiplication region, while efficient light absorption takes place via surface plasmon polariton Bloch wave (SPP-BW) modes due to a self-aligned metal nanohole lattice. Avalanche gains of ∼216 at 730 nm at −12 V are obtained. We show through capacitance–voltage characterization, temperature-dependent breakdown measurements, and detailed device modeling that the avalanche region is on the order of …


Assessment Of Audio Interfaces For Use In Smartphone Based Spatial Learning Systems For The Blind, Shreyans Jain Dec 2012

Assessment Of Audio Interfaces For Use In Smartphone Based Spatial Learning Systems For The Blind, Shreyans Jain

Electronic Theses and Dissertations

Recent advancements in the field of indoor positioning and mobile computing promise development of smart phone based indoor navigation systems. Currently, the preliminary implementations of such systems only use visual interfaces—meaning that they are inaccessible to blind and low vision users. According to the World Health Organization, about 39 million people in the world are blind. This necessitates the need for development and evaluation of non-visual interfaces for indoor navigation systems that support safe and efficient spatial learning and navigation behavior. This thesis research has empirically evaluated several different approaches through which spatial information about the environment can be conveyed …


Hardware Implementation Of Processor Allocator For Mesh Connected Chip Multiprocessors, Rana Sangram Reddy Marri Dec 2012

Hardware Implementation Of Processor Allocator For Mesh Connected Chip Multiprocessors, Rana Sangram Reddy Marri

UNLV Theses, Dissertations, Professional Papers, and Capstones

The advancements in the semiconductor process technology and the current demand for highly parallel computing has led to the advent of Chip Multiprocessors (CMPs). CMP is the integration of two or more independent processor cores, which can read and execute program instructions, on to a single integrated circuit die. CMPs are the main computing platforms for research and development in parallel and high performance computing environments. They offer minimum inter-core communication latencies as the processor cores are present on a single chip.

The Operating System (OS) plays a key role in using a CMP effectively. The OS should support a …


Is Tech M&A Value-Additive?, Ani Deshmukh Nov 2012

Is Tech M&A Value-Additive?, Ani Deshmukh

Undergraduate Economic Review

Given rising M&A deal volume across all high-tech subsectors, the ability to measure post-acquisition performance becomes critical. Despite this growth, the relevant academic literature is severely lacking (Kohers and Kohers 2000). Using an event-study approach, I find that acquirers and targets both realize statistically significant day-0 abnormal returns (1.23% [p<0.1] and 8.1% [p<0.01], respectively). As positive stock returns signal positive growth prospects in a semi-strong efficient market, AR regressions found that firms' technological relatedness, deal financing, purchase price premiums, and the relative book to market ratio, explained most variance. Overall, high-tech transactions are value-additive for both targets and acquirers.


System-On-A-Chip (Soc) Based Hardware Acceleration In Register Transfer Level (Rtl) Design, Xinwei Niu Nov 2012

System-On-A-Chip (Soc) Based Hardware Acceleration In Register Transfer Level (Rtl) Design, Xinwei Niu

FIU Electronic Theses and Dissertations

Today, modern System-on-a-Chip (SoC) systems have grown rapidly due to the increased processing power, while maintaining the size of the hardware circuit. The number of transistors on a chip continues to increase, but current SoC designs may not be able to exploit the potential performance, especially with energy consumption and chip area becoming two major concerns. Traditional SoC designs usually separate software and hardware. Thus, the process of improving the system performance is a complicated task for both software and hardware designers. The aim of this research is to develop hardware acceleration workflow for software applications. Thus, system performance can …


Knowledge Dictionary For Information Extraction On The Arabic Text Data, Wahyu Syaifullah Jauharis Saputra, Agus Zainal Arifin, Anny Yuniarti Nov 2012

Knowledge Dictionary For Information Extraction On The Arabic Text Data, Wahyu Syaifullah Jauharis Saputra, Agus Zainal Arifin, Anny Yuniarti

Makara Journal of Technology

Information extraction is an early stage of a process of textual data analysis. Information extraction is required to get information from textual data that can be used for process analysis, such as classification and categorization. A textual data is strongly influenced by the language. Arabic is gaining a significant attention in many studies because Arabic language is very different from others, and in contrast to other languages, tools and research on the Arabic language is still lacking. The information extracted using the knowledge dictionary is a concept of expression. A knowledge dictionary is usually constructed manually by an expert and …


Benchmark For Country-Level Earthquake Strong-Motion Instrumentation Program, Widjojo Adi Prakoso, I Nyoman Sukanta Nov 2012

Benchmark For Country-Level Earthquake Strong-Motion Instrumentation Program, Widjojo Adi Prakoso, I Nyoman Sukanta

Makara Journal of Technology

An empirical study to develop benchmark models at country-level to assess the suggested number of earthquake strongmotion stations based on a framework encompassing geographic, demographic, and socio-economic parameters is reported. The models are to provide a working estimate of the required number of stations for improving the strongmotion instrumentation program of Indonesia. National earthquake strong-motion networks of New Zealand, Japan, Taiwan, Iran, Turkey, and Italy were used as the references. The parameter proposed is the number of stations in land area of 1,000 km2, and three models based on the exponential regression analysis are presented as functions of population density, …


Biodiesel Production From Waste Cooking Oil Using Hydrodinamic Cavitation, Muhammad Dani Supardan, Satriana Satriana, Mahlinda Mahlinda Nov 2012

Biodiesel Production From Waste Cooking Oil Using Hydrodinamic Cavitation, Muhammad Dani Supardan, Satriana Satriana, Mahlinda Mahlinda

Makara Journal of Technology

The aim of this research was to study biodiesel production from low cost feedstock of waste cooking oil (WCO) using hydrodynamic cavitation apparatus. A two-step processes esterification process and transesterification process using hydrodynamic cavitation for the production of biodiesel from WCO is presented. The first step is acid-catalyzed esterification process for reducing free fatty acid (FFA) content of WCO and followed by base-catalyzed transesterification process for converting WCO to biodiesel as the second step. The result of esterification process with methanol to oil molar ratio of 5 and temperature of 60 oC showed that the initial acid value of WCO …


Development Of Local-Economic-Development Small And Medium Industries (Led-Sme) In East Java, Rachmad Hidayat, Sabarudin Akhmad Nov 2012

Development Of Local-Economic-Development Small And Medium Industries (Led-Sme) In East Java, Rachmad Hidayat, Sabarudin Akhmad

Makara Journal of Technology

This paper presents the effects of Indonesian government’s developmental efforts of assistance and training performed on the growth of LED-SME business units and business performance. Both parameters of the government’s assistance and training were used to analyze the impact to the growth and performance of business unit. To achieve a comprehensive result, samples acquired in this research were about 190 entrepreneurs and managers of LED-SME from East Java. Based on the parameters above, there are five hypotheses made to prove the relationship of the assistance and training to the growth and performance of business units. The structural equation modeling (SEM) …


Cdm Potential In Palm Solid Waste Cogeneration As An Alternative Energy In Aceh Province, Mahidin Mahidin, Izarul Machdar, Muhammad Faisal, Muhammad Nizar Nov 2012

Cdm Potential In Palm Solid Waste Cogeneration As An Alternative Energy In Aceh Province, Mahidin Mahidin, Izarul Machdar, Muhammad Faisal, Muhammad Nizar

Makara Journal of Technology

Empty Fruit Bunch (EFB) as a solid waste in Crude Palm Oil (CPO) industry does not utilized yet as an alternative energy source to generate electricity. It is well known that use of solid wate (biomass) as an energy source is part of the Clean Development Mechanism (CDM) scheme due to direct reduction of Green House Gases (GHGs) emission and provide a direct contribution to sustainable development. Utilization of EFB as a source of energy is very potential to be implemented in Aceh since this province has 25 CPO Mills at the moment which actively produce about 870,000 ton EFB …


Worst Case Of Relative Disturbance Gain Array For Uncertain Distillation System, Rudy Agustriyanto, Jie Zhang Nov 2012

Worst Case Of Relative Disturbance Gain Array For Uncertain Distillation System, Rudy Agustriyanto, Jie Zhang

Makara Journal of Technology

This article discusses the constrained nonlinear optimization formulation for calculating the worst case of lower and upper bounds of relative disturbance gain array (RDGA) for uncertain process models. The proposed approach seeks the minimum and maximum values of the relative disturbance gains subject to the constraints in which the process and disturbance gains are within their uncertainty ranges. RDGA ranges are useful for control structure determination and the related robustness, as they provide information regarding the sensitivity to gain uncertainties. The proposed method is demonstrated by ternary distillation column case study. Closed loop simulation results support the analysis based on …


Small Scale Experiment: Thermal Performance Comparison Between Fiber-Cement Roof And Photovoltaic Roof In Malang, Indonesia, Nurhamdoko Bonifacius, Sri Nastiti Nugrahani Ekasiwi Nov 2012

Small Scale Experiment: Thermal Performance Comparison Between Fiber-Cement Roof And Photovoltaic Roof In Malang, Indonesia, Nurhamdoko Bonifacius, Sri Nastiti Nugrahani Ekasiwi

Makara Journal of Technology

Irradiation on the surface of photovoltaic module heats up the photovoltaic module itself and the room underneath the roof of integrated photovoltaic building in the tropics area. Room heating reduces thermal condition and photovoltaic module surface heating reduces its performance in generating electricity. This paper discusses an experiment of measuring the surface temperature of photovoltaic modules and fiber-cement roof surface as a comparison. This experiment also measures the impact of rising temperatures in each space underneath. It used small-scale mock-ups exposed to direct sunlight. The result of the experiment shows that photovoltaic roof surface temperature is lower than fiber-cement roof …


Physico-Chemical, And Sensory Properties Of Soy Based Gouda Cheese Analog Made From Different Concentration Of Fat, Sodium Citrate And Various Cheese Starter Cultures, Abu Amar, Ingrid Suryanti Surono Nov 2012

Physico-Chemical, And Sensory Properties Of Soy Based Gouda Cheese Analog Made From Different Concentration Of Fat, Sodium Citrate And Various Cheese Starter Cultures, Abu Amar, Ingrid Suryanti Surono

Makara Journal of Technology

Gouda cheese analog (GCA) was made using soy protein isolate (SPI), skim milk powder (SMP), fat (palm fat and butter fat), and water (W) at optimal ratio of SPI : SMP : F : W = 14 : 6 : 20 : 60. The effects of butter fat, sodium citrate, and cheese starter culture on the sensory properties of ripened product were assessed by preference test, hedonic test, and the texture profile analysis (TPA) of GCA. The free fatty acids, water-soluble nitrogen, and reduction in pH value of progel were also measured. The use of 100% butter fat (BF) produced …


Observation Of Center Disaster Damage On Pariaman And Wasior Using Differential Sar Interferometry (Dinsar), Dodi Sudiana, Mia Rizkinia Nov 2012

Observation Of Center Disaster Damage On Pariaman And Wasior Using Differential Sar Interferometry (Dinsar), Dodi Sudiana, Mia Rizkinia

Makara Journal of Technology

This study focuses on disaster observations in Pariaman (West Sumatera) and Wasior (Papua) using remote sensing techniques (differential SAR interferometry). Differential interferometry (DInSAR) method was performed on two PALSAR data sets with different acquisition months, i.e. about a month after and before disaster, respectively. The center damage of Pariaman earthquake and Wasior flood can be determined by deriving Land Subsidence using DInSAR method.


Coastal Physical Vulnerability Of Surabaya And Its Surrounding Area To Sea Level Rise, Sayidah Sulma, Eko Kusratmoko, Ratna Saraswati Nov 2012

Coastal Physical Vulnerability Of Surabaya And Its Surrounding Area To Sea Level Rise, Sayidah Sulma, Eko Kusratmoko, Ratna Saraswati

Makara Journal of Technology

The study for coastal vulnerability to sea level rise was carried out in Surabaya and its surrounding area, it has focused on calculations of the physical vulnerability index were used coastal vulnerability index (CVI) methods. It was standardized by the multi criteria analysis (MCA) approach according to the study area. The score of each physical variable derived from remote sensing satellite data and the results of studies that have been done, such as modeling results and thematic maps, and then integrated into geographic information systems (GIS). Result of this study shows that the coastal areas of Gresik, Surabaya, and Sidoarjo …


The Effect Of Rubber Mixing Process On The Curing Characteristics Of Natural Rubber, Abu Hasan, Rochmadi Rochmadi, Hary Sulistyo, Suharto Honggokusumo Nov 2012

The Effect Of Rubber Mixing Process On The Curing Characteristics Of Natural Rubber, Abu Hasan, Rochmadi Rochmadi, Hary Sulistyo, Suharto Honggokusumo

Makara Journal of Technology

This research is aimed at studying the relationship between rubber mixing processes and curing characteristics of natural rubber. The curing characteristic analysis was carried out through a natural rubber formula having been masticated and mixed, followed by curing. As many as four mastication methods were finely applied; each respected four sequences of rubber mixing process. In the first method, rubber was masticated for 5 minutes and then rubber chemicals and carbon black N 330 were simultaneously added. In the second and the third methods, rubber was masticated for 1 minute and then carbon blacks and rubber chemicals were also simultaneously …


Improved Optical Probe For Measuring Phytoplankton Suspension Concentrations Based On Optical Fluoresensce And Absorption, Retno Wigajatri Purnamaningsih, Nining Betawati Prihantini Nov 2012

Improved Optical Probe For Measuring Phytoplankton Suspension Concentrations Based On Optical Fluoresensce And Absorption, Retno Wigajatri Purnamaningsih, Nining Betawati Prihantini

Makara Journal of Technology

This paper discusses the results of improved optical probe that works according to optical fluorescence and absorption phenomena for measuring the phytoplankton suspension concentrations. Measurements are made on the Scenedesmus sp. culture. The laboratory test has shown that range of concentration from 104 up to around 1 x 106 cells/mL; fluorescence intensity at λ = 685 nm; and logarithmic of transmission intensity at λ = 405 nm are proportional to the cell concentration linear with proportional constant γ = 4 × 10-5 and β = –2 × 10-7 mL/cell respectively.


The Effect Of Size And Crumb Rubber Composition As A Filler With Compatibilizer Pp-G-Ma In Polypropylene Blends And Sir-20 Compound On Mechanical And Thermal Properties, Erna Frida Nov 2012

The Effect Of Size And Crumb Rubber Composition As A Filler With Compatibilizer Pp-G-Ma In Polypropylene Blends And Sir-20 Compound On Mechanical And Thermal Properties, Erna Frida

Makara Journal of Technology

Having been researched the development of thermoplastic elastomer material of polypropylene and natural rubber SIR- 20 compound with Crumb Rubber as the filler. Reinforced polypropylene with size 60 mesh with 1 mm, and the composition of the Crumb rubber (30, 40, and 50) wt%. Observed mechanical properties are tensile strength, fracture elongation, Young's modulus, tear strength and impact strength. Thermal properties are analyzed by DSC and DTA/TGA. It is acquired that for the size of 60 mesh crumb rubber tensile strength, fracture elongation, Young’s modulus, tear strength and impact strength are bigger than 1mm size. The addition of 60 mesh …


Mechanical And Thermal Properties Of Polypropylene Reinforced By Calcined And Uncalcined Zeolite, Nurdin Bukit Nov 2012

Mechanical And Thermal Properties Of Polypropylene Reinforced By Calcined And Uncalcined Zeolite, Nurdin Bukit

Makara Journal of Technology

This study was carried out to compare mechanical and thermal properties of polypropylene (PP) reinforced with uncalcined and calcined zeolites. The PP samples were reinforced with zeolites at various quantities of 2, 4, and 6 (wt %). The comparison of the two types of zeolite was based on mechanical properties, including tensile strength, elongation at break, and Young’s modulus, and thermal characteristics analyzed using DSC, and DTA/TGA technique. The results obtained clearly revealed that both zeolites were able to significantly increase tensile strength and Young’s modulus of the samples, with calcined zeolite was found to work better. Addition of calcined …


Effects Of Deposition Parameters And Oxygen Addition On Properties Of Sputtered Indium Tin Oxide Films, Badrul Munir, Rachmat Adhi Wibowo, Kim Kyoo Ho Nov 2012

Effects Of Deposition Parameters And Oxygen Addition On Properties Of Sputtered Indium Tin Oxide Films, Badrul Munir, Rachmat Adhi Wibowo, Kim Kyoo Ho

Makara Journal of Technology

Indium tin oxide (ITO) films were sputtered on corning glass substrate. Oxygen admixture and sputtering deposition parameters were optimized to obtain the highest transparency as well as lowest resistivity. Structural, electrical and optical properties of the films were then examined. Increasing deposition rate and film thickness changed the crystallographic orientation from (222) to (400) and (440), as well as higher surface roughness. It was necessary to apply substrate heating during reposition to get films with better crystallinity. The lowest resistivity of 5.36 x 10-4 Ω•cm was obtained at 750 nm film thickness. The films’ resistivity was increased by addition of …


Temporal Data Mining Of Uncertain Water Reservoir Data, Abhinaya Mohan, Peter Revesz Nov 2012

Temporal Data Mining Of Uncertain Water Reservoir Data, Abhinaya Mohan, Peter Revesz

CSE Conference and Workshop Papers

This paper describes the challenges of data mining uncertain water reservoir data based on past human operations in order to learn from them reservoir policies that can be automated for the future operation of the water reservoirs. Records of human operations of water reservoirs often contain uncertain data. For example, the recorded amounts of water released and retained in the water reservoirs are typically uncertain, i.e., they are bounded by some minimum and maximum values. Moreover, the time of release is also uncertain, i.e., typically only monthly or weekly amounts are recorded. To increase the effectiveness of data mining of …


Stress Monitoring Of Post-Processed Mems Silicon Microbridge Structures Using Raman Spectroscopy, Lavern A. Starman, Ronald A. Coutu Jr. Nov 2012

Stress Monitoring Of Post-Processed Mems Silicon Microbridge Structures Using Raman Spectroscopy, Lavern A. Starman, Ronald A. Coutu Jr.

Electrical and Computer Engineering Faculty Research and Publications

Inherent residual stresses during material deposition can have profound effects on the functionality and reliability of fabricated Micro-Electro-Mechanical Systems (MEMS) devices. Residual stress often causes device failure due to curling, buckling, or fracture. Typically, the material properties of thin films used in surface micromachining are not well controlled during deposition. The residual stress; for example, tends to vary significantly for different deposition methods. Currently, few nondestructive techniques are available to measure residual stress in MEMS devices prior to the final release etch. In this research, micro-Raman spectroscopy is used to measure the residual stresses in polysilicon MEMS microbridge devices. This …


Development Of A Novel Handheld Device For Active Compensation Of Physiological Tremor, Abhijit Saxena Oct 2012

Development Of A Novel Handheld Device For Active Compensation Of Physiological Tremor, Abhijit Saxena

Electronic Thesis and Dissertation Repository

In microsurgery, the human hand imposes certain limitations in accurately positioning the tip of a device such as scalpel. Any errors in the motion of the hand make microsurgical procedures difficult and involuntary motions such as hand tremors can make some procedures significantly difficult to perform. This is particularly true in the case of vitreoretinal microsurgery. The most familiar source of involuntary motion is physiological tremor. Real-time compensation of tremor is, therefore, necessary to assist surgeons to precisely position and manipulate the tool-tip to accurately perform a microsurgery. In this thesis, a novel handheld device (AID) is described for compensation …


How Can Pacific Island Economies Benefits From The Advent Of Ict’S – Review Of Best Practices In Education, Deogratias Harorimana Sr Oct 2012

How Can Pacific Island Economies Benefits From The Advent Of Ict’S – Review Of Best Practices In Education, Deogratias Harorimana Sr

Dr Deogratias Harorimana

This paper explored implementation and use of information and communication technologies in Fiji, in order to gain insight into recent government initiatives to introduce computers and other ICTs for the community of Fiji. The focus of this paper in that it provided the framework for an in-depth exploration of e-learning centers around the country and the benefits from the advent of ICT’s in e-learning community centers in Fiji. Areas concentrated on are outcome of ICT’s in formal education to students and community as a whole in areas of agriculture, health, environment and infrastructure etc. The research sought understanding from the …


Wispernet: Anti-Jamming For Wireless Sensor Networks, Miroslav Pajic, Rahul Mangharam Oct 2012

Wispernet: Anti-Jamming For Wireless Sensor Networks, Miroslav Pajic, Rahul Mangharam

Rahul Mangharam

Resilience to electromagnetic jamming and its avoidance are difficult problems. It is often both hard to distinguish malicious jamming from congestion in the broadcast regime and a challenge to conceal the activity patterns of the legitimate communication protocol from the jammer. In the context of energy-constrained wireless sensor networks, nodes are scheduled to maximize the common sleep duration and coordinate communication to extend their battery life. This results in well-defined communication patterns with possibly predictable intervals of activity that are easily detected and jammed by a statistical jammer. We present an anti-jamming protocol for sensor networks which eliminates spatio-temporal patterns …


From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam Oct 2012

From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam

Rahul Mangharam

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model’s verification at an early stage. The verified model must then be translated to a more detailed model for simulation-based testing and finally translated into executable code in a physical implementation. As later stages build on the same core model, it is essential that models used earlier in the pipeline are valid approximations of the more detailed models developed downstream. The focus of this effort is on the design and development of a model translation tool, UPP2SF, and …


The Wireless Control Network: Synthesis And Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam Oct 2012

The Wireless Control Network: Synthesis And Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam

Rahul Mangharam

We consider the problem of stabilizing a plant with a network of resource constrained wireless nodes. Traditional networked control schemes are designed with one of the nodes in the network acting as a dedicated controller, while the other nodes simply route information to and from the controller and the plant. We introduce the concept of a Wireless Control Network (WCN) where the entire network itself acts as the controller. Specifically, at each time-step, each node updates its internal state to be a linear combination of the states of the nodes in its neighborhood. We show that this causes the entire …