A synthesis of logic and bio-inspired techniques in the design of dependable systems

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, from the early stages of, and throughout, the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their combined potential benefits. The paper begins by identifying current challenges in model-based safety assessment and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability requirements, through dependability analysis, to multi-objective optimisation of system architectures and maintenance schedules

Model predictive control for microgrid functionalities: review and future challenges

ABSTRACT: Renewable generation and energy storage systems are technologies which evoke the future energy paradigm. While these technologies have reached their technological maturity, the way they are integrated and operated in the future smart grids still presents several challenges. Microgrids appear as a key technology to pave the path towards the integration and optimized operation in smart grids. However, the optimization of microgrids considered as a set of subsystems introduces a high degree of complexity in the associated control problem. Model Predictive Control (MPC) is a control methodology which has been satisfactorily applied to solve complex control problems in the industry and also currently it is widely researched and adopted in the research community. This paper reviews the application of MPC to microgrids from the point of view of their main functionalities, describing the design methodology and the main current advances. Finally, challenges and future perspectives of MPC and its applications in microgrids are described and summarized.info:eu-repo/semantics/publishedVersio

Unmanned Aerial Systems for Wildland and Forest Fires

Wildfires represent an important natural risk causing economic losses, human death and important environmental damage. In recent years, we witness an increase in fire intensity and frequency. Research has been conducted towards the development of dedicated solutions for wildland and forest fire assistance and fighting. Systems were proposed for the remote detection and tracking of fires. These systems have shown improvements in the area of efficient data collection and fire characterization within small scale environments. However, wildfires cover large areas making some of the proposed ground-based systems unsuitable for optimal coverage. To tackle this limitation, Unmanned Aerial Systems (UAS) were proposed. UAS have proven to be useful due to their maneuverability, allowing for the implementation of remote sensing, allocation strategies and task planning. They can provide a low-cost alternative for the prevention, detection and real-time support of firefighting. In this paper we review previous work related to the use of UAS in wildfires. Onboard sensor instruments, fire perception algorithms and coordination strategies are considered. In addition, we present some of the recent frameworks proposing the use of both aerial vehicles and Unmanned Ground Vehicles (UV) for a more efficient wildland firefighting strategy at a larger scale.Comment: A recent published version of this paper is available at: https://doi.org/10.3390/drones501001

Fractional Order Fault Tolerant Control - A Survey

In this paper, a comprehensive review of recent advances and trends regarding Fractional Order Fault Tolerant Control (FOFTC) design is presented. This novel robust control approach has been emerging in the last decade and is still gathering great research efforts mainly because of its promising results and outcomes. The purpose of this study is to provide a useful overview for researchers interested in developing this interesting solution for plants that are subject to faults and disturbances with an obligation for a maintained performance level. Throughout the paper, the various works related to FOFTC in literature are categorized first by considering their research objective between fault detection with diagnosis and fault tolerance with accommodation, and second by considering the nature of the studied plants depending on whether they are modelized by integer order or fractional order models. One of the main drawbacks of these approaches lies in the increase in complexity associated with introducing the fractional operators, their approximation and especially during the stability analysis. A discussion on the main disadvantages and challenges that face this novel fractional order robust control research field is given in conjunction with motivations for its future development. This study provides a simulation example for the application of a FOFTC against actuator faults in a Boeing 747 civil transport aircraft is provided to illustrate the efficiency of such robust control strategies

Mathematical problems for complex networks

Copyright @ 2012 Zidong Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This article is made available through the Brunel Open Access Publishing Fund.Complex networks do exist in our lives. The brain is a neural network. The global economy is a network of national economies. Computer viruses routinely spread through the Internet. Food-webs, ecosystems, and metabolic pathways can be represented by networks. Energy is distributed through transportation networks in living organisms, man-made infrastructures, and other physical systems. Dynamic behaviors of complex networks, such as stability, periodic oscillation, bifurcation, or even chaos, are ubiquitous in the real world and often reconfigurable. Networks have been studied in the context of dynamical systems in a range of disciplines. However, until recently there has been relatively little work that treats dynamics as a function of network structure, where the states of both the nodes and the edges can change, and the topology of the network itself often evolves in time. Some major problems have not been fully investigated, such as the behavior of stability, synchronization and chaos control for complex networks, as well as their applications in, for example, communication and bioinformatics

An interval NLPV parity equations approach for fault detection and isolation of a wind farm

In this paper, the problem of fault diagnosis of a wind farm is addressed using interval nonlinear parameter-varying (NLPV) parity equations. Fault detection is based on the use of parity equations assuming unknown but bounded description of the noise and modeling errors. The fault detection test is based on checking the consistency between the measurements and the model, by finding if the formers are inside the interval prediction bounds. The fault isolation algorithm is based on analyzing the observed fault signatures online and matching them with the theoretical ones obtained using structural analysis. Finally, the proposed approach is tested using the wind farm benchmark proposed in the context of the wind farm faultdetection-and-isolation/fault-tolerant-control competition.This work has been funded by the Spanish MINECO through the project CYCYT SHERECS (ref. DPI2011-26243), by the European Commission through contract i-Sense (ref. FP7-ICT-2009-6-270428), by AGAUR through the contracts FI-DGR 2013 (ref. 2013FIB00218) and FI-DGR 2014 (ref. 2014FI B1 00172) and by the DGR of Generalitat de Catalunya (SAC group Ref. 2014/SGR/374).Peer Reviewe