Computational concepts and techniques have always played a major role in control engineering since the first computer-based control systems were put into operation over twenty years ago. This role has in fact been accelerating over the intervening years as the sophistication of the computing methods and tools available, as well as the complexity of the control problems they have been used to solve, have also increased. In particular, the introduction of the microprocessor and its use as a low-cost computing element in a distributed computer control system has had a profound effect on the way in which the design and implementation of a control system is carried out and, to some extent, on the theory which underlies the basic design strategies. The development of interactive computing has encouraged a substantial growth in the use of computer aided design methods and robust and efficient numerical algorithms have been produced to support these methods. Major advances have also taken place in the languages used for control system implementation, notably the recent introduction of Ada'", a language whose design is based on some very fundamental computer science concepts derived and developed over the past decade. With the extremely high rate of change in the field of computer science, the more recent developments have outpaced their incorporation into new control system design and implementation techniques.

This book presents model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance. Case studies demonstrate the methods presented. The second edition includes new material on reconfigurable control, diagnosis of nonlinear systems, and remote diagnosis, plus new examples and updated bibliography.

Proceedings of the NATO Advanced Study Institute on Parallel Computing on Distributed Memory Multiprocessors, held at Bilkent University, Ankara, Turkey, July 1-13, 1991

This book is based on the workshop that kickstarted the NATO Science Committee Special Programme on Advanced Educational Technology. We invited the leaders in the field to attend this inaugural meeting and were delighted by the quality of the attendance, the papers delivered at the workshop and this book. Many of the authors have subsequently run other meetings funded by the Special Programme and have, or are in the process of, editing books which focus on particular topics. This book covers all the major themes in the area ranging from fundamental theoretical work to empirical studies of state of the art technological innovations. Tim O'Shea chaired the NATO Survey Group which planned the Programme and the subsequent Panel which disbursed funds in the first two years of the Programme. He would like to thank the other group and panel members, namely, Professor N Balacheff, Professor D Bjomer, Professor H Bouma, Professor P C Duchastel, Professor A Dias de Figueiredo, Dr D Jonassen and Professor T Liao. He would like to offer his special thanks to Dr L V da Cunha the NATO Programme Director for his unfailing support and patience. Eileen Scanlon was the Director of the Workshop which is the basis of this book. She offers heartfelt thanks to the contributors and to the following who provided practical help with the meeting or the production of this book: Mrs Pauline Adams, Dr Mike Baker, Mrs Kathy Evans, Mrs Patricia Roe, Mr Dave Perry and Ms Fiona Spensley.

The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.

Computers are playing a fundamental role in enhancing exploratory learning techniques in education. This volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer systems for exploratory learning. Contributed chapters treat principles, theory, practice, and examples of some of the best contemporary computer-based learning environments: Logo, Boxer, Microworlds, Cabri-Géomètre, Star Logo, Table Top, Geomland, spreadsheets, Function Machines, and others. Emphasis is on mathematics and science education. Synthetic chapters provide an overview of the current scene in computers and exploratory learning, and analyses from the perspectives of epistemology, learning, and socio-cultural studies.