Automating control system design via a multiobjective evolutionary algorithm

This chapter presents a performance-prioritized computer aided control system design (CACSD) methodology using a multi-objective evolutionary algorithm. The evolutionary CACSD approach unifies different control laws in both the time and frequency domains based upon performance satisfactions, without the need of aggregating different design criteria into a compromise function. It is shown that control engineers' expertise as well as settings on goal or priority for different preference on each performance requirement can be easily included and modified on-line according to the evolving trade-offs, which makes the controller design interactive, transparent and simple for real-time implementation. Advantages of the evolutionary CACSD methodology are illustrated upon a non-minimal phase plant control system, which offer a set of low-order Pareto optimal controllers satisfying all the conflicting performance requirements in the face of system constraints

Introduction to TIPS: a theory for creative design

A highly intriguing problem in combining artificial intelligence and engineering design is automation of the creative and innovative phases of the design process. This paper gives a brief introduction to the theory of inventive problem solving (TIPS) selected as a theoretical basis of the authors' research efforts in this field. The research is conducted in the Stevin Project of the Knowledge-Based System Group of the University of Twente (Enschede, The Netherlands) in cooperation with the Invention Machine Laboratory (Minsk, Belarus). This collaboration aims at developing a formal basis for the creation of an automated reasoning system to support creative engineering design

Limits on Fundamental Limits to Computation

An indispensable part of our lives, computing has also become essential to industries and governments. Steady improvements in computer hardware have been supported by periodic doubling of transistor densities in integrated circuits over the last fifty years. Such Moore scaling now requires increasingly heroic efforts, stimulating research in alternative hardware and stirring controversy. To help evaluate emerging technologies and enrich our understanding of integrated-circuit scaling, we review fundamental limits to computation: in manufacturing, energy, physical space, design and verification effort, and algorithms. To outline what is achievable in principle and in practice, we recall how some limits were circumvented, compare loose and tight limits. We also point out that engineering difficulties encountered by emerging technologies may indicate yet-unknown limits.Comment: 15 pages, 4 figures, 1 tabl

Introduction of CAA into a mathematics course for technology students to address a change in curriculum requirements

The mathematical requirements for engineering, science and technology students has been debated for many years and concern has been expressed about the mathematical preparedness of students entering higher education. This paper considers a mathematics course that has been specifically designed to address some of these issues for technology education students. It briefly chronicles the changes that have taken place over its lifetime and evaluates the introduction of Computer Assisted Assessment (CAA) into a course already being delivered using Computer Aided Learning (CAL). Benefits of CAA can be categorised into four main areas. 1. Educational – achieved by setting short, topic related, assessments, each of which has to be passed, thereby increasing curriculum coverage. 2. Students – by allowing them to complete assessments at their own pace removing the stress of the final examination. 3. Financial – increased income to the institution, by broadening access to the course. Improved retention rate due to self-paced learning. 4. Time – staff no longer required to set and mark exams. Most students preferred this method of assessment to traditional exams, because it increased confidence and reduced stress levels. Self-paced working, however, resulted in a minority of students not completing the tests by the deadline

AI and OR in management of operations: history and trends

The last decade has seen a considerable growth in the use of Artificial Intelligence (AI) for operations management with the aim of finding solutions to problems that are increasing in complexity and scale. This paper begins by setting the context for the survey through a historical perspective of OR and AI. An extensive survey of applications of AI techniques for operations management, covering a total of over 1200 papers published from 1995 to 2004 is then presented. The survey utilizes Elsevier's ScienceDirect database as a source. Hence, the survey may not cover all the relevant journals but includes a sufficiently wide range of publications to make it representative of the research in the field. The papers are categorized into four areas of operations management: (a) design, (b) scheduling, (c) process planning and control and (d) quality, maintenance and fault diagnosis. Each of the four areas is categorized in terms of the AI techniques used: genetic algorithms, case-based reasoning, knowledge-based systems, fuzzy logic and hybrid techniques. The trends over the last decade are identified, discussed with respect to expected trends and directions for future work suggested

Case Based Reasoning and TRIZ : a coupling for Innovative conception in Chemical Engineering

With the evolutions of the surrounding world market, researchers and engineers have to propose technical innovations. Nevertheless, Chemical Engineering community demonstrates a small interest for innovation compared to other engineering fields. In this paper, an approach to accelerate inventive preliminary design for Chemical Engineering is presented. This approach uses Case Based Reasoning (CBR) method to model, to capture, to store and to make available the knowledge deployed during design. CBR is a very interesting method coming from Artificial Intelligence, for routine design. Indeed, in CBR the main assumption is that a new problem of design can be solved with the help of past successful ones. Consequently, the problem solving process is based on past successful solutions therefore the design is accelerated but creativity is limited and not stimulated. Our approach is an extension of the CBR method from routine design to inventive design. One of the main drawbacks of this method is that it is restricted in one particular domain of application. To propose inventive solution, the level of abstraction for problem resolution must be increased. For this reason CBR is coupled with the TRIZ theory (Russian acronym for Theory of solving inventive problem). TRIZ is a problem solving method that increases the ability to solve creative problems thanks to its capacity to give access to the best practices in all the technical domains. The proposed synergy between CBR and TRIZ combines the main advantages of CBR (ability to store and to reuse rapidly knowledge) and those of TRIZ (no trade off during resolution, inventive solutions). Based on this synergy, a tool is developed and a mere example is treated

Design automation with the characteristics properties model and the property driven design for redesign

This paper presents a framework consisting of a mathematical model and an algorithm for representation, analysis and exploration of the design space in redesign problems. The framework develops and extends the existing formalism of the Characteristics Properties Model (CPM) and Property Driven Design (PDD). A platform independent quantitative model based on formal log-ic is presented to map the characteristics and properties, as well as the relations and dependencies between them, along with solution conditions. The model is based on generalization of existing mathematical design models and is support-ed by the development of an algorithm enabling property driven design. The re-sulting framework offers a rich and flexible syntax and vocabulary along with a mathematical and computational tool applicable to mechanical product design

A rewriting grammar for heat exchanger network structure evolution with stream splitting

The design of cost optimal heat exchanger networks is a difficult optimisation problem due both to the nonlinear models required and also the combinatorial size of the search space. When stream splitting is considered, the combinatorial aspects make the problem even harder. This paper describes the implementation of a two level evolutionary algorithm based on a string rewriting grammar for the evolution of the heat exchanger network structure. A biological analogue of genotypes and phenotypes is used to describe structures and specific solutions respectively. The top level algorithm evolves structures while the lower level optimises specific structures. The result is a hybrid optimisation procedure which can identify the best structures including stream splitting. Case studies from the literature are presented to demonstrate the capabilities of the novel procedure

A CSP-Based Trajectory for Designing Formally Verified Embedded Control Software

This paper presents in a nutshell a procedure for producing formally verified concurrent software. The design paradigm provides means for translating block-diagrammed models of systems from various problem domains in a graphical notation for process-oriented architectures. Briefly presented CASE tool allows code generation both for formal analysis of the models of software and code generation in a target implementation language. For formal analysis a highquality commercial formal checker is used