Multi-objective evolutionary–fuzzy augmented flight control for an F16 aircraft

In this article, the multi-objective design of a fuzzy logic augmented flight controller for a high performance fighter jet (the Lockheed-Martin F16) is described. A fuzzy logic controller is designed and its membership functions tuned by genetic algorithms in order to design a roll, pitch, and yaw flight controller with enhanced manoeuverability which still retains safety critical operation when combined with a standard inner-loop stabilizing controller. The controller is assessed in terms of pilot effort and thus reduction of pilot fatigue. The controller is incorporated into a six degree of freedom motion base real-time flight simulator, and flight tested by a qualified pilot instructor

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

Training of Crisis Mappers and Map Production from Multi-sensor Data: Vernazza Case Study (Cinque Terre National Park, Italy)

This aim of paper is to presents the development of a multidisciplinary project carried out by the cooperation between Politecnico di Torino and ITHACA (Information Technology for Humanitarian Assistance, Cooperation and Action). The goal of the project was the training in geospatial data acquiring and processing for students attending Architecture and Engineering Courses, in order to start up a team of "volunteer mappers". Indeed, the project is aimed to document the environmental and built heritage subject to disaster; the purpose is to improve the capabilities of the actors involved in the activities connected in geospatial data collection, integration and sharing. The proposed area for testing the training activities is the Cinque Terre National Park, registered in the World Heritage List since 1997. The area was affected by flood on the 25th of October 2011. According to other international experiences, the group is expected to be active after emergencies in order to upgrade maps, using data acquired by typical geomatic methods and techniques such as terrestrial and aerial Lidar, close-range and aerial photogrammetry, topographic and GNSS instruments etc.; or by non conventional systems and instruments such us UAV, mobile mapping etc. The ultimate goal is to implement a WebGIS platform to share all the data collected with local authorities and the Civil Protectio

An approach for uncertainty aggregation using generalised conjunction/disjunction aggregators

Decision Support Systems are often used in the area of system evaluation. The quality of the output of such a system is only as good as the quality of the data that is used as input. Uncertainty on data, if not taken into account, can lead to evaluation results that are not representative. In this paper, we propose a technique to extend Generalised Con- junction/Disjunction aggregators to deal with un- certainty in Decision Support Systems. We first de- fine the logic properties of uncertainty aggregation through reasoning on strict aggregators and after- wards extend this logic to partial aggregators