Computer Sciences Commons^™

A New Receiver Placement Scheme Using Delaunay Refinement-Based Triangulation, Mohammed Rana Basheer, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a sub-optimal solution to the receiver placement and number of receiver determination problem is introduced. to achieve this overall goal, first, localization error for a received signal strength indicator (RSSI)-Based N-receiver system localizing a transmitter is estimated. Subsequently, this estimator error along with the 2D-tessellation techniques such as Delaunay refinement are used to position candidate receivers not only to minimize their number needed to meet the location error threshold but also to reduce the dilution of localization accuracy due to the layout of receivers. Rigorous mathematical analysis indicates that the receiver count generated by our Delaunay Refinement-Based …

A New Adaptive Compression Scheme For Data Aggregation In Wireless Sensor Networks, Priya Kasirajan, Carl Larsen, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

Wireless sensor nodes typically have limited processing capabilities and are powered by batteries. the amount of energy expended in transmitting a single data bit would be several orders of magnitude higher when compared to the energy needed for a 32-bit computation. Thus, to maximize network lifetime, data transmissions should be minimized without losing vital information. in this paper, a novel adaptive compression scheme using nonlinear estimation theory is proposed for data aggregation. Satisfactory performance of the proposed compression scheme in the presence of noise, distortion, and quantization errors is demonstrated using Lyapunov approach. the proposed scheme is contrasted with existing …

Data Protection Models For Service Provisioning In The Cloud, Dan Lin, Anna Squicciarini

Computer Science Faculty Research & Creative Works

Cloud computing enables highly scalable services to be easily consumed over the Internet on an as-needed basis. While cloud computing is expanding rapidly and used by many individuals and organizations internationally, data protection issues in the cloud have not been carefully addressed at current stage. in the cloud, users' data is usually processed remotely in unknown machines that users do not own or operate. Hence, users' fear of confidential data (particularly financial and health data) leakage and loss of privacy in the cloud becomes a significant barrier to the wide adoption of cloud services. to allay users' concerns of their …

Environmental Obfuscation Of A Cyber Physical System - Vehicle Example, Jason Madden, Bruce M. Mcmillin, Anik Sinha

Computer Science Faculty Research & Creative Works

Cyber-Physical Systems (CPSs) are deeply embedded infrastructures that have significant cyber and physical components that interact with each other in complex ways. These interactions can violate a system's security policy, leading to unintended information flow. The physical portion of such systems is inherently observable, and, as such, many methods of preserving confidentiality are not applicable. This fundamental property of CPSs presents new security challenges. To illustrate this, a vehicle composed of an embedded computer system, its operator, and its environment show how information is disclosed to an observer that is watching from the outside. The example is made of up …

Intelligent Computational Argumentation For Evaluating Performance Scores In Multi-Criteria Decision Making, Xiaoqing Frank Liu, Rubal Wanchoo, Ravi Santosh Arvapally

Computer Science Faculty Research & Creative Works

Multi-Criteria decision making (MCDM), is a discipline aimed at assisting multiple stakeholders in contemplating a decision paradigm in an uncertain environment. the decision analysis to be performed involves numerous alternative positions assessed under varied criterion. a performance score is assigned for each alternative in terms of every criterion, and it represents satisfaction of the criteria by that alternative. in real applications, performance scores are sometimes hard to determine, and they are often subjective. We have developed an intelligent computational argumentation approach for dealing with the problem of uncertainty in resolving the subjective scores. in this approach, an argumentation tree is …

Investigating Impact Of Quorum Construction On Data Processing In Mobile Ad Hoc Networks, Takahiro Hara, Sanjay K. Madria, Shojiro Nishio

Computer Science Faculty Research & Creative Works

In a mobile ad hoc network (MANET), since mobility of mobile hosts causes frequent network partitioning, consistency management of data operations on replicas becomes a crucial issue. in our previous work, we have defined several consistency levels for MANET applications and designed protocols to achieve these consistency levels. These protocols are mainly based on a dynamic quorum system to cope with network partitioning and node and network failures. in this paper, we further investigate the impact of quorum construction on the system performance through simulation studies. Specifically, we change the number of mobile hosts that replicate data items, and which …

Enforcing Information Flow Security Properties In Cyber-Physical Systems: A Generalized Framework Based On Compensation, Thoshitha T. Gamage, Bruce M. Mcmillin, Thomas P. Roth

Computer Science Faculty Research & Creative Works

This paper presents a general theory of event compensation as an information flow security enforcement mechanism for Cyber-Physical Systems (CPSs). The fundamental research problem being investigated is that externally observable events in modern CPSs have the propensity to divulge sensitive settings to adversaries, resulting in a confidentiality violation. This is a less studied yet emerging concern in modern system security. A viable method to mitigate such violations is to use information flow security based enforcement mechanisms since access control based security models cannot impose restrictions on information propagation. Further, the disjoint nature of security analysis is not appropriate for systems …

Neural Network Output Feedback Control Of Robot Formations, Travis Dierks, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a combined kinematic/torque output feedback control law is developed for leader follower-Based formation control using backstepping to accommodate the dynamics of the robots and the formation in contrast with kinematic-Based formation controllers. a neural network (NN) is introduced to approximate the dynamics of the follower and its leader using online weight tuning. Furthermore, a novel NN observer is designed to estimate the linear and angular velocities of both the follower robot and its leader. It is shown, by using the Lyapunov theory, that the errors for the entire formation are uniformly ultimately bounded while relaxing the separation …

A Model-Based Fault-Detection And Prediction Scheme For Nonlinear Multivariable Discrete-Time Systems With Asymptotic Stability Guarantees, Balaje T. Thumati, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a novel, unified model-Based fault-detection and prediction (FDP) scheme is developed for nonlinear multiple-input multiple-output (MIMO) discrete-time systems. the proposed scheme addresses both state and output faults by considering separate time profiles. the faults, which could be incipient or abrupt, are modeled using input and output signals of the system. the fault-detection (FD) scheme comprises online approximator in discrete time (OLAD) with a robust adaptive term. an output residual is generated by comparing the FD estimator output with that of the measured system output. a fault is detected when this output residual exceeds a predefined threshold. Upon …

Computer Software And Applications, Xiaoqing (Frank) Liu, Carl K. Chang, T. Ming Jiang

Computer Science Faculty Research & Creative Works

No abstract provided.

A Framework For Automated Enrichment Of Functionally Significant Inverted Repeats In Whole Genomes, Cyriac Kandoth, Fikret ErçAl, Ronald L. Frank

Computer Science Faculty Research & Creative Works

Background: RNA transcripts from genomic sequences showing dyad symmetry typically adopt hairpin-like, cloverleaf, or similar structures that act as recognition sites for proteins. Such structures often are the precursors of non-coding RNA (ncRNA) sequences like microRNA (miRNA) and small-interfering RNA (siRNA) that have recently garnered more functional significance than in the past. Genomic DNA contains hundreds of thousands of such inverted repeats (IRs) with varying degrees of symmetry. But by collecting statistically significant information from a known set of ncRNA, we can sort these IRs into those that are likely to be functional.

Results: A novel method was developed to …

Design, Construction And Load Testing Of The Bridge On Arnault Branch, Washington County, Missouri Using Innovative Technologies, Dongming Yan, Genda Chen, Nestore Galati, Sahra Sedigh

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

The superstructure and instrumentation designs of a three-span bridge are presented in this report. The three spans include a precast box-girder bridge, a precast deck on steel girder and a precast deck on concrete girder. They were designed to compare the performance of various bridge decks reinforced with fiber reinforced polymers (FRP) through field instrumentations. A wireless monitoring system was designed to facilitate the collection of field data after the completion of bridge construction. The collected data will allow the study of FRP bars and stay-in-place FRP grid systems.

A Novel Approach To Interarea Oscillation Damping By Unified Power Flow Controllers Utilizing Ultracapacitors, Mahyar Zarghami, Mariesa Crow, Jagannathan Sarangapani, Yilu Liu, Stan Atcitty

Electrical and Computer Engineering Faculty Research & Creative Works

This paper discusses a novel approach for damping interarea oscillations in a bulk power network using multiple unified power flow controllers (UPFCs) utilizing ultracapacitors, also known more generally as electrochemical capacitors (ECs). In this paper, a new control is introduced to mitigate interarea oscillations by directly controlling the UPFCs' sending and receiving bus voltages that better utilizes the stored energy in the ECs. The results of this controller are compared with and without ECs. The proposed control provides better interarea oscillation mitigation when applied to multiple UPFCs in the 118-bus IEEE test system.

Interference-Aware Multipath Routing And Link Rate Control In Multihop Wireless Networks, Maggie X. Cheng, Xuan Gong

Computer Science Faculty Research & Creative Works

In multihop wireless networks, end-to-end throughput is often hard to predict and is even harder to optimize due to the effect of interference. to date there is no precise result other than asymptotic bounds for this question: if there is no routing information given, what is the maximum throughput of a network using uncoordinated transmission such as IEEE 802.11 MAC? This paper attempts to address this question for a given network with specific traffic demand. in this paper we use a cross-layer design scheme to optimize network performance. the paper includes a basic linear programming model, from which the routing …

Cycle Life Prediction Of Battery-Supercapacitor Hybrids Using Artificial Neural Networks, Thomas Weigert, Q. Tian, K. Lian

Computer Science Faculty Research & Creative Works

The cycle life of batteries and battery-supercapacitor hybrid systems was predicted using artificial neural networks. The presented techniques are able to predict the cycle life of a device based on a short (around 4% of the average cycle life) initial segment of the discharge curve. the prediction showed good performance with a correlation coefficient above 0.95. We were able to improve the predication further by considering readily available measurements of the device and usage. ©The Electrochemical Society.

Intelligent Computational Argumentation For Evaluating Performance Scores In Multi-Criteria Decision Making, Rubal Wanchoo

Masters Theses

"Multi Criteria Decision Making (MCDM) is a discipline aimed at assisting multiple stakeholders in contemplating a decision paradigm in an uncertain environment. The decision analysis to be performed involves numerous alternative positions assessed under varied criterion. A performance score is assigned for each alternative in terms of every criterion and it represents satisfaction of the criteria by that alternative. In a collaborative decision making environment, performance scores are either obtained when a consensus can be reached among stakeholders on a particular score or in some cases or controversial when stakeholders do not agree with each other about them. In the …

Deadlock Detection And Dihomotopic Reduction Via Progress Shell Decomposition, David Andrew Cape

Doctoral Dissertations

"Deadlock detection for concurrent programs has traditionally been accomplished by symbolic methods or by search of a state transition system. This work examines an approach that uses geometric semantics involving the topological notion of dihomotopy to partition the state space into components, followed by an exhaustive search of the reduced state space. Prior work partitioned the state-space inductively; however, this work shows that a technique motivated by recursion further reduces the size of the state transition system. The reduced state space results in asymptotic improvements in overall runtime for verification. Thus, with efficient partitioning, more efficient deadlock detection and eventually …

Exploring Query Optimization In Programming Codes By Reducing Run-Time Execution, Venkata Krishna Suhas Nerella, Swetha Surapaneni, Sanjay Kumar Madria, Thomas Weigert

Computer Science Faculty Research & Creative Works

Object querying is an abstraction of operations over collections, whereas manual implementations are performed at low level which forces the developers to specify how a task must be done. Some object-oriented languages allow the programmers to express queries explicitly in the code, which are optimized using the query optimization techniques from the database domain. in this regard, Java Query Language has been developed that allows object querying and performs the query optimization at run-time. Therefore, only one problem is how to reduce the task of query optimization at run-time as much as possible within the Java Query Language system. in …

Zero-Sum Two-Player Game Theoretic Formulation Of Affine Nonlinear Discrete-Time Systems Using Neural Networks, S. Mehraeen, T. Dierks, S. Jagannathan, M. L. Crow

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the nearly optimal solution for discrete-time (DT) affine nonlinear control systems in the presence of partially unknown internal system dynamics and disturbances is considered. the approach is based on successive approximate solution of the Hamilton-Jacobi-Isaacs (HJI) equation, which appears in optimal control. Successive approximation approach for updating control input and disturbance for DT nonlinear affine systems are proposed. Moreover, sufficient conditions for the convergence of the approximate HJI solution to the saddle-point are derived, and an iterative approach to approximate the HJI equation using a neural network (NN) is presented. Then, the requirement of full knowledge of …

Mahalanobis Taguchi System (Mts) As A Prognostics Tool For Rolling Element Bearing Failures, Ahmet Soylemezoglu, Sarangapani Jagannathan, Can Saygin

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a novel Mahalanobis-Taguchi system (MTS)-Based fault detection, isolation, and prognostics scheme is presented. the proposed data-driven scheme utilizes the Mahalanobis distance (MD)-Based fault clustering and the progression of MD values over time. MD thresholds derived from the clustering analysis are used for fault detection and isolation. When a fault is detected, the prognostics scheme, which monitors the progression of the MD values, is initiated. Then, using a linear approximation, time to failure is estimated. the performance of the scheme has been validated via experiments performed on rolling element bearings inside the spindle headstock of a microcomputer numerical …

Optimal Control Of Affine Nonlinear Continuous-Time Systems Using An Online Hamilton-Jacobi-Isaacs Formulation, T. Dierks, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

Solving the Hamilton-Jacobi-Isaacs (HJI) equation, commonly used in ℋ∞ optimal control, is often referred to as a two-player differential game where one player tries to minimize the cost function while the other tries to maximize it. in this paper, the HJI equation is formulated online and forward-in-time using a novel single online approximator (SOLA)-Based scheme to achieve optimal regulation and tracking control of affine nonlinear continuous-time systems. the SOLA-Based adaptive approach is designed to learn the infinite horizon HJI equation, the corresponding optimal control input, and the worst-case disturbance. a novel parameter tuning algorithm is derived which not only achieves …

Decentralized Nearly Optimal Control Of A Class Of Interconnected Nonlinear Discrete-Time Systems By Using Online Hamilton-Bellman-Jacobi Formulation, S. Mehraeen, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the direct neural dynamic programming technique is utilized to solve the Hamilton Jacobi-Bellman (HJB) equation online and forward-in-time for the decentralized nearly optimal control of nonlinear interconnected discrete-time systems in affine form with unknown internal subsystem and interconnection dynamics. Only the state vector of the local subsystem is considered measurable. the decentralized optimal controller design for each subsystem consists of an action neural network (NN) that is aimed to provide a nearly optimal control signal, and a critic NN which approximates the cost function. the NN weights are tuned online for both the NNs. It is shown …

Output Feedback Control Of A Quadrotor Uav Using Neural Networks, Travis Dierks, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a new nonlinear controller for a quadrotor unmanned aerial vehicle (UAV) is proposed using neural networks (NNs) and output feedback. the assumption on the availability of UAV dynamics is not always practical, especially in an outdoor environment. Therefore, in this work, an NN is introduced to learn the complete dynamics of the UAV online, including uncertain nonlinear terms like aerodynamic friction and blade flapping. Although a quadrotor UAV is underactuated, a novel NN virtual control input scheme is proposed which allows all six degrees of freedom (DOF) of the UAV to be controlled using only four control …

Optimal Control Of Affine Nonlinear Continuous-Time Systems, T. Dierks, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the optimal regulation and tracking control of affine nonlinear continuous-time systems with known dynamics is undertaken using a novel single online approximator (SOL)-Based scheme. the SOLA-Based adaptive approach is designed to learn the infinite horizon continuous time Hamilton-Jacobi-Bellman (HJB) equation and its corresponding optimal control input. a novel parameter tuning algorithm is derived which not only ensures the optimal cost (HJB) function and control input are achieved, but also ensures the system states remain bounded during the online learning process. Lyapunov techniques show that all signals are uniformly ultimately bounded (UUB) and the approximated control signal approaches …

Novel Dynamic Representation And Control Of Power Systems With Facts Devices, Shahab Mehraeen, Jagannathan Sarangapani, Mariesa Crow

Electrical and Computer Engineering Faculty Research & Creative Works

FACTS devices have been shown to be useful in damping power system oscillations. However, in large power systems, the FACTS control design is complex due to the combination of differential and algebraic equations required to model the power system. In this paper, a new method to generate a nonlinear dynamic representation of the power network is introduced to enable more sophisticated control design. Once the new representation is obtained, a back stepping methodology for the UPFC is utilized to mitigate the generator oscillations. Finally, the neural network approximation property is utilized to relax the need for knowledge of the power …

Representation And Validation Of Domain And Range Restrictions In A Relational Database Driven Ontology Maintenance System, Patrick Garrett. Edgett

Masters Theses

"An ontology can be used to represent and organize the objects, properties, events, processes, and relations that embody an area of reality [1]. These knowledge bases may be created manually (by individuals or groups), and/or automatically using software tools, such as those developed for information retrieval and data mining. Recently, the National Science Foundation funded a large collaborative development project for the semi-automated construction of an ontology of amphibian anatomy (AmphibAnat [2]). To satisfy the extensive community curation requirements of that project, a generic, Web-based, multi-user, relational database ontology management system (RDBOM [3]) was constructed, based upon a novel theoretical …

Content Based Image Retrieval For Bio-Medical Images, Vikas Nahar

Masters Theses

"Content Based Image Retrieval System (CBIR) is used to retrieve images similar to the query image. These systems have a wide range of applications in various fields. Medical subject headings, key words, and bibliographic references can be augmented with the images present within the articles to help clinicians to potentially improve the relevance of articles found in the querying process. In this research, image feature analysis and classification techniques are explored to differentiate images found in biomedical articles which have been categorized based on modality and utility. Examples of features examined in this research include: features based on different histograms …

Contribution-Based Priority Assessment In A Web-Based Intelligent Argumentation Network For Collaborative Software Development, Maithili Satyavolu

Masters Theses

"Decision making is an important aspect of the collaborative software development process which usually involves complex process of conflict resolution. Stakeholders approach decision making process from multiple perspectives and their priorities play a vital role in it. The priority assessment methods used in the argumentation process so far are usually static. Priorities remain constant throughout the decision making process. In order to make the collaborative system more closely replicate real-world scenarios, this work incorporates dynamic priority assessment into a web-based collaborative system which is based on intelligent computational argumentation. It evaluates priorities dynamically for each cycle of decision process based …

Etherannotate: A Transparent Malware Analysis Tool For Integrating Dynamic And Static Examination, Joshua Michael Eads

Masters Theses

"Software security researchers commonly reverse engineer and analyze current malicious software (malware) to determine what the latest techniques malicious attackers are utilizing and how to protect computer systems from attack. The most common analysis methods involve examining how the program behaves during execution and interpreting its machine-level instructions. However, modern malicious applications use advanced anti-debugger, anti-virtualization, and code packing techniques to obfuscate the malware's true activities and divert security analysts. Malware analysts currently do not have a simple method for tracing malicious code activity at the instruction-level in a highly undetectable environment. There also lacks a simple method for combining …

2-D Path Planning For Direct Laser Deposition Process, Swathi Routhu

Masters Theses

"The zigzag and offset path have been the two most popular path patterns for tool movement in machining process. Different from the traditional machining processes, the quality of parts produced by the metal deposition process is much more dependent upon the choice of deposition paths. Due to the nature of the metal deposition processes, various tool path patterns not only change the efficiency but also affect the deposition height, a critical quality for metal deposition process. This thesis presents the research conducted on calculating zigzag pattern to improve efficiency by minimizing the idle path. The deposition height is highly dependent …