Object sorting is a very common application especially in the industry setting, but this is a labor intensive and time consuming process and it proves to be challenging if done manually. Thanks to the rapid development in technology now almost all these object sorting tasks are partially or completely automated. Image processing techniques are essential for the full operation of such a pick and place robot as it is responsible for perceiving the environment and to correctly identify ,classify and localize the different objects in it. In order for the robots to perform accurate object sorting with efficiency and stability this thesis discusses how different Deep learning based perception techniques can be used. In the era of Artificial Intelligence this sorting problem can be done more efficiently than the existing techniques. This thesis presents different image processing techniques and algorithms that can be used to perform object sorting efficiently. A comparison between three different deep learning based techniques is presented and their pros and cons are discussed. Furthermore this thesis also presents a comprehensive study about the kinematics and the dynamics involved in a 2 Degree of Freedom Robotic Manipulator .

This thesis lays down a foundation for more advanced work on bipeds by carefully examining cart-inverted pendulum systems (CIPS, often used to approximate each leg of a biped) and associated closed loop performance tradeoffs. A CIPS is characterized by an instability (associated with the tendency of the pendulum to fall) and a right half plane (RHP, non-minimum phase) zero (associated with the cart displacement x). For such a system, the zero is typically close to (and smaller) than the instability. As such, a classical PK control structure would result in very poor sensitivity properties.It is therefore common to use a hierarchical inner-outer loop structure. As such, this thesis examines how such a structure can be used to improve sensitivity properties beyond a classic PK structure and systematically tradeoff sensitivity properties at the plant input/output. While the instability requires a minimum bandwidth at the plant input, the RHP zero imposes a maximum bandwidth on the cart displacement x. Three CIPs are examined – one with a long, short and an intermediately sized pendulum. We show that while the short pendulum system is the most unstable and requires the largest bandwidth at the plant input for stabilization (hardest to control), it also has the largest RHP zero. Consequently, it will permit the largest cart displacement x-bandwidth, and hence, one can argue that the short pendulum system is easiest to control. Similarly, the long pendulum system is the least unstable and requires smallest bandwidth at the plant input for stabilization (easiest to control). However, because this system also possesses the smallest RHP zero it will permit the smallest cart displacement x-bandwidth, and hence, one can argue that the long pendulum system is the hardest to control. Analogous “intermediate conclusions” can be drawn for the system with the “intermediately sized” pendulum. A set of simple academic examples (growing in plant and controller complexity) are introduced to illustrate basic tradeoffs and guide the presentation of the trade studies.

The Inverted Pendulum on a Cart is a classical control theory problem that helps understand the importance of feedback control systems for a coupled plant. In this study, a custom built pendulum system is coupled with a linearly actuated cart and a control system is designed to show the stability of the pendulum. The three major objectives of this control system are to swing up the pendulum, balance the pendulum in the inverted position (i.e. $180^\circ$), and maintain the position of the cart. The input to this system is the translational force applied to the cart using the rotation of the tires. The main objective of this thesis is to design a control system that will help in balancing the pendulum while maintaining the position of the cart and implement it in a robot. The pendulum is made free rotating with the help of ball bearings and the angle of the pendulum is measured using an Inertial Measurement Unit (IMU) sensor. The cart is actuated by two Direct Current (DC) motors and the position of the cart is measured using encoders that generate pulse signals based on the wheel rotation. The control is implemented in a cascade format where an inner loop controller is used to stabilize and balance the pendulum in the inverted position and an outer loop controller is used to control the position of the cart. Both the inner loop and outer loop controllers follow the Proportional-Integral-Derivative (PID) control scheme with some modifications for the inner loop. The system is first mathematically modeled using the Newton-Euler first principles method and based on this model, a controller is designed for specific closed-loop parameters. All of this is implemented on hardware with the help of an Arduino Due microcontroller which serves as the main processing unit for the system.

One of the main challenges in testing artificial intelligence (AI) enabled cyber physicalsystems (CPS) such as autonomous driving systems and internet­-of-­things (IoT) medical
devices is the presence of machine learning components, for which formal properties are
difficult to establish. In addition, operational components interaction circumstances, inclusion of human­-in-­the-­loop, and environmental changes result in a myriad of safety concerns
all of which may not only be comprehensibly tested before deployment but also may not
even have been detected during design and testing phase. This dissertation identifies major challenges of safety verification of AI­-enabled safety critical systems and addresses the
safety problem by proposing an operational safety verification technique which relies on
solving the following subproblems:
1. Given Input/Output operational traces collected from sensors/actuators, automatically
learn a hybrid automata (HA) representation of the AI-­enabled CPS.
2. Given the learned HA, evaluate the operational safety of AI­-enabled CPS in the field.
This dissertation presents novel approaches for learning hybrid automata model from time
series traces collected from the operation of the AI­-enabled CPS in the real world for linear
and non­linear CPS. The learned model allows operational safety to be stringently evaluated
by comparing the learned HA model against a reference specifications model of the system.
The proposed techniques are evaluated on the artificial pancreas control system

This work is concerned with how best to reconstruct images from limited angle tomographic measurements. An introduction to tomography and to limited angle tomography will be provided and a brief overview of the many fields to which this work may contribute is given.

The traditional tomographic image reconstruction approach involves Fourier domain representations. The classic Filtered Back Projection algorithm will be discussed and used for comparison throughout the work. Bayesian statistics and information entropy considerations will be described. The Maximum Entropy reconstruction method will be derived and its performance in limited angular measurement scenarios will be examined.

Many new approaches become available once the reconstruction problem is placed within an algebraic form of Ax=b in which the measurement geometry and instrument response are defined as the matrix A, the measured object as the column vector x, and the resulting measurements by b. It is straightforward to invert A. However, for the limited angle measurement scenarios of interest in this work, the inversion is highly underconstrained and has an infinite number of possible solutions x consistent with the measurements b in a high dimensional space.

The algebraic formulation leads to the need for high performing regularization approaches which add constraints based on prior information of what is being measured. These are constraints beyond the measurement matrix A added with the goal of selecting the best image from this vast uncertainty space. It is well established within this work that developing satisfactory regularization techniques is all but impossible except for the simplest pathological cases. There is a need to capture the "character" of the objects being measured.

The novel result of this effort will be in developing a reconstruction approach that will match whatever reconstruction approach has proven best for the types of objects being measured given full angular coverage. However, when confronted with limited angle tomographic situations or early in a series of measurements, the approach will rely on a prior understanding of the "character" of the objects measured. This understanding will be learned by a parallel Deep Neural Network from examples.

With the revolution of low-cost microelectronics, rotary-wing vehicles have grown increasingly popular and important in the past two decades. With increased interest in quadcopters comes the need to for a systematic and rigorous framework to model, analyze, control, and design them. This thesis presents the beginning of such a framework.

The work presents the nonlinear equations of motion of a quadcopter. This includes the translational and rotational equations of motion, as well as an analysis of the nonlinear actuator dynamics. The work then analyzes the static properties of a quadcopter in forward flight equilibrium and shows how static properties change as physical properties of the vehicle are varied. Next, the dynamics of forward flight are linearized, and a dynamic analysis is provided.

After dynamic analysis, the work shows detailed hierarchical control system design trade studies, which includes attitude and translational inner-outer loop control. Among other designs, the following are presented: PD control, proportional control, pole-placement control. Each of these control architectures are employed for the inner loops and outer loops. The work also analyzes linear versus nonlinear simulation performance of a quadcopter, specifically for a step x-axis reference command. It is found that the nonlinear dynamics of the actuator cause significant discrepancy between linear and nonlinear simulation.

Finally, this thesis establishes directions for future graduate research. This includes hardware design, as well as moving toward design of a highly-maneuverable thrust-vectoring quadrotor which will be the focus of the proposed graduate PhD research. In summary, this thesis provides the beginning of a cohesive framework to model, analyze, control, and design quadcopters. It also lays the groundwork for graduate research and beyond.

In this study, the engineers from biomedical engineering and electrical engineering researched and analyzed the components, uses, and processes for the brain and the Brain-Computer Interfaces (BCIs). They investigated the basics on the brain, the signals, and the overall uses of the devices. There have been many uses for electroencephalogram (EEG) signals, including prosthetics for patients after nerve injuries, cursor movements on a computer, moving vehicles, and many more projects. There are studies currently in progress and that will be in progress in the future that extend the uses of BCIs. The researchers in this thesis focused more on the processes the scientists used to approach the given problem. Some worked with patients to better his or her life, while others worked with volunteers to gain more knowledge of the brain and/or the BCIs. This thesis includes many different approaches for many unique projects. The analysis includes the location of the signal, the processing of the signal, the filtering of the signal, the transmission of the signal, and the movement of the device based on the signal. The current BCIs are not ready to be in patient’s daily lives, but the researchers are trying to create and perfect them in order to help as many patients as possible. As a biomedical engineer, the researchers in this thesis can apply the knowledge from the articles to solving potential problems in the future and further specific studies.

The focus of this project investigates high mobility robotics by developing a fully integrated framework for a ball-balancing robot. Using Lagrangian mechanics, a model for the robot was derived and used to conduct trade studies on significant system parameters. With a broad understanding of system dynamics, controllers were designed using LQR methodology. A prototype was then built and tested to exhibit desired reference command following and disturbance attenuation.

Microbial fuel cells(MFC) use micro-organisms called anode-respiring bacteria(ARB) to convert chemical energy into electrical energy. This process can not only treat wastewater but can also produce useful byproduct hydrogen peroxide(H2O2). Process variables like anode potential and pH play important role in the MFC operation and the focus of this dissertation are pH and potential control problems.

Most of the adaptive pH control solutions use signal-based-norms as cost functions, but their strong dependency on excitation signal properties makes them sensitive to noise, disturbances, and modeling errors. System-based-norm( H-infinity) cost functions provide a viable alternative for the adaptation as they are less susceptible to the signal properties. Two variants of adaptive pH control algorithms that use approximate H-infinity frequency loop-shaping (FLS) cost metrics are proposed in this dissertation.

A pH neutralization process with high retention time is studied using lab scale experiments and the experimental setup is used as a basis to develop a first-principles model. The analysis of such a model shows that only the gain of the process varies significantly with operating conditions and with buffering capacity. Consequently, the adaptation of the controller gain (single parameter) is sufficient to compensate for the variation in process gain and the focus of the proposed algorithms is the adaptation of the PI controller gain. Computer simulations and lab-scale experiments are used to study tracking, disturbance rejection and adaptation performance of these algorithms under different excitation conditions. Results show the proposed algorithm produces optimum that is less dependent on the excitation as compared to a commonly used L2 cost function based algorithm and tracks set-points reasonably well under practical conditions. The proposed direct pH control algorithm is integrated with the combined activated sludge anaerobic digestion model (CASADM) of an MFC and it is shown pH control improves its performance.

Analytical grade potentiostats are commonly used in MFC potential control, but, their high cost (>$6000) and large size, make them nonviable for the field usage. This dissertation proposes an alternate low-cost($200) portable potentiostat solution. This potentiostat is tested using a ferricyanide reactor and results show it produces performance close to an analytical grade potentiostat.