Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. This paper presents the major problems of adaptive control systems that use learning to improve performance. The paper then presents the major procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of these adaptive control systems. These technologies include the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, simulation and test methods, and tools to provide on-line software assurance

Cerebellar-inspired algorithm for adaptive control of nonlinear dielectric elastomerbased artificial muscle

© 2016 The Author(s) Published by the Royal Society. All rights reserved. Electroactive polymer actuators are important for soft robotics, but can be difficult to control because of compliance, creep and nonlinearities. Because biological control mechanisms have evolved to deal with such problems, we investigated whether a control scheme based on the cerebellum would be useful for controlling a nonlinear dielectric elastomer actuator, a class of artificial muscle. The cerebellum was represented by the adaptive filter model, and acted in parallel with a brainstem, an approximate inverse plant model. The recurrent connections between the two allowed for direct use of sensory error to adjust motor commands. Accurate tracking of a displacement command in the actuator's nonlinear range was achieved by either semi-linear basis functions in the cerebellar model or semi-linear functions in the brainstem corresponding to recruitment in biological muscle. In addition, allowing transfer of training between cerebellum and brainstem as has been observed in the vestibulo-ocular reflex prevented the steady increase in cerebellar output otherwise required to deal with creep. The extensibility and relative simplicity of the cerebellar-based adaptive-inverse control scheme suggests that it is a plausible candidate for controlling this type of actuator. Moreover, its performance highlights important features of biological control, particularly nonlinear basis functions, recruitment and transfer of training

A Novel QAM Technique for High Order QAM Signaling

The paper proposes a novel spread quadrature amplitude modulation (S-QAM) technique with high SNR improvement for high-order QAM channels. Simulated and experimental bit error rate (BER) performance analyses of the proposed technique in blind and non-blind equalizers are obtained by using single carrier (SC) WiMAX (IEEE 802.16-2004) radio. Instead of using any one particular type of channel profile, this study concentrates on true frequency selective Rayleigh fading channels in the real-time WiMAX radio environment around 3.5 GHz. The Constant Modulus Algorithm (CMA) blind equalizer has been compared with the popular non-blind equalizers, Recursive Least Squares (RLS) and Least Mean Squares (LMS) algorithm, as benchmarks. It has been proven in experimental and simulated channels that CMA blind equalizer, using the proposed technique, can be considered as a low complexity, spectrum efficient and high performance time domain equalizations to be embedded in a transceiver for the next generation communications. Furthermore the proposed technique has also reduced approximately till 5 dB and 7.5 dB performance differences between non-blind and blind equalizers for 16-QAM and 64-QAM, respectively. The simulation results have demonstrated that the simulated and experimental studies of the proposed technique are compatible with each other and extremely satisfying

A study on neural network based system identification with application to heating, ventilating and air conditioning (hvac)system

Recent efforts to incorporate aspects of artificial intelligence into the design and operation of automatic control systems have focused attention on techniques such as fuzzy logic, artificial neural networks, and expert systems. Although LMS algorithm has been considered to be a popular method of system identification but it has been seen in many situations that accurate system identification is not achieved by employing this technique. On the other hand, artificial neural network (ANN) has been chosen as a suitable alternative approach to nonlinear system identification due to its good function approximation capabilities i.e. ANNs are capable of generating complex mapping between input and output spaces. Thus, ANNs can be employed for modeling of complex dynamical systems with reasonable degree of accuracy. The use of computers for direct digital control highlights the recent trend toward more effective and efficient heating, ventilating, and air-conditioning (HVAC) control methodologies. The HVAC field has stressed the importance of self learning in building control systems and has encouraged further studies in the integration of optimal control and other advanced techniques into the formulation of such systems. In this thesis we describe the functional link artificial neural network (FLANN), Multi-Layer Perceptron (MLP) with Back propagation (BP) and MLP with modified BP called the emotional BP and Neuro fuzzy approaches for the HVAC System Identification. The thesis describes different architectures together with learning algorithms to build neural network based nonlinear system identification schemes such as Multi-Layer Perceptron (MLP) neural network, Functional Link Artificial Neural Network (FLANN) and ANFIS structures. In the case of MLP used as an identifier, different structures with regard to hidden layer selection and nodes in each layer have been considered. It may be noted that difficulty lies in choosing the number of hidden layers for achieving a correct topology of MLP neural identifier. To overcome this, in the FLANN identifier hidden layers are not required whereas the input is expanded by using trigonometric polynomials i.e. with cos(nπu) and sin(nπu), for n=0,1,2,…. The above ANN structures MLP, FLANN and Neuro-fuzzy (ANFIS Model) have been extensively studied

Identification and Optimal Linear Tracking Control of ODU Autonomous Surface Vehicle

Autonomous surface vehicles (ASVs) are being used for diverse applications of civilian and military importance such as: military reconnaissance, sea patrol, bathymetry, environmental monitoring, and oceanographic research. Currently, these unmanned tasks can accurately be accomplished by ASVs due to recent advancements in computing, sensing, and actuating systems. For this reason, researchers around the world have been taking interest in ASVs for the last decade. Due to the ever-changing surface of water and stochastic disturbances such as wind and tidal currents that greatly affect the path-following ability of ASVs, identification of an accurate model of inherently nonlinear and stochastic ASV system and then designing a viable control using that model for its planar motion is a challenging task. For planar motion control of ASV, the work done by researchers is mainly based on the theoretical modeling in which the nonlinear hydrodynamic terms are determined, while some work suggested the nonlinear control techniques and adhered to simulation results. Also, the majority of work is related to the mono- or twin-hull ASVs with a single rudder. The ODU-ASV used in present research is a twin-hull design having two DC trolling motors for path-following motion. A novel approach of time-domain open-loop observer Kalman filter identifications (OKID) and state-feedback optimal linear tracking control of ODU-ASV is presented, in which a linear state-space model of ODU-ASV is obtained from the measured input and output data. The accuracy of the identified model for ODU-ASV is confirmed by validation results of model output data reconstruction and benchmark residual analysis. Then, the OKID-identified model of the ODU-ASV is utilized to design the proposed controller for its planar motion such that a predefined cost function is minimized using state and control weighting matrices, which are determined by a multi-objective optimization genetic algorithm technique. The validation results of proposed controller using step inputs as well as sinusoidal and arc-like trajectories are presented to confirm the controller performance. Moreover, real-time water-trials were performed and their results confirm the validity of proposed controller in path-following motion of ODU-ASV

Advanced Power Loss Modeling and Model-Based Control of Three-Phase Induction Motor Drive Systems

Three-phase induction motor (IM) drive systems are the most important workhorses of many industries worldwide. This dissertation addresses improved modeling of three-phase IM drives and model-based control algorithms for the purpose of designing better IM drive systems. Enhancements of efficiency, availability, as well as performance of IMs, such as maximum torque-per-ampere capability, power density, and torque rating, are of major interest. An advanced power loss model of three-phase IM drives is proposed and comprehensively validated at different speed, load torque, flux and input voltage conditions. This model includes a core-loss model of three-phase IMs, a model of machine mechanical and stray losses, and a model of power electronic losses in inverters. The drive loss model shows more than 90% accuracy and is used to design system-level loss minimization control of a motor drive system, which is integrated with the conventional volts-per-hertz control and indirect field-oriented control as case studies. The designed loss minimization control leads to more than 13% loss reduction than using rated flux for the testing motor drive under certain conditions. The proposed core-loss model is also used to design an improved model-based maximum torque-per-ampere control of IMs by considering core losses. Significant increase of torque-per-ampere capability could be possible for high-speed IMs. A simple model-based time-domain fault diagnosis method of four major IM faults is provided; it is nonintrusive, fast, and has excellent fault sensitivity and robustness to noise and harmonics. A fault-tolerant control scheme for sensor failures in closed-loop IM drives is also studied, where a multi-controller drive is proposed and uses different controllers with minimum hand-off transients when switching between controllers. A finite element analysis model of medium-voltage IMs is explored, where electromagnetic and thermal analyses are co-simulated. The torque rating and power density of the simulated machine could be increased by 14% with proper change of stator winding insulation material. The outcome of this dissertation is an advanced three-phase IM drive that is enhanced using model-based loss minimization control, fault detection and diagnosis of machine faults, fault-tolerant control under sensor failures, and performance-enhancement suggestions

Volume 1 – Symposium: Tuesday, March 8

Group A: Digital Hydraulics Group B: Intelligent Control Group C: Valves Group D | G | K: Fundamentals Group E | H | L: Mobile Hydraulics Group F | I: Pumps Group M: Hydraulic Components:Group A: Digital Hydraulics Group B: Intelligent Control Group C: Valves Group D | G | K: Fundamentals Group E | H | L: Mobile Hydraulics Group F | I: Pumps Group M: Hydraulic Component

Co-adaptive myoelectric control for upper limb prostheses

[ES] Mucha gente en el mundo se ve afectada por la pérdida de una extremidad (las predicciones estiman que en 2050 habrá más de 3 millones de personas afectadas únicamente en los Estados Unidos de América). A pesar de la continua mejora en las técnicas de amputación y la prostética, vivir sin una extremidad sigue limitando las actividades de los afectados en su vida diaria, provocando una disminución en su calidad de vida. En este trabajo nos centramos en los casos de amputaciones de extremidades superiores, entendiendo por ello la pérdida de cualquier parte del brazo o antebrazo. Esta tesis trata sobre el control mioeléctrico (potenciales eléctricos superficiales generados por la contracción de los músculos) de prótesis de extremidades superiores. Los estudios en este campo han crecido exponencialmente en las últimas décadas intentando reducir el hueco entre la parte investigadora más dinámica y propensa a los cambios e innovación (por ejemplo, usando técnicas como la inteligencia artificial) y la industria prostética, con una gran inercia y poco propensa a introducir cambios en sus controladores y dispositivos. El principal objetivo de esta tesis es desarrollar un nuevo controlador implementable basado en filtros adaptativos que supere los principales problemas del estado del arte. Desde el punto de vista teórico, podríamos considerar dos contribuciones principales. Primero, proponemos un nuevo sistema para modelar la relación entre los patrones de la señales mioélectricas y los movimientos deseados; este nuevo modelo tiene en cuenta a la hora de estimar la posición actual el valor de los estados pasados generando una nueva sinergia entre máquina y ser humano. En segundo lugar, introducimos un nuevo paradigma de entrenamiento más eficiente y personalizado autónomamente, el cual puede aplicarse no sólo a nuestro nuevo controlador, sino a otros regresores disponibles en la literatura. Como consecuencia de este nuevo protocolo, la estructura humano-máquina difiere con respecto del actual estado del arte en dos características: el proceso de aprendizaje del controlador y la estrategia para la generación de las señales de entrada. Como consecuencia directa de todo esto, el diseño de la fase experimental resulta mucho más complejo que con los controladores tradicionales. La dependencia de la posición actual de la prótesis con respecto a estados pasados fuerza a la realización de todos los experimentos de validación del nuevo controlador en tiempo real, algo costoso en recursos tanto humanos como de tiempo. Por lo tanto, una gran parte de esta tesis está dedicada al trabajo de campo necesario para validar el nuevo modelo y estrategia de entrenamiento. Como el objetivo final es proveer un nuevo controlador implementable, la última parte de la tesis está destinada a testear los métodos propuestos en casos reales, tanto en entornos simulados para validar su robustez ante rutinas diarias, como su uso en dispositivos prostéticos comerciales. Como conclusión, este trabajo propone un nuevo paradigma de control mioélectrico para prótesis que puede ser implementado en una prótesis real. Una vez se ha demostrado la viabilidad del sistema, la tesis propone futuras líneas de investigación, mostrando algunos resultados iniciales.[CA] Molta gent en el món es veu afectada per la pèrdua d'una extremitat (les prediccions estimen que en 2050 hi haurà més de 3 milions de persones afectades únicament als Estats Units d'Amèrica). Malgrat la contínua millora en les tècniques d'amputació i la prostètica, viure sense una extremitat continua limitant les activitats dels afectats en la seua vida diària, provocant una disminució en la seua qualitat de vida. En aquest treball ens centrem en els casos d'amputacions d'extremitats superiors, entenent per això la pèrdua de qualsevol part del braç o avantbraç. Aquesta tesi tracta sobre el control mioelèctric (potencials elèctrics superficials generats per la contracció dels músculs) de pròtesis d'extremitats superiors. Els estudis en aquest camp han crescut exponencialment en les últimes dècades intentant reduir el buit entre la part investigadora més dinàmica i propensa als canvis i innovació (per exemple, usant tècniques com la intel·ligència artificial) i la indústria prostètica, amb una gran inèrcia i poc propensa a introduir canvis en els seus controladors i dispositius. Aquesta tesi contribueix a la investigació des de diversos punts de vista. El principal objectiu és desenvolupar un nou controlador basat en filtres adaptatius que supere els principals problemes de l'estat de l'art. Des del punt de vista teòric, podríem considerar dues contribucions principals. Primer, proposem un nou sistema per a modelar la relació entre els patrons de la senyals mioelèctrics i els moviments desitjats; aquest nou model té en compte a l'hora d'estimar la posició actual el valor dels estats passats generant una nova sinergia entre màquina i ésser humà. En segon lloc, introduïm un nou paradigma d'entrenament més eficient i personalitzat autònomament, el qual pot aplicar-se no sols al nostre nou controlador, sinó a uns altres regresors disponibles en la literatura. Com a conseqüència d'aquest nou protocol, l'estructura humà-màquina difereix respecte a l'actual estat de l'art en dues característiques: el procés d'aprenentatge del controlador i l'estratègia per a la generació dels senyals d'entrada. Com a conseqüència directa de tot això, el disseny de la fase experimental resulta molt més complex que amb els controladors tradicionals. La dependència de la posició actual de la pròtesi respecte a estats passats força a la realització de tots els experiments de validació del nou controlador en temps real, una cosa costosa en recursos tant humans com de temps. Per tant, una gran part d'aquesta tesi està dedicada al treball de camp necessari per a validar el nou model i estratègia d'entrenament. Com l'objectiu final és proveir un nou controlador implementable, l'última part de la tesi està destinada a testar els mètodes proposats en casos reals, tant en entorns simulats per a validar la seua robustesa davant rutines diàries, com el seu ús en dispositius prostètics comercials. Com a conclusió, aquest treball proposa un nou paradigma de control mioelèctric per a pròtesi que pot ser implementat en una pròtesi real. Una vegada s'ha demostrat la viabilitat del sistema, la tesi proposa futures línies d'investigació, mostrant alguns resultats inicials.[EN] Many people in the world suffer from the loss of a limb (predictions estimate more than 3 million people by 2050 only in the USA). In spite of the continuous improvement in the amputation rehabilitation and prosthetic restoration, living without a limb keeps limiting the daily life activities leading to a lower quality of life. In this work, we focus in the upper limb amputation case, i.e., the removal of any part of the arm or forearm. This thesis is about upper limb prosthesis control using electromyographic signals (the superficial electric potentials generated during muscle contractions). Studies in this field have grown exponentially in the past decades trying to reduce the gap between a fast growing prosthetic research field, with the introduction of machine learning, and a slower prosthetic industry and limited manufacturing innovation. This thesis contributes to the field from different perspectives. The main goal is to provide and implementable new controller based on adaptive filtering that overcomes the most common state of the art concerns. From the theoretical point of view, there are two main contributions. First, we propose a new system to model the relationship between electromyographic signals and the desired prosthesis movements; this new model takes into account previous states for the estimation of the current position generating a new human-machine synergy. Second, we introduce a new and more efficient autonomously personalized training paradigm, which can benefit not only to our new proposed controller but also other state of the art regressors. As a consequence of this new protocol, the human-machine structure differs with respect to current state of the art in two features: the controller learning process and the input signal generation strategy. As a direct aftereffect of all of this, the experimental phase design results more complex than with traditional controllers. The current state dependency on past states forces the experimentation to be in real time, a very high demanding task in human and time resources. Therefore, a major part of this thesis is the associated fieldwork needed to validate the new model and training strategy. Since the final goal is to provide an implementable new controller, the last part of the thesis is devoted to test the proposed methods in real cases, not only analyzing the robustness and reliability of the controller in real life situations but in real prosthetic devices. As a conclusion, this work provides a new paradigm for the myoelectric prosthetic control that can be implemented in a real device. Once the thesis has proven the system's viability, future work should continue with the development of a physical device where all these ideas are deployed and used by final patients in a daily basis.The work of Carles Igual Bañó to carry out this research and elaborate this dissertation has been supported by the Ministerio de Educación, Cultura y Deporte under the FPU Grant FPU15/02870. One visiting research fellowships (EST18/00544) was also funded by the Ministerio de Educación, Cultura y Deporte of Spain.Igual Bañó, C. (2021). Co-adaptive myoelectric control for upper limb prostheses [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/168192TESI

A Comprehensive Survey on Particle Swarm Optimization Algorithm and Its Applications

Particle swarm optimization (PSO) is a heuristic global optimization method, proposed originally by Kennedy and Eberhart in 1995. It is now one of the most commonly used optimization techniques. This survey presented a comprehensive investigation of PSO. On one hand, we provided advances with PSO, including its modifications (including quantum-behaved PSO, bare-bones PSO, chaotic PSO, and fuzzy PSO), population topology (as fully connected, von Neumann, ring, star, random, etc.), hybridization (with genetic algorithm, simulated annealing, Tabu search, artificial immune system, ant colony algorithm, artificial bee colony, differential evolution, harmonic search, and biogeography-based optimization), extensions (to multiobjective, constrained, discrete, and binary optimization), theoretical analysis (parameter selection and tuning, and convergence analysis), and parallel implementation (in multicore, multiprocessor, GPU, and cloud computing forms). On the other hand, we offered a survey on applications of PSO to the following eight fields: electrical and electronic engineering, automation control systems, communication theory, operations research, mechanical engineering, fuel and energy, medicine, chemistry, and biology. It is hoped that this survey would be beneficial for the researchers studying PSO algorithms