A research report submitted to the faculty of Engineering and the built environment, University of the Witwatersrand, Johannesburg, in partial fulfilment of the requirements for the degree of Master of Science in Engineering. Johannesburg, August 2016 / There has been much interest in using the Microsoft Xbox 360 Kinect cameras for visual servo control applications. It is a relatively cheap device with expected shortcomings. This work contributes to the practical considerations of using the Kinect for visual servo control applications. A comprehensive characterisation of the Kinect is synthesised from existing literature and results from a nonlinear calibration procedure. The Kinect reduces computational overhead on image processing stages, such as pose estimation or depth estimation. It is limited by its 0.8m to 3.5m practical depth range and quadratic depth resolution of 1.8mm to 35mm, respectively. Since the Kinect uses an infra-red (IR) projector, a class one laser, it should not be used outdoors, due to IR saturation, and objects belonging to classes of non- IR-friendly surfaces should be avoided, due to IR refraction, absorption, or specular reflection. Problems of task stability due to invalid depth measurements in Kinect depth maps and practical depth range limitations can be reduced by using depth map preprocessing and activating classical visual servoing techniques when Kinect-based approaches are near task failure. / MT2017

Orientador: Paulo Roberto de Aguiar / Banca: Eduardo Carlos Bianchi / Banca: Rosemar Batista da Silva / Resumo: A necessidade de reduções de custos aliada ao aumento de qualidade das peças produzidas requer a implementação de sistemas inteligentes em ambientes industriais. O controle dos danos causados no processo de retificação é de interesse direto da indústria dependente desse processo. O objetivo deste trabalho é a proposição de modelos fuzzy empregados na detecção da queima de peças de aço SAE 1020 no processo de retificação plana. Foram realizados doze testes para diferentes condições de usinagem. Para cada teste foram coletados dados referentes a potência elétrica e emissão acústica (sinal puro). Os níveis de queima das peças foram analisados visualmente e com o auxílio computacional. A partir dos sinais de emissão acústica, potência de corte e parâmetros utilizando esses dois sinais, regras linguísticas foram estabelecidas para as diversas situações de queima (leve, média, severa) com a aplicação da lógica nebulosa utilizando-se o Toolbox do MATLAB. Quatro modelos práticos de sistema fuzzy foram desenvolvidos. O primeiro modelo com duas entradas apenas resultam num processo de simples análise. O segundo modelo possui a entrada adicional da estatística do desvio do valor médio (MVD), associando uma nova informação e precisão. Esse modelo é baseado em um sistema de inferência de três entradas, combinados dois a dois. O terceiro modelo, com 64 regras, baseia-se nas mesmas três entradas utilizadas no segundo modelo, combinadas três a três. Esses dois modelos diferem entre si pela base de regras desenvolvidas. O quarto modelo difere do terceiro devido ao número de regras e a entrada adicional baseada na potência de corte, do desvio padrão da mesma e do sinal RMS de emissão acústica. Apresentando respostas válidas, os quatro modelos desenvolvidos mostraram eficiência, precisão, confiabilidade e... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The need of costs reduction and quality increase of the produced pieces requires the implementation of intelligent systems in industrial environments. The control of damages caused during the grinding process is interesting to the industry that depends on such process. This work uses fuzzy logic as tool to classify and estimate burn levels in the grinding process in order to help controlling such process. Twelve tests were performed for different grinding conditions. For each test, data were concerning electrical power and acoustic emission (raw signal). The levels of burning parts were analyzed visually and with computer assistance. Based on acoustic emission signals, cutting power, and statistics using these two signals, liguistic rules were established for the various burn situations (slight, intermediate, sever) by applying fuzzy logic using the MATLAB toolbox. Four practical fuzzy system models were developed. This first model with two inputs resulted only in a simple analysis process. The second model has an additional MVD statistic input, associating information and precision. This model is base d on an inference system of three inputs, combined two by two. The third model with 64 rules is based on the same three inputs used in the second model, differ by the rule base developed. The forth model is different from the third one due to the number of rules, the additional input based on the cutting power, the standard deviation and the acoustic emission RMS signal. The four developed models presented valid responses, proving effective, accurate, reliable and easy to use for the determination of ground workpiece burn. In this analysis... (Complete abstract click electronic access below) / Mestre

Design of intelligent systems that can learn from the environment and adapt to the change in the environment has been pursued by many researchers in this age of information technology. The Group Method of Data Handling (GMDH) algorithm to be implemented is a multilayered neural network. Neural network consists of neurons which use information acquired in training to deduce relationships in order to predict future responses. Most software tool during the simulation of the neural network based algorithms in a sequential, single processor machine like Pascal, C or C++ takes several hours or even days. But in this thesis, the GMDH algorithm was modified and implemented into a software tool written in Verilog HDL and tested with specific application (XOR) to make the simulation faster. The purpose of the development of this tool is also to keep it general enough so that it can have a wide range of uses, but robust enough that it can give accurate results for all of those uses. Most of the applications of neural networks are basically software simulations of the algorithms only but in this thesis the hardware design is also developed of the algorithm so that it can be easily implemented on hardware using Field Programmable Gate Array (FPGA) type devices. The design is small enough to require a minimum amount of memory, circuit space, and propagation delay. / by Mukul Gupta. / Thesis (M.S.C.S.)--Florida Atlantic University, 2010. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2010. Mode of access: World Wide Web.

Options for tracking dynamic underwater targets using optical methods is currently limited. This thesis examines optical reflectance intensities utilizing Lambert’s Reflection Model and based on a proposed underwater laser tracking system. Numerical analysis is performed through simulation to determine the detectable light intensities based on relationships between varying inputs such as angle of illumination and target position. Attenuation, noise, and laser beam spreading are included in the analysis. Simulation results suggest optical tracking exhibits complex relationships based on target location and illumination angle. Signal to Noise Ratios are a better indicator of system capabilities than received intensities. Signal reception does not necessarily confirm target capture in a multi-sensor network. / Includes bibliography. / Thesis (M.S.)--Florida Atlantic University, 2014. / FAU Electronic Theses and Dissertations Collection

Several technologies are being made available for the blind and the visually impaired with the use of infrared and sonar sensors, Radio Frequency Identification, GPS, Wi-Fi among others. Current technologies utilizing microprocessors increase the device's power consumption. In this project, a Verilog Hardware Language (VHDL) designed handheld device that autonomously guides a visually impaired user through an obstacle free path is proposed. The goal is to minimize power consumption by not using the usual microcontroller and replacing it with components that can increase its speed. Utilizing six infrared sensors, the handheld device is modeled after current technologies which use IR and sonar sensors which are reviewed in this project. By using behavioral modeling, an algorithm for obstacle avoidance and the generation of the obstacle free path is reduced using a K-map and implemented using a multiplexer. / by Ernesto Cividanes. / Thesis (M.S.C.S.)--Florida Atlantic University, 2010. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2010. Mode of access: World Wide Web.

We develop a novel autonomous control synthesis strategy called Phase Space Navigator for the automatic synthesis of nonlinear control systems. The Phase Space Navigator generates global control laws by synthesizing flow shapes of dynamical systems and planning and navigating system trajectories in the phase spaces. Parsing phase spaces into trajectory flow pipes provide a way to efficiently reason about the phase space structures and search for global control paths. The strategy is particularly suitable for synthesizing high-performance control systems that do not lend themselves to traditional design and analysis techniques.

Fuzzy logic systems (FLSs) are well known in the literature for their ability to model linguistics and system uncertainties. Due to this ability, FLSs have been successfully used in modeling and control applications such as medicine, finance, communications, and operations research. Moreover, the ability of higher order fuzzy systems to handle system uncertainty has become an interesting topic of research in the field. In particular, type-2 FLSs (T2 FLSs), systems consisting of fuzzy sets with fuzzy grades of membership, a feature that type-1 (T1) does not offer, are most well-known for this capability. The structure of T2 FLSs allows for the incorporation of uncertainty in the input membership grades, a common situation in reasoning with physical systems. General T2 FLSs have a complex structure, thus making them difficult to adopt on a large scale. As a result, interval T2 FLSs (IT2 FLSs), a special class of T2 FLSs, have recently shown great potential in various applications with input-output (I/O) system uncertainties. Due to the sophisticated mathematical structure of IT2 FLSs, little to no systematic analysis has been reported in the literature to use such systems in control design. Moreover, to date, designers have distanced themselves from adopting such systems on a wide scale because of their design complexity. Furthermore, the very few existing control methods utilizing IT2 fuzzy logic control systems (IT2 FLCSs) do not guarantee the stability of their system. Therefore, this thesis presents a systematic method for designing stable IT2 Takagi-Sugeno-Kang (IT2 TSK) fuzzy systems when antecedents are T2 fuzzy sets and consequents are crisp numbers (A2-C0). Five new inference mechanisms are proposed that have closed-form I/O mappings, making them more feasible for FLCS stability analysis. The thesis focuses on control applications for when (a) both plant and controller use A2-C0 TSK models, and (b) the plant uses T1 Takagi-Sugeno (T1 TS) and the controller uses IT2 TS models. In both cases, sufficient stability conditions for the stability of the closed-loop system are derived. Furthermore, novel linear matrix inequality-based algorithms are developed for satisfying the stability conditions. Numerical analyses are included to validate the effectiveness of the new inference methods. Case studies reveal that a well-tuned IT2 TS FLCS using the proposed inference engine can potentially outperform its T1 TSK counterpart, a result of IT2 having greater structural flexibility than T1. Moreover, due to the simple nature of the proposed inference engine, it is easy to implement in real-time control systems. In addition, a novel design methodology is proposed for IT2 TSK FLC for modular and reconfigurable robot (MRR) manipulators with uncertain dynamic parameters. A mathematical framework for the design of IT2 TSK FLCs is developed for tracking purposes that can be effectively used in real-time applications. To verify the effectiveness of the proposed controller, experiments are performed on an MRR with two degrees of freedom which exhibits dynamic coupling behavior. Results show that the developed controller can outperform some well-known linear and nonlinear controllers for different configurations. Therefore, the proposed structure can be adopted for the position control of MRRs with unknown dynamic parameters in trajectory-tracking applications. Finally, a rigorous mathematical analysis of the robustness of FLSs (both T1 and IT2) is presented in the thesis and entails a formulation of the robustness of FLSs as a constraint multi-objective optimization problem. Consequently, a procedure is proposed for the design of robust IT2 FLSs. Several examples are presented to demonstrate the effectiveness of the proposed methodologies. It was concluded that both T1 and IT2 FLSs can be designed to achieve robust behavior in various applications. IT2 FLSs, having a more flexible structure than T1 FLSs, exhibited relatively small approximation errors in the several examples investigated. The rigorous methodologies presented in this thesis lay the mathematical foundations for analyzing the stability and facilitating the design of stabilizing IT2 FLCSs. In addition, the proposed control technique for tracking purposes of MRRs will provide control engineers with tools to control dynamic systems with uncertainty and changing parameters. Finally, the systematic approach developed for the analysis and design of robust T1 and IT2 FLSs is of great practical value in various modeling and control applications.

One of the basic problems which have to be solved by Unmanned Automated Vehicles (UAV) involves the computation of a motion plan that would enable the system to reach a target given a set of initial conditions in presence of uncertainties on the vehicle dynamics and in the environment. Recent research efforts in this area have relied on deterministic models. To address the problem of inevitable uncertainties, a low-level control layer is typically used to ensure proper robust trajectory tracking. Such decision-tracking algorithms correct model disturbances a posteriori, while the whole movement planning is done in a purely deterministic fashion. We argue that the decision making process that takes place during movement planning, as performed by experienced human pilots, is not a purely deterministic operation, but is heavily influenced by the presence of uncertainties and reflects a risk-management policy. This research aims at addressing these uncertainties and developing an optimal control strategy that would account for the presence of system uncertainties. The underlying description of UAV trajectories will be based on a modeling language, the Maneuver Automaton, that takes into full account the vehicle dynamics, and hence guarantees flyable and trackable paths and results in a discretized solution space. Two optimal control problems, a nominal problem omitting uncertainties and a robust problem addressing the presence of uncertainties, will be defined and compared throughout this work. The incorporation of uncertainties, will ensure that the generated motion planning policies will maximize the probability to meet mission goals, weighing risks against performance.

Modern power systems operate much closer to their stability limits than before. With the introduction of highly sensitive industrial and residential loads, the loss of system stability becomes increasingly costly. Reinforcing the power grid by installing additional transmission lines, creating more complicated meshed networks and increasing the voltage level are among the effective, yet expensive solutions. An alternative approach is to improve the performance of the existing power system components by incorporating more intelligent control techniques. This can be achieved in two ways: introducing intelligent local controllers for the existing components in the power network in order to employ their utmost capabilities, and implementing global intelligent schemes for optimizing the performance of multiple local controllers based on an objective function associated with the overall performance of the power system. Both these aspects are investigated in this thesis. In the first section, artificial neural networks are adopted for designing an optimal nonlinear controller for a static compensator (STATCOM) connected to a multimachine power system. The neurocontroller implementation is based on the adaptive critic designs (ACD) technique and provides an optimal control policy over the infinite horizon time of the problem. The ACD based neurocontroller outperforms a conventional controller both in terms of improving the power system dynamic stability and reducing the control effort required. The second section investigates the further improvement of the power system behavior by introducing an ACD based neurocontroller for hierarchical control of a multimachine power system. The proposed wide area controller improves the power system dynamic stability by generating optimal control signals as auxiliary reference signals for the synchronous generators automatic voltage regulators and the STATCOM line voltage controller. This multilevel hierarchical control scheme forces the different controllers throughout the power system to optimally respond to any fault or disturbance by reducing a predefined cost function associated with the power system performance.

Recently there has been a tremendous growth of research emphasizing control of unmanned aerial vehicles (UAVs) either in isolation or in teams. As a matter of fact, UAVs increasingly find their way to applications, especially in military and law enforcement (e.g., reconnaissance, remote delivery of urgent equipment/material, resource assessment, environmental monitoring, battlefield monitoring, ordnance delivery, etc.). This trend will continue in the future, as UAVs are poised to replace the human-in-the-loop during dangerous missions. Civilian applications of UAVs are also envisioned such as crop dusting, geological surveying, search and rescue operations, etc. In this thesis we propose a new online multiresolution path planning algorithm for a small UAV with limited on-board computational resources. The proposed approach assumes that the UAV has detailed information of the environment and the obstacles only in its vicinity. Information about far-away obstacles is also available, albeit less accurately. The proposed algorithm uses the fast lifting wavelet transform (FLWT) to get a multiresolution cell decomposition of the environment, whose dimension is commensurate to the on-board computational resources. A topological graph representation of the multiresolution cell decomposition is constructed efficiently, directly from the approximation and detail wavelet coefficients. Dynamic path planning is sequentially executed for an optimal path using the A* algorithm over the resulting graph. The proposed path planning algorithm is implemented on-line on a small autopilot. Comparisons with the standard D*-lite algorithm are also presented. We also investigate the problem of generating a smooth, planar reference path from a discrete optimal path. Upon the optimal path being represented as a sequence of cells in square geometry, we derive a smooth B-spline path that is constrained inside a channel that is induced by the geometry of the cells. To this end, a constrained optimization problem is formulated by setting up geometric linear constraints as well as boundary conditions. Subsequently, we construct B-spline path templates by solving a set of distinct optimization problems. For an application to the UAV motion planning, the path templates are incorporated to replace parts of the entire path by the smooth B-spline paths. Each path segment is stitched together while preserving continuity to obtain a final smooth reference path to be used for path following control. The path following control for a small fixed-wing UAV to track the prescribed smooth reference path is also addressed. Assuming the UAV is equipped with an autopilot for low level control, we adopt a kinematic error model with respect to the moving Serret-Frenet frame attached to a path for tracking controller design. A kinematic path following control law that commands heading rate is presented. Backstepping is applied to derive the roll angle command by taking into account the approximate closed-loop roll dynamics. A parameter adaptation technique is employed to account for the inaccurate time constant of the closed-loop roll dynamics during actual implementation. Finally, we implement the proposed hierarchical path control of a small UAV on the actual hardware platform, which is based on an 1/5 scale R/C model airframe (Decathlon) and the autopilot hardware and software. Based on the hardware-in-the-loop (HIL) simulation environment, the proposed hierarchical path control algorithm has been validated through the on-line, real-time implementation on a small micro-controller. By a seamless integration of the control algorithms for path planning, path smoothing, and path following, it has been demonstrated that the UAV equipped with a small autopilot having limited computational resources manages to accomplish the path control objective to reach the goal while avoiding obstacles with minimal human intervention.