Time-Varying Lyapunov Control Laws with Enhanced Estimation of Distribution Algorithm for Low-Thrust Trajectory Design

Enhancements in evolutionary optimization techniques are rapidly growing in many aspects of engineering, specifically in astrodynamics and space trajectory optimization and design. In this chapter, the problem of optimal design of space trajectories is tackled via an enhanced optimization algorithm within the framework of Estimation of Distribution Algorithms (EDAs), incorporated with Lyapunov and Q-law feedback control methods. First, both a simple Lyapunov function and a Q-law are formulated in Classical Orbital Elements (COEs) to provide a closed-loop low-thrust trajectory profile. The weighting coefficients of these controllers are approximated with various degrees of Hermite interpolation splines. Following this model, the unknown time series of weighting coefficients are converted to unknown interpolation points. Considering the interpolation points as the decision variables, a black-box optimization problem is formed with transfer time and fuel mass as the objective functions. An enhanced EDA is proposed and utilized to find the optimal variation of weighting coefficients for minimum-time and minimum-fuel transfer trajectories. The proposed approach is applied in some trajectory optimization problems of Earth-orbiting satellites. Results show the efficiency and the effectiveness of the proposed approach in finding optimal transfer trajectories. A comparison between the Q-law and simple Lyapunov controller is done to show the potential of the potential of the EEDA in enabling the simple Lyapunov controller to recover the finer nuances explicitly given within the analytical expressions in the Q-law

Composition and Self-Adaptation of Service-Based Systems with Feature Models

The adoption of mechanisms for reusing software in pervasive systems has not yet become standard practice. This is because the use of pre-existing software requires the selection, composition and adaptation of prefabricated software parts, as well as the management of some complex problems such as guaranteeing high levels of efficiency and safety in critical domains. In addition to the wide variety of services, pervasive systems are composed of many networked heterogeneous devices with embedded software. In this work, we promote the safe reuse of services in service-based systems using two complementary technologies, Service-Oriented Architecture and Software Product Lines. In order to do this, we extend both the service discovery and composition processes defined in the DAMASCo framework, which currently does not deal with the service variability that constitutes pervasive systems. We use feature models to represent the variability and to self-adapt the services during the composition in a safe way taking context changes into consideration. We illustrate our proposal with a case study related to the driving domain of an Intelligent Transportation System, handling the context information of the environment.Work partially supported by the projects TIN2008-05932, TIN2008-01942, TIN2012-35669, TIN2012-34840 and CSD2007-0004 funded by Spanish Ministry of Economy and Competitiveness and FEDER; P09-TIC-05231 and P11-TIC-7659 funded by Andalusian Government; and FP7-317731 funded by EU. Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

Performance evaluation of an ORC unit integrated to a waste heat recovery system in a steel mill

Waste heat revalorization creates interesting opportunities to energy intensive industries. In the present project, a large-scale ORC pilot plant along with a waste heat recovery unit (WHRU) in a steel mill has been designed, commissioned and operated. The plant is part of the European Commission funded PITAGORAS project and it has been installed at ORI MARTIN in Brescia (Italy). Waste heat is recovered from the fumes of the Electric Arc Furnace (EAF) to produce saturated steam which is then delivered to a district heating (DH) network during heating season and to the ORC for electricity generation during the rest of the year. The main challenge was the integration of these systems in a single plant since the heat source is highly unstable and steady heat load is preferable for the DH and ORC for their safe operation. A steam accumulator of 150m3 volume was implemented between the WHRU and the ORC/DH systems to maintain a steady discharge pressure, to reduce the fast transients and to extend the supply over longer periods. The ORC has a nominal power output of 1,8MW and the preliminary results of the first weeks of operation of the ORC unit resulted in a net efficiency of 21.7%. Currently the plant is undergoing monitoring campaign which will provide additional data to further evaluate and optimize the system.The research leading to these results has received funding from the European Union Seventh Framework Programme FP7/2007-2013 under grant agreement n° ENER / FP7EN / 314596 / PITAGORAS

From model-driven software development processes to problem diagnoses at runtime

Following the “convention over configuration” paradigm, model-driven software development (MDSD) generates code to implement the “default” behaviour that has been specified by a template separate from the input model. On the one hand, developers can produce end-products without a full understanding of the templates; on the other hand, the tacit knowledge in the templates is subtle to diagnose when a runtime software failure occurs. Therefore, there is a gap between templates and runtime adapted models. Generalising from the concrete problematic examples in MDSD processes to a model-based problem diagnosis, the chapter presents a procedure to separate the automated fixes from those runtime gaps that require human judgments

Emerging research themes in services-oriented systems

n/

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

International audienceSoftware validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout their lifecycle. While high levels of adaptation and autonomy provide new ways for software systems to operate in highly dynamic environments, developing certifiable V&V methods for guaranteeing the achievement of self-adaptive software goals is one of the major challenges facing the entire research field. In this chapter we (i) analyze fundamental challenges and concerns for the development of V&V methods and techniques that provide certifiable trust in self-adaptive and self-managing systems; and (ii) present a proposal for including V&V operations explicitly in feedback loops for ensuring the achievement of software self-adaptation goals. Both of these contributions provide valuable starting points for V&V researchers to help advance this field

Phobos Environment Model and Regolith Simulant for MMX Mission

Phobos and Deimos, the two moons of Mars, are considered to be scientifically important and potential human mission's target. Martian Moons eXplorer (MMX) is the JAXA's mission to explore Phobos (and/or Deimos), which is scheduled to be launched in 2024. The main spacecraft of MMX will perform in-situ observations of both Phobos and Deimos, land on one of them (most likely, Phobos), and bring samples back to Earth. Small landing modules may be included in the mission as for the Hayabusa-2 mission. The designs of both the landing and sampling devices depend largely on the surface conditions of the target body and on how this surface reacts to an external action in the low gravity conditions of the target. Thus, the Landing Operation Working Team (LOWT) of MMX, which is composed of both scientists and engineers, is studying Phobos' surface based on previous observations and theoretical/experimental considerations. Though engineering motivation initiated this activity, the results will be extremely useful for scientific purposes

Enhanced Graph Rewriting Systems for Complex Software Domain

International audienceMethodologies for correct by construction reconfigurations can efficiently solve consistency issues in dynamic software architecture. Graph-based models are appropriate for designing such architectures and methods. At the same time, they may be unfit to characterize a system from a non functional perspective. This stems from efficiency and applicability limitations in handling time-varying characteristics and their related dependencies. In order to lift these restrictions, an extension to graph rewriting systems is proposed herein. The suitability of this approach, as well as the restraints of currently available ones, are illustrated, analysed and experimentally evaluated with reference to a concrete example. This investigation demonstrates that the conceived solution can: (i) express any kind of algebraic dependencies between evolving requirements and properties; (ii) significantly ameliorate the efficiency and scalability of system modifications with respect to classic methodologies; (iii) provide an efficient access to attribute values; (iv) be fruitfully exploited in software management systems; (v) guarantee theoretical properties of a grammar, like its termination