Double-model adaptive fault detection and diagnosis applied to real flight data

The existing multiple model-based estimation algorithms for Fault Detection and Diagnosis (FDD) require the design of a model set, which contains a number of models matching different fault scenarios. To cope with partial faults or simultaneous faults, the model set can be even larger. A large model set makes the computational load intensive and can lead to performance deterioration of the algorithms. In this paper, a novel Double-Model Adaptive Estimation (DMAE) approach for output FDD is proposed, which reduces the number of models to only two, even for the FDD of partial and simultaneous output faults. Two Selective-Reinitialization (SR) algorithms are proposed which can both guarantee the FDD performance of the DMAE. The performance is tested using a simulated aircraft model with the objective of Air Data Sensors (ADS) FDD. Another contribution is that the ADS FDD using real flight data is addressed. Issues related to the FDD using real flight test data are identified. The proposed approaches are validated using real flight data of the Cessna Citation II aircraft, which verified their effectiveness in practice.     

Nonlinear aircraft sensor fault reconstruction in the presence of disturbances validated by real flight data

This paper proposes an approach for Inertial Measurement Unit sensor fault reconstruction by exploiting a ground speed-based kinematic model of the aircraft flying in a rotating earth reference system. Two strategies for the validation of sensor fault reconstruction are presented: closed-loop validation and open-loop validation. Both strategies use the same kinematic model and a newly-developed Adaptive Two-Stage Extended Kalman Filter to estimate the states and faults of the aircraft. Simulation results demonstrate the effectiveness of the proposed approach compared to an approach using an airspeed-based kinematic model. Furthermore, the major contribution is that the proposed approach is validated using real flight test data including the presence of external disturbances such as turbulence. Three flight scenarios are selected to test the performance of the proposed approach. It is shown that the proposed approach is robust to model uncertainties, unmodeled dynamics and disturbances such as time-varying wind and turbulence. Therefore, the proposed approach can be incorporated into aircraft Fault Detection and Isolation systems to enhance the performance of the aircraft.     

Electric vehicles charging control in a smart grid: A model predictive control approach

The paper presents an event driven model predictive control (MPC) framework for managing charging operations of electric vehicles (EV) in a smart grid. The objective is to minimize the cost of energy consumption, while respecting EV drivers' preferences, technical bounds on the control action (in compliance with the IEC 61851 standard) and both market and grid constraints (by seeking the tracking of a reference load profile defined by the grid operator). The proposed control approach allows “flexible” EV users to participate in demand side management (DSM) programs, which will play a crucial role in improving stability and efficiency of future smart grids. Further, the natural MPC formulation of the problem can be recast into a mixed integer linear programming problem, suitable for implementation on a calculator. Simulation results are provided and discussed in detail.     

Narrowband signal detection techniques in shallow ocean by acoustic vector sensor array

This paper presents the formulation and performance analysis of four techniques for detection of a narrowband acoustic source in a shallow range-independent ocean using an acoustic vector sensor (AVS) array. The array signal vector is not known due to the unknown location of the source. Hence all detectors are based on a generalized likelihood ratio test (GLRT) which involves estimation of the array signal vector. One non-parametric and three parametric (model-based) signal estimators are presented. It is shown that there is a strong correlation between the detector performance and the mean-square signal estimation error. Theoretical expressions for probability of false alarm and probability of detection are derived for all the detectors, and the theoretical predictions are compared with simulation results. It is shown that the detection performance of an AVS array with a certain number of sensors is equal to or slightly better than that of a conventional acoustic pressure sensor array with thrice as many sensors.     

A methodological approach to the design of optimising control strategies for sewer systems

This study focuses on designing an optimisation based control for sewer system in a methodological way and linking it to a regulatory control. Optimisation based design is found to depend on proper choice of a model, formulation of objective function and tuning of optimisation parameters. Accordingly, two novel optimisation configurations are developed, where the optimisation either acts on the actuators or acts on the regulatory control layer. These two optimisation designs are evaluated on a sub-catchment of the sewer system in Copenhagen, and found to perform better than the existing control; a rule based expert system. On the other hand, compared with a regulatory control technique designed earlier in Mollerup et al. (2015), the optimisation showed similar performance with respect to minimising overflow volume. Hence for operation of small sewer systems, regulatory control strategies can offer promising potential and should be considered along more advanced strategies when identifying novel solutions.     

Effect of body-borne equipment on injury of military pilots and aircrew during a simulated helicopter crash

Military helicopter pilots are expected to wear a variety of items of body-borne equipment during flight so as to be prepared for any situation that may arise in combat. Helicopter seats are designed to a specified weight range for an occupant with equipment. This paper investigates how distributing the equipment on the body affects injury potential during a helicopter crash. A finite element model representing a helicopter seat with a fully deformable 50th percentile Hybrid III carrying equipment was developed. The model was subjected to a standard military certification crash test. Various equipment configurations were investigated and analysed to determine its influence on the risk of injury. It was found that placing the equipment low on the torso, i.e. near the thighs, not only reduces the likelihood of injury in the lumbar, spinal region but also provides favourable results in neck and head injury risk when compared to other configurations investigated. In contrast, placing equipment high on the torso, i.e. close to the chin, increases the lumbar load and implicitly, the risk of head injury. A statistical analysis is carried out using the Wilcoxon Signed Rank Test to deliver probability of loads experienced within a certain interval. This study recommends an equipment configuration that improves survivability for an occupant seated on a fixed load energy absorbing seat which is subjected to Military Standard 58095A Test 4.     

Anticipatory assistance-as-needed control algorithm for a multijoint upper limb robotic orthosis in physical neurorehabilitation

Robotic devices are becoming a popular alternative to the traditional physical therapy as a mean to enhance functional recovery after stroke; they offer more intensive practice opportunities without increasing time spent on supervision by the treating therapist. An ideal behavior for these systems would consist in emulating real therapists by providing anticipated force feedback to the patients in order to encourage and modulate neural plasticity. However, nowadays there are no systems able to work in an anticipatory fashion. For this reason, the authors propose an anticipatory assistance-as-needed control algorithm for a multijoint robotic orthosis to be used in physical ABI neurorehabilitation. This control algorithm, based on a dysfunctional-adapted biomechanical prediction subsystem, is able to avoid patient trajectory deviations by providing them with anticipatory force-feedback. The system has been validated by means of a robotic simulator.Obtained results demonstrate through simulations that the proposed assistance-as-needed control algorithm is able to provide anticipatory actuation to the patients, avoiding trajectory deviations and tending to minimize the degree of actuation. Thus, the main novelty and contribution of this work is the anticipatory nature of the proposed assistance-as-needed control algorithm, that breaks with the current robotic control strategies by not waiting for the trajectory deviations to take place. This new actuation paradigm avoids patient slacking and increases both participation and muscle activity in such a way that neural plasticity is encouraged and modulated to reinforce motor recovery.     

An extended systematic literature review on provision of evidence for safety certification

ContextCritical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing undue risks to the user, the public, or the environment. Safety is typically ensured via complying with safety standards. Demonstrating compliance to these standards involves providing evidence to show that the safety criteria of the standards are met.ObjectiveIn order to cope with the complexity of large critical systems and subsequently the plethora of evidence information required for achieving compliance, safety professionals need in-depth knowledge to assist them in classifying different types of evidence, and in structuring and assessing the evidence. This paper is a step towards developing such a body of knowledge that is derived from a large-scale empirically rigorous literature review.MethodWe use a Systematic Literature Review (SLR) as the basis for our work. The SLR builds on 218 peer-reviewed studies, selected through a multi-stage process, from 4963 studies published between 1990 and 2012.ResultsWe develop a taxonomy that classifies the information and artefacts considered as evidence for safety. We review the existing techniques for safety evidence structuring and assessment, and further study the relevant challenges that have been the target of investigation in the academic literature. We analyse commonalities in the results among different application domains and discuss implications of the results for both research and practice.ConclusionThe paper is, to our knowledge, the largest existing study on the topic of safety evidence. The results are particularly relevant to practitioners seeking a better grasp on evidence requirements as well as to researchers in the area of system safety. As a major finding of the review, the results strongly suggest the need for more practitioner-oriented and industry-driven empirical studies in the area of safety certification.     

Synthesizing safe control-command systems out of reusable components

This paper presents a safe design method for control-command embedded systems. It investigates the problem of building control-command systems out of Commercial off the shelf (COTS) components. The design method proposed uses in synergy the formal verification (FV) and the Discrete Controller Synthesis (DCS) techniques. COTS are formally specified using temporal logic and/or executable observers. New functions are built by assembling COTS together. As the COTS assembly operation is seldom error-free, behavioral incompatibilities may persist between COTS. For these reasons, COTS assemblies need to be formally verified and if errors are found, an automatic correction is attempted using DCS. The control-command code generated by DCS needs hardware specific post-processing: a structural decomposition, followed by a controllability assessment, followed by a dedicated formal verification step, ensuring that no spurious behavior is added by DCS. The resulting system is ready for hardware (e.g. FPGA) implementation.     

Activity theory as a framework for building adaptive e-learning systems: A case to provide empirical evidence

We apply activity theory (AT) to design adaptive e-learning systems (AeLS). AT is a framework to study human’s behavior at learning; whereas, AeLS enhance students’ apprenticeship by the personalization of teaching–learning experiences. AeLS depict users’ traits and predicts learning outcomes. The approach was successfully tested: Experimental group took lectures chosen by the anticipation AT principle; whilst, control group received randomly selected lectures. Learning achieved by experimental group reveals a correlation quite significant and high positive; but, for control group the correlation it is not significant and medium positive. We conclude: AT is a useful framework to design AeLS and provide student-centered education.     

Vehicle tractive force prediction with robust and windup-stable Kalman filters

Vehicle control systems need to prognosticate future vehicle states in order to improve energy efficiency. This paper compares four approaches that are used to identify the parameters of a longitudinal vehicle dynamics model used for the prediction of vehicle tractive forces. All of the identification approaches build on a standard Kalman filter. Measurement signals are processed using the polynomial function approximation technique to remove noise and compute smooth derivative values of the signals. Experimental results illustrate that the approach using multiple Stenlund–Gustafsson M-Kalman filters (multiple robust and windup-stable Kalman filters) reaches the best performance and robustness in predicting the vehicle tractive forces.     

Genetic based discrete particle swarm optimization for Elderly Day Care Center timetabling

The timetabling problem of local Elderly Day Care Centers (EDCCs) is formulated into a weighted maximum constraint satisfaction problem (Max-CSP) in this study. The EDCC timetabling problem is a multi-dimensional assignment problem, where users (elderly) are required to perform activities that require different venues and timeslots, depending on operational constraints. These constraints are categorized into two: hard constraints, which must be fulfilled strictly, and soft constraints, which may be violated but with a penalty. Numerous methods have been successfully applied to the weighted Max-CSP; these methods include exact algorithms based on branch and bound techniques, and approximation methods based on repair heuristics, such as the min-conflict heuristic. This study aims to explore the potential of evolutionary algorithms by proposing a genetic-based discrete particle swarm optimization (GDPSO) to solve the EDCC timetabling problem. The proposed method is compared with the min-conflict random-walk algorithm (MCRW), Tabu search (TS), standard particle swarm optimization (SPSO), and a guided genetic algorithm (GGA). Computational evidence shows that GDPSO significantly outperforms the other algorithms in terms of solution quality and efficiency.     

Ubiquitin: Molecular modeling and simulations

The synthesis and destruction of proteins are imperative for maintaining their cellular homeostasis. In the 1970s, Aaron Ciechanover, Avram Hershko, and Irwin Rose discovered that certain proteins are tagged by ubiquitin before degradation, a discovery that awarded them the 2004 Nobel Prize in Chemistry. Compelling data gathered during the last several decades show that ubiquitin plays a vital role not only in protein degradation but also in many cellular functions including DNA repair processes, cell cycle regulation, cell growth, immune system functionality, hormone-mediated signaling in plants, vesicular trafficking pathways, regulation of histone modification and viral budding. Due to the involvement of ubiquitin in such a large number of diverse cellular processes, flaws and impairments in the ubiquitin system were found to be linked to cancer, neurodegenerative diseases, genetic disorders, and immunological disorders. Hence, deciphering the dynamics and complexity of the ubiquitin system is of significant importance. In addition to experimental techniques, computational methodologies have been gaining increasing influence in protein research and are used to uncover the structure, stability, folding, mechanism of action and interactions of proteins. Notably, molecular modeling and molecular dynamics simulations have become powerful tools that bridge the gap between structure and function while providing dynamic insights and illustrating essential mechanistic characteristics. In this study, we present an overview of molecular modeling and simulations of ubiquitin and the ubiquitin system, evaluate the status of the field, and offer our perspective on future progress in this area of research.     

Effect of handle design on movement dynamics and muscle co-activation in a wrist flexion task

Arm and wrist manipulanda are commonly used as input devices in teleoperation and gaming applications, establish a physical interface to patients in several rehabilitation robots, and are applied as advanced research tools in biomechanics and neuroscience. Despite the fact that the physical interface, i.e. the handle through which the wrist/hand is attached to the manipulator, may influence interaction and movement behavior, the effects of handle design on these parameters has received little attention. Yet, a poor handle design might lead to overexertion and altered movement dynamics, or result in misinterpretation of results in research studies. In this study, twelve healthy subjects performed repetitions of a wrist flexion task against a dynamic load generated by a 1-DOF robotic wrist manipulandum. Three different handle designs were qualitatively and quantitatively evaluated based on wrist movement kinematics and dynamics, patterns of finger and wrist muscle activity, and ergonomics criteria such as perceived comfort and fatigue. The three proposed designs were further compared to a conventional joystick-like handle. Task performance as well as kinematic and kinetic parameters were found to be unaffected by handle design. Nevertheless, differences were found in perceived task difficulty, comfort and levels of muscle activation of wrist and finger muscles, with significantly higher muscle activation when using a joystick-like design, where the handle is completely enclosed by the hand. Comfort was rated high for the flat handle, adapted to the natural curvature of the hand with the fingers extended. These results may inform for the design of handles serving as physical interface in teleoperation applications, robot-assisted rehabilitation and biomechanics/neuroscience research.     

An integrated flood management system based on linking environmental models and disaster-related data

The flood disaster management system (FDMS) is a platform developed to provide ongoing disaster reduction capabilities that cover the entire process of flood management. The ontology-based approach links environmental models with disaster-related data to support FDMS-constructed workflows with suitable models and recommend appropriate datasets as model input automatically. This automated activity for model selection and data binding reduces the time-consuming and unreliable operations involved in traditional management techniques, which rely on manual retrieval through simple metadata indices—typically when flood management personnel are overwhelmed with large quantities of observed data. The OpenMI-based modular design used in the system unifies interfaces and data exchange to provide flexible and extensible architecture. Subsequent 3D visualization improves the interpretability of disaster data and the effectiveness of decision-making processes. This paper presents an overview of the design and capabilities of FDMS that provides one-stop management for flood disasters.     

Development of predictive models for the estimation of the probability of suffering fear of falling and other fall risk factors based on posturography parameters in community-dwelling older adults

Falls pose an important problem for older adults. Balance training is one of the main prevention strategies, but there is a lack of objective measurement methods that would allow the effectiveness of the treatments employed to be assessed. This study aimed to analyse the relationship between posturographic parameters and risk factors associated with falling, including the fear of falling (FoF). Forty-one healthy community-dwelling older adults were surveyed on their perception of problems considered to be fall risk factors. Balance measurement with posturography was performed. The relationships between risk factors and falls and risk factors and posturography were analysed by means of cross-tabulation and logistic regression, respectively. Experimental results showed a significant relationship between some of the posturographic parameters and various fall risk factors. Stability limits were related to FoF, and results from the Romberg test with eyes closed with and without foam correlated with problems in kneeling/crouching. The results from the Romberg test with eyes closed and foam correlated with osteoarthritis. Equations were developed to estimate the probability of having such problems. In conclusion, posturography is useful for the estimation of fall risk conditions in relation to three important fall risk factors (FoF, osteoarthritis and problems in kneeling/crouching), and it could be used for targeting, training and studying progress after the use of different treatments.Relevance to industryPosturography can be used as an assessment tool to analyse the effects of those treatments aimed at preventing falls. Furthermore, the equations derived from our results can be used along with posturographic variables to assess patient progress.     

An adaptive and hierarchical task scheduling scheme for multi-core clusters

Work-stealing and work-sharing are two basic paradigms for dynamic task scheduling. This paper introduces an adaptive and hierarchical task scheduling scheme (AHS) for multi-core clusters, in which work-stealing and work-sharing are adaptively used to achieve load balancing.Work-stealing has been widely used in task-based parallel programing languages and models, especially on shared memory systems. However, high inter-node communication costs hinder work-stealing from being directly performed on distributed memory systems. AHS addresses this issue with the following techniques: (1) initial partitioning, which reduces the inter-node task migrations; (2) hierarchical scheduling scheme, which performs work-stealing inside a node before going across the node boundary and adopts work-sharing to overlap computation and communication at the inter-node level; and (3) hierarchical and centralized control for inter-node task migration, which improves the efficiency of victim selection and termination detection.We evaluated AHS and existing work-stealing schemes on a 16-nodes multi-core cluster. Experimental results show that AHS outperforms existing schemes by 11–21.4%, for the benchmarks studied in this paper.     

Advanced decision control system for effluent violations removal in wastewater treatment plants

This paper presents the application of control strategies for wastewater treatment plants with the goal of effluent limits violations removal as well as achieving a simultaneous improvement of effluent quality and reduction of operational costs. The evaluation is carried out with the Benchmark Simulation Model No. 2. The automatic selection of the suitable control strategy is based on risk detection of effluent violations by Artificial Neural Networks. Fuzzy Controllers are implemented to improve the denitrification or nitrification process based on the proposed objectives. Model Predictive Control is applied for the improvement of dissolved oxygen tracking.