Algorithm Engineering in Robust Optimization

Robust optimization is a young and emerging field of research having received a considerable increase of interest over the last decade. In this paper, we argue that the the algorithm engineering methodology fits very well to the field of robust optimization and yields a rewarding new perspective on both the current state of research and open research directions. To this end we go through the algorithm engineering cycle of design and analysis of concepts, development and implementation of algorithms, and theoretical and experimental evaluation. We show that many ideas of algorithm engineering have already been applied in publications on robust optimization. Most work on robust optimization is devoted to analysis of the concepts and the development of algorithms, some papers deal with the evaluation of a particular concept in case studies, and work on comparison of concepts just starts. What is still a drawback in many papers on robustness is the missing link to include the results of the experiments again in the design

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

Integration of process design and control: A review

There is a large variety of methods in literature for process design and control, which can be classified into two main categories. The methods in the first category have a sequential approach in which, the control system is designed, only after the details of process design are decided. However, when process design is fixed, there is little room left for improving the control performance. Recognizing the interactions between process design and control, the methods in the second category integrate some control aspects into process design. With the aim of providing an exploration map and identifying the potential areas of further contributions, this paper presents a thematic review of the methods for integration of process design and control. The evolution paths of these methods are described and the advantages and disadvantages of each method are explained. The paper concludes with suggestions for future research activities

The design of aircraft using the decision support problem technique

The Decision Support Problem Technique for unified design, manufacturing and maintenance is being developed at the Systems Design Laboratory at the University of Houston. This involves the development of a domain-independent method (and the associated software) that can be used to process domain-dependent information and thereby provide support for human judgment. In a computer assisted environment, this support is provided in the form of optimal solutions to Decision Support Problems

The safety case and the lessons learned for the reliability and maintainability case

This paper examine the safety case and the lessons learned for the reliability and maintainability case

Integrated modeling and analysis methodologies for architecture-level vehicle design.

In order to satisfy customer expectations, a ground vehicle must be designed to meet a broad range of performance requirements. A satisfactory vehicle design process implements a set of requirements reflecting necessary, but perhaps not sufficient conditions for assuring success in a highly competitive market. An optimal architecture-level vehicle design configuration is one of the most important of these requirements. A basic layout that is efficient and flexible permits significant reductions in the time needed to complete the product development cycle, with commensurate reductions in cost. Unfortunately, architecture-level design is the most abstract phase of the design process. The high-level concepts that characterize these designs do not lend themselves to traditional analyses normally used to characterize, assess, and optimize designs later in the development cycle. This research addresses the need for architecture-level design abstractions that can be used to support ground vehicle development. The work begins with a rigorous description of hierarchical function-based abstractions representing not the physical configuration of the elements of a vehicle, but their function within the design space. The hierarchical nature of the abstractions lends itself to object orientation - convenient for software implementation purposes - as well as description of components, assemblies, feature groupings based on non-structural interactions, and eventually, full vehicles. Unlike the traditional early-design abstractions, the completeness of our function-based hierarchical abstractions, including their interactions, allows their use as a starting point for the derivation of analysis models. The scope of the research in this dissertation includes development of meshing algorithms for abstract structural models, a rigid-body analysis engine, and a fatigue analysis module. It is expected that the results obtained in this study will move systematic design and analysis to the earliest phases of the vehicle development process, leading to more highly optimized architectures, and eventually, better ground vehicles. This work shows that architecture level abstractions in many cases are better suited for life cycle support than geometric CAD models. Finally, substituting modeling, simulation, and optimization for intuition and guesswork will do much to mitigate the risk inherent in large projects by minimizing the possibility of incorporating irrevocably compromised architecture elements into a vehicle design that no amount of detail-level reengineering can undo