The popularity and demand for safe autonomous vehicles are on the rise. Advances in semiconductor technology have led to the integration of a wide range of sensors with high-performance computers, all onboard the autonomous vehicles. The complexity of the software controlling the vehicles has also seen steady growth in recent years. Verifying the control software using traditional verification techniques is difficult and thus increases their safety concerns. Runtime verification is an efficient technique to ensure the autonomous vehicle's actions are limited to a set of acceptable behaviors that are deemed safe. The acceptable behaviors are formally described in linear temporal logic (LTL) specifications. The sensor data is actively monitored to verify its adherence to the LTL specifications using monitors. Corrective action is taken if a violation of a specification is found. An unmanned aerial vehicle (UAV) development platform is proposed for the validation of monitors on configurable hardware. A high-fidelity simulator is used to emulate the UAV and the virtual environment, thereby eliminating the need for a real UAV. The platform interfaces the emulated UAV with monitors implemented on configurable hardware and autopilot software running on a flight controller. The proposed platform allows the implementation of monitors in an isolated and scalable manner. Scenarios violating the LTL specifications can be generated in the simulator to validate the functioning of the monitors. / Master of Science / Safety is one of the most crucial factors considered when designing an autonomous vehicle. Modern vehicles that use a machine learning-based control algorithm can have unpredictable behavior in real-world scenarios that were not anticipated while training the algorithm. Verifying the underlying software code with all possible scenarios is a difficult task. Runtime verification is an efficient solution where a relatively simple set of monitors validate the decisions made by the sophisticated control software against a set of predefined rules. If the monitors detect an erroneous behavior, they initiate a predetermined corrective action. Unmanned aerial vehicles (UAVs), like drones, are a class of autonomous vehicles that use complex software to control their flight. This thesis proposes a platform that allows the development and validation of monitors for UAVs using configurable hardware. The UAV is emulated on a high-fidelity simulator, thereby eliminating the time-consuming process of flying and validating monitors on a real UAV. The platform supports the implementation of multiple monitors that can execute in parallel. Scenarios to violate rules and cause the monitors to trigger corrective actions can easily be generated on the simulator.

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.

This thesis attempts to tune any controller without the mathematical model knowledge of the system it is controlling. For that purpose, the optimization algorithm of MATLAB&reg / 6.5 / Nonlinear Control Design Blockset (NCD) is adapted for real-time executions and combined with a hardware-in-the-loop simulation provided by MATLAB&reg / 6.5 / Real-Time Windows Target (RTWT). A noise-included model of a DC motor position control system is obtained in MATLAB&reg / / SIMULINK first and simulated to test the modified algorithm in some aspects. Then the presented methodology is verified using the physical plant (DC motor position control system) where tuning algorithm is driven mainly by the real system data and the required performance parameters specified by a user defined constraint window are successfully satisfied. Resultant improvements on the step response behavior of DC motor position control system are shown for two case studies.

Dieser Beitrag stellt die Mixed-Reality-in-the-Loop Simulation (MRiLS) zur Schulung technischer Fachkräfte im Maschinen- und Anlagenbau vor. Die MRiLS koppelt die aus dem Engineering bereits vorhandenen Modelle der Hardware-in-the-Loop Simulation (HiLS) mit Visualisierungs- und Interaktionsmethoden der Mixed Reality (MR) und integriert dadurch den Nutzenden und dessen Verhalten sowie die reale Umgebung vollständig in den Simulationskreislauf. Der Beitrag thematisiert neben der notwendigen Middleware zur Kopplung der HiLS mit der MR-Umgebung auch die Steuerungsbelastung durch Multiuser-Zugriffe. Die Funktionsfähigkeit des vorgestellten Konzepts wird anhand eines ausgewählten beispielhaften Automatisierungssystems belegt. Für das Automatisierungssystem wird der Aufbau der MRiLS sowie das Konzept für den Ablauf einer Schulung mittels MRiLS vorgestellt.

Today, the information (signal timings, detector extension, phase sequence, etc.) to install traffic lights on the street are obtained from traffic software simulations platforms, meaning that information from simulation is not tested on the field (intersection where it will be installed) before the installation. Many installed controllers on the street use time of day (TOD) patterns due to cheaper cost than adaptive traffic control systems, but that is not the best solution for traffic volume changes that can occur during the day or even a month. To improve traffic signal operation most of the traffic signal controllers in the same corridor or zone operate in coordination mode. Furthermore, phases need to be in coordination to achieve “green wave”. Green wave is term used when in corridor traffic lights allow continues flow of traffic through intersections that are coordinated. / Includes bibliography. / Thesis (M.S.)--Florida Atlantic University, 2016. / FAU Electronic Theses and Dissertations Collection

Veículos Submarinos Não Tripulados (UUVs Unmanned Underwater Vehicles) possuem muitas aplicações comerciais, militares e científicas devido ao seu elevado potencial e relação custo-desempenho considerável quando comparados a meios tradicionais utilizados para a obtenção de informações provenientes do meio subaquático. O desenvolvimento de uma plataforma de testes e amostragem confiável para estes veículos requer o projeto de um sistema completo além de exigir diversos e custosos experimentos realizados no mar para que as especificações possam ser devidamente validadas. Modelagem e simulação apresentam medidas de custo efetivo para o desenvolvimento de componentes preliminares do sistema (software e hardware), além de verificação e testes relacionados à execução de missões realizadas por veículos submarinos reduzindo, portanto, a ocorrência de potenciais falhas. Um ambiente de simulação preciso pode auxiliar engenheiros a encontrar erros ocultos contidos no software embarcado do UUV além de favorecer uma maior introspecção dentro da dinâmica e operação do veículo. Este trabalho descreve a implementação do algoritmo de controle de um UUV em ambiente MATLAB/SIMULINK, sua conversão automática para código compilável (em C++) e a verificação de seu funcionamento diretamente no computador embarcado por meio de simulações. Detalham-se os procedimentos necessários para permitir a conversão dos modelos em MATLAB para código C++, integração do software de controle com o sistema operacional de tempo real empregado no computador embarcado (VxWORKS) e a estratégia de simulação com Hardware In The Loop (HIL) desenvolvida - A principal contribuição deste trabalho é apresentar de forma racional uma estrutura de trabalho que facilite a implementação final do software de controle no computador embarcado a partir do modelo desenvolvido em um ambiente amigável para o projetista, como o SIMULINK. / Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system design and many costly at-sea trials during which systems specifications can be validated. Modeling and simulation provide a cost-effective measure to carry out preliminary component, system (hardware and software), and mission testing and verification, thereby reducing the number of potential failures in at-sea trials. An accurate simulation environment can help engineers to find hidden errors in the UUV embedded software and gain insights into the UUV operation and dynamics. This work describes the implementation of a UUV\'s control algorithm using MATLAB/SIMULINK, its automatic conversion to an executable code (in C++) and the verification of its performance directly into the embedded computer using simulations. It is detailed the necessary procedure to allow the conversion of the models from MATLAB to C++ code, integration of the control software with the real time operating system used on the embedded computer (VxWORKS) and the developed strategy of Hardware in the loop Simulation (HILS). The Main contribution of this work is to present a rational framework to support the final implementation of the control software on the embedded computer, starting from the model developed on an environment friendly to the control engineers, like SIMULINK.

This thesis aims to propose multiple methods for performing a hardware-in-the-loop simulation, providing the hardware and software tools necessary for design and execution. For this purpose, methods of modeling commonly encountered dynamical system components are explored and techniques suitable for calculating the states of the modeled system are presented. Modules and subsystems that enable the realization of a hardware-in-the-loop simulation application and its interfacing with external controller hardware are explained. The thesis also presents three different simulation scenarios. Solutions suitable for these scenarios are provided along with their implementations. The details and specifications of the developed software packages and hardware platforms are given. The provided results illustrate the advantages and disadvantages of the approaches used in these solutions.

This thesis introduces an alternative potentially low cost solution for hardware-in-the-loop (HIL) simulation based on the waveform relaxation (WR) method. The WR tech-nique is extended so that, without the need for a real-time simulator, the behaviour of an actual piece of physical hardware can nevertheless be tested as though it were connected to a large external electrical network. This is achieved by simulating the external network on an off-line electromagnetic transients (EMT) simulation program, and utilizing iterative exchange of waveforms between the simulation and the hardware by means of a spe-cialized Real-Time Player/Recorder (RTPR) interface device. The approach is referred to as waveform relaxation based hardware-in-the-loop (WR-HIL) simulation. To make the method possible, the thesis introduces several new innovations for stabi-lizing and accelerating the WR-HIL algorithm. It is shown that the classical WR shows poor or no convergence when at least one of the subsystems is an actual device. The noise and analog-digital converters’ quantization errors and other hardware disturbances can affect the waveforms and cause the WR to diverge. Therefore, the application of the WR method in performing HIL simulation is not straightforward and the classical WR need to be modified accordingly. Three convergence techniques are proposed to improve the WR-HIL simulation con-vergence. Each technique is evaluated by an experimental example. The stability of the WR-HIL simulation is studied and a stabilization technique is proposed to provide suffi-cient conditions for the simulation stability. The approach is also extended to include the optimization of the parameters of power system controllers located in geographically distant places. The WR-HIL simulation technique is presented with several examples. At the end of the thesis, suggestions for the future work are presented. / February 2016

Thesis (MEng) Stellenbosch University, 2014 / ENGLISH ABSTRACT: An Attitude Determination and Control System (ADCS) demonstrator and testing platform was required for satellite engineering students. The ADCS demonstrator and testing platform will allow students to develop insight into the concepts and challenges of ADCS design and implementation. The existing model nano-satellite EyasSAT was used as a design platform for a new ADCS demonstrator. A new ADCS module (ADCS_V2) was developed to replace the existing EyasSAT ADCS module. The new module allows for three-axis ADCS and the demonstration of the ADCS on an air bearing platform. The air bearing allows full freedom of movement for yaw rotations with limited pitch and roll rotations. The actuators and sensors required for the ADCS were developed and integrated into EyasSAT. In addition a new PCB was designed to form the ADCS_V2 module. Attitude determination algorithms and attitude control algorithms were implemented and tested using MATLAB Simulink simulations. These algorithms were then implemented on the ADCS_V2 module. The ADCS was tested using Hardware In the Loop (HIL) techniques and an air bearing. The yaw attitude of EyasSAT could be controlled within 0.4 degrees accuracy with all the sensors active. In order to stabilize the air bearing platform, the pitch and roll angles were rate controlled. The pitch and roll rates were damped to within 6 mrad/s. / AFRIKAANSE OPSOMMING: ’n Oriëntasiebepaling en Beheerstelsel (OBBS) demonstrasie en toets platform was benodig vir satellietingenieurswese studente. Die nuwe OBBS sal studente toelaat om insig te ontwikkel met betreking tot die idees en uitdagings wat verband hou met die ontwikkeling en implementering van ’n OBBS. Die huidige nano-sateliet model EyasSAT was gebruik as ’n ontwerpsbasis vir die nuwe OBBS. Die nuwe OBBS was ontwikkel om die huidige module van EyasSAT te vervang. Die nuwe OBBS laat oriëntasiebepaling en -beheer in drie asse toe. Die nuwe OBBS en EyasSAT kan die werking van ’n OBBS demonstreer op ’n luglaerplatform. Die luglaer laat vrye rotasie om die gierhoek toe terwyl die rol- en stygings-as beperk word. Die aktueerders en sensors wat benodig word vir die OBBS is ontwikkel en geïntegreer in EyasSAT saam met ’n nuwe gedrukte stroombaanbord om die nuwe OBBS te vorm. Orientasiebepaling en orientasiebeheer algoritmes is geïmplementeer en getoets met die hulp van MATLAB Simulink simulasies. Die algoritmes was op die OBBS module geïmplementeer en getoets deur gebruik te maak van HIL tegnieke en praktiese toetse op die luglaer. Die rotasie hoek van EyasSAT kan met ’n akkuraatheid van 0.4 grade beheer word indien al die sensors gebruik word. Die rol en stygingshoeksnelheid was gekanselleer om die luglaer stabiel te hou. Die hoeksnelheid van die twee asse kon tot kleiner as 6 mrad/s beheer word.

Veículos Submarinos Não Tripulados (UUVs Unmanned Underwater Vehicles) possuem muitas aplicações comerciais, militares e científicas devido ao seu elevado potencial e relação custo-desempenho considerável quando comparados a meios tradicionais utilizados para a obtenção de informações provenientes do meio subaquático. O desenvolvimento de uma plataforma de testes e amostragem confiável para estes veículos requer o projeto de um sistema completo além de exigir diversos e custosos experimentos realizados no mar para que as especificações possam ser devidamente validadas. Modelagem e simulação apresentam medidas de custo efetivo para o desenvolvimento de componentes preliminares do sistema (software e hardware), além de verificação e testes relacionados à execução de missões realizadas por veículos submarinos reduzindo, portanto, a ocorrência de potenciais falhas. Um ambiente de simulação preciso pode auxiliar engenheiros a encontrar erros ocultos contidos no software embarcado do UUV além de favorecer uma maior introspecção dentro da dinâmica e operação do veículo. Este trabalho descreve a implementação do algoritmo de controle de um UUV em ambiente MATLAB/SIMULINK, sua conversão automática para código compilável (em C++) e a verificação de seu funcionamento diretamente no computador embarcado por meio de simulações. Detalham-se os procedimentos necessários para permitir a conversão dos modelos em MATLAB para código C++, integração do software de controle com o sistema operacional de tempo real empregado no computador embarcado (VxWORKS) e a estratégia de simulação com Hardware In The Loop (HIL) desenvolvida - A principal contribuição deste trabalho é apresentar de forma racional uma estrutura de trabalho que facilite a implementação final do software de controle no computador embarcado a partir do modelo desenvolvido em um ambiente amigável para o projetista, como o SIMULINK. / Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system design and many costly at-sea trials during which systems specifications can be validated. Modeling and simulation provide a cost-effective measure to carry out preliminary component, system (hardware and software), and mission testing and verification, thereby reducing the number of potential failures in at-sea trials. An accurate simulation environment can help engineers to find hidden errors in the UUV embedded software and gain insights into the UUV operation and dynamics. This work describes the implementation of a UUV\'s control algorithm using MATLAB/SIMULINK, its automatic conversion to an executable code (in C++) and the verification of its performance directly into the embedded computer using simulations. It is detailed the necessary procedure to allow the conversion of the models from MATLAB to C++ code, integration of the control software with the real time operating system used on the embedded computer (VxWORKS) and the developed strategy of Hardware in the loop Simulation (HILS). The Main contribution of this work is to present a rational framework to support the final implementation of the control software on the embedded computer, starting from the model developed on an environment friendly to the control engineers, like SIMULINK.