Following the successful 1st CEAS (Council of European Aerospace Societies) Specialist Conference on Guidance, Navigation and Control (CEAS EuroGNC) held in Munich, Germany in 2011, Delft University of Technology happily accepted the invitation of organizing the 2nd CEAS EuroGNC in Delft, The Netherlands in 2013. The goal of the conference is to promote new advances in aerospace GNC theory and technologies for enhancing safety, survivability, efficiency, performance, autonomy and intelligence of aerospace systems using on-board sensing, computing and systems. A great push for new developments in GNC are the ever higher safety and sustainability requirements in aviation. Impressive progress was made in new research fields such as sensor and actuator fault detection and diagnosis, reconfigurable and fault tolerant flight control, online safe flight envelop prediction and protection, online global aerodynamic model identification, online global optimization and flight upset recovery. All of these challenges depend on new online solutions from on-board computing systems. Scientists and engineers in GNC have been developing model based, sensor based as well as knowledge based approaches aiming for highly robust, adaptive, nonlinear, intelligent and autonomous GNC systems. Although the papers presented at the conference and selected in this book could not possibly cover all of the present challenges in the GNC field, many of them have indeed been addressed and a wealth of new ideas, solutions and results were proposed and presented.

For the 2nd CEAS Specialist Conference on Guidance, Navigation and Control the International Program Committee conducted a formal review process. Each paper was reviewed in compliance with good journal practice by at least two independent and anonymous reviewers. The papers published in this book were selected from the conference proceedingsbased on the results and recommendations from the reviewers.

This IMA Volume in Mathematics and its Applications ESSAYS ON MATHEMATICAL ROBOTICS is based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on "Control Theory." The workshop featured a mathematicalintroductionto kinematics and fine motion planning; dynam- ics and control of kinematically redundant robot arms including snake-like robots, multi-fingered robotic hands; methods of non-holonomic motion planning for space robots, multifingered robot hands and mobile robots; new techniques in analytical mechanics for writing the dynamics of com- plicated multi-body systems subject to constraints on angular momentum or other non-holonomic constraints. In addition to papers representing proceedings of the Workshop, this volume contains several longer papers surveying developments of the intervening years. We thank John Baillieul, Shankar S. Sastry, and Hector J. Sussmann for organizing the workshop and editing the proceedings. We also take this opportunity to thank the National Science Foundation and the Army Research Office, whose financial support made the workshop possible. Avner Friedman Willard Miller, Jr.

Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability. The book presents effective 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, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata. The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control. The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperation with European research projects. The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.

This book presents selected proceedings from the 22nd biennial IFIP conference on System Modeling and Optimization, held in Turin, Italy in July of 2005. This edition of the conference is dedicated to the achievements of Camillo Possio, who was killed sixty years ago during the last air raid over Turin.

System Modeling and Optimization covers optimization, oiptimization with PDE constraints, structural systems optimization, algorithms for linear and nonlinear programming, stochastic optimization, control and game theory, combinatorial and discrete optimization, identification and inverse problems, fault detection, shape identification, complex systems, stability and sensitivity analysis, neural networks, fractal and chaos, reliability, computational techniques in distributed systems and in information processing environments, transmission of information in complex systems, and database design.

This book covers various topics regarding the design of compliant mechanisms using topology optimization that have attracted a great deal of attention in recent decades. After comprehensively describing state-of-the-art methods for designing compliant mechanisms, it provides a new topology optimization method for finding new flexure hinges. It then presents several attempts to obtain distributed compliant mechanisms using the topology optimization method. Further, it discusses a Jacobian-based topology optimization method for compliant parallel mechanisms, and introduces readers to the topology optimization of compliant mechanisms, taking into account geometrical nonlinearity and reliability. Providing a systematic method for topology optimization of flexure hinges, which are essential for designing compliant mechanisms, the book offers a valuable resource for all readers who are interested in designing compliant mechanism-based positioning stages. In addition, the methods for solving the de facto hinges in topology optimized compliant mechanisms will benefit all engineers seeking to design micro-electro-mechanical system (MEMS) structures.

In the last decade, signi?cant changes have occurred in the ?eld of vehicle motion planning, and for UAVs in particular. UAV motion planning is especially dif?cult due to several complexities not considered by earlier planning strategies: the - creased importance of differential constraints, atmospheric turbulence which makes it impossible to follow a pre-computed plan precisely, uncertainty in the vehicle state, and limited knowledge about the environment due to limited sensor capabilities. These differences have motivated the increased use of feedback and other control engineering techniques for motion planning. The lack of exact algorithms for these problems and dif?culty inherent in characterizing approximation algorithms makes it impractical to determine algorithm time complexity, completeness, and even soundness. This gap has not yet been addressed by statistical characterization of experimental performance of algorithms and benchmarking. Because of this overall lack of knowledge, it is dif?cult to design a guidance system, let alone choose the algorithm. Throughout this paper we keep in mind some of the general characteristics and requirements pertaining to UAVs. A UAV is typically modeled as having velocity and acceleration constraints (and potentially the higher-order differential constraints associated with the equations of motion), and the objective is to guide the vehicle towards a goal through an obstacle ?eld. A UAV guidance problem is typically characterized by a three-dimensional problem space, limited information about the environment, on-board sensors with limited range, speed and acceleration constraints, and uncertainty in vehicle state and sensor data.

This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the diagnosis problem, the book copes with a variety of reasoning mechanisms that generate the diagnosis, possibly within a monitoring setting. The book is structured into twelve chapters, each of which has its own introduction and concludes with bibliographic notes and itemized summaries. Concepts and techniques are presented with the help of numerous examples, figures, and tables, and when appropriate these concepts are formalized into propositions and theorems, while detailed algorithms are expressed in pseudocode. This work is primarily intended for researchers, professionals, and graduate students in the fields of artificial intelligence and control theory.

Safety in industrial process and production plants is a concern of rising importance, especially if people would be endangered by a catastrophic system failure. On the other hand, because the control devices which are now exploited to improve the overall performance of industrial processes include both sophisticated digital system design techniques and complex hardware (input-output sensors, actuators, components and processing units), there is an increased probability of failure. As a direct consequence of this, control systems must include automatic supervision of closed-loop operation to detect and isolate malfunctions as early as possible. One of the most promising methods for solving this problem is the "analytical redundancy" approach, in which residual signals are obtained. The basic idea consists of using an accurate model of the system to mimic the real process behaviour. If a fault occurs, the residual signal, i.e., the difference between real system and model behaviours, can be used to diagnose and isolate the malfunction. This book focuses on model identification oriented to the analytical approach of fault diagnosis and identification. The problem is treated in all its aspects covering: choice of model structure; parameter identification; residual generation; fault diagnosis and isolation. Sample case studies are used to demonstrate the application of these techniques. Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques will be of interest to researchers in control and fault identification. Industrial control engineers interested in applying the latest methods in fault diagnosis will benefit from the practical examples and case studies.

The new technological advances opened widely the application field of robots. Robots are moving from the classical application scenario with structured industrial environments and tedious repetitive tasks to new application environments that require more interaction with the humans. It is in this context that the concept of Wearable Robots (WRs) has emerged. One of the most exciting and challenging aspects in the design of biomechatronics wearable robots is that the human takes a place in the design, this fact imposes several restrictions and requirements in the design of this sort of devices. The key distinctive aspect in wearable robots is their intrinsic dual cognitive and physical interaction with humans. The key role of a robot in a physical human robot interaction (pHRI) is the generation of supplementary forces to empower and overcome human physical limits. The crucial role of a cognitive human robot interaction (cHRI) is to make the human aware of the possibilities of the robot while allowing them to maintain control of the robot at all times. This book gives a general overview of the robotics exoskeletons and introduces the reader to this robotic field. Moreover, it describes the development of an upper limb exoskeleton for tremor suppression in order to illustrate the influence of a specific application in the designs decisions."

This book presents an authoritative collection of contributions by researchers from 16 different countries (Austria, Chile, Georgia, Germany, Mexico, Norway, P.R. of China, Poland, North Macedonia, Romania, Russia, Spain, Turkey, Ukraine, the United Kingdom and United States) that report on recent developments and new directions in advanced control systems, together with new theoretical findings, industrial applications and case studies on complex engineering systems. This book is dedicated to Professor Vsevolod Mykhailovych Kuntsevich, an Academician of the National Academy of Sciences of Ukraine, and President of the National Committee of the Ukrainian Association on Automatic Control, in recognition of his pioneering works, his great scientific and scholarly achievements, and his years of service to many scientific and professional communities, notably those involved in automation, cybernetics, control, management and, more specifically, the fundamentals and applications of tools and techniques for dealing with uncertain information, robustness, non-linearity, extremal systems, discrete control systems, adaptive control systems and others. Covering essential theories, methods and new challenges in control systems design, the book is not only a timely reference guide but also a source of new ideas and inspirations for graduate students and researchers alike. Its 15 chapters are grouped into four sections: (a) fundamental theoretical issues in complex engineering systems, (b) artificial intelligence and soft computing for control and decision-making systems, (c) advanced control techniques for industrial and collaborative automation, and (d) modern applications for management and information processing in complex systems. All chapters are intended to provide an easy-to-follow introduction to the topics addressed, including the most relevant references. At the same time, they reflect various aspects of the latest research work being conducted around the world and, therefore, provide information on the state of the art.

This book provides readers with extensive information on path planning optimization for both single and multiple Autonomous Guided Vehicles (AGVs), and discusses practical issues involved in advanced industrial applications of AGVs. After discussing previously published research in the field and highlighting the current gaps, it introduces new models developed by the authors with the goal of reducing costs and increasing productivity and effectiveness in the manufacturing industry. The new models address the increasing complexity of manufacturing networks, due for example to the adoption of flexible manufacturing systems that involve automated material handling systems, robots, numerically controlled machine tools, and automated inspection stations, while also considering the uncertainty and stochastic nature of automated equipment such as AGVs. The book discusses and provides solutions to important issues concerning the use of AGVs in the manufacturing industry, including material flow optimization with AGVs, programming manufacturing systems equipped with AGVs, reliability models, the reliability of AGVs, routing under uncertainty, and risks involved in AGV-based transportation. The clear style and straightforward descriptions of problems and their solutions make the book an excellent resource for graduate students. Moreover, thanks to its practice-oriented approach, the novelty of the findings and the contemporary topic it reports on, the book offers new stimulus for researchers and practitioners in the broad field of production engineering.

Legged robots are a promising locomotion system, capable of performing tasks that conventional vehicles cannot. Even more exciting is the fact that this is a rapidly developing field of study for researchers from a variety of disciplines. However, only a few books have been published on the subject of multi-legged robots. The main objective of this book is to describe some of the major control issues concerning walking robots that the authors have faced over the past 10 years. A second objective is to focus especially on very large hydraulically driven hexapod robot locomotion weighing more than 2,000 kg, making this the first specialized book on this topic. The 10 chapters of the book touch on diverse relevant topics such as design aspects, implementation issues, modeling for control, navigation and control, force and impedance control-based walking, fully autonomous walking, walking and working tasks of hexapod robots, and the future of walking robots. The construction machines of the future will very likely resemble hydraulically driven hexapod robots like the ones described in this book - no longer science fiction but now a reality.

This compact and original reference and textbook presents the most important classical and modern essentials of control engineering in a single volume. It constitutes a harmonic mixture of control theory and applications, which makes the book especially useful for students, practicing engineers and researchers interested in modeling and control of processes. Well written and easily understandable, it includes a range of methods for the analysis and design of control systems.

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.

Industrial use of the brushless servomotor, for instance in robotics, is increasing rapidly, because of their low maintenance needs and capabilities at high transient speeds. They offer flexibility and high performance, and advances in power electronics and microelectronics means they are now more affordable.
This handbook gives the user of brushless servomotors a comprehensive guide to their use, including a description of all main features of the brushless motor drive system. Throughout mathematics is kept to a minimum and practical guidance is given based on real-life experience.
Peter Moreton is a Research Fellow at the University of Bristol, having spent time in industry and universities worldwide.
Written by a respected expert in the field - Peter Moreton has both high level academic and industrial experienceIndispensible guide to a rapidly growing new area of technologyConcise and accessible with a minimum of maths

The problem of controlling the output of a system so as to achieve asymptotic tracking of prescribed trajectories and/or asymptotic re jection of undesired disturbances is a central problem in control the ory. A classical setup in which the problem was posed and success fully addressed - in the context of linear, time-invariant and finite dimensional systems - is the one in which the exogenous inputs, namely commands and disturbances, may range over the set of all possible trajectories ofa given autonomous linear system, commonly known as the exogeneous system or, more the exosystem. The case when the exogeneous system is a harmonic oscillator is, of course, classical. Even in this special case, the difference between state and error measurement feedback in the problem ofoutput reg ulation is profound. To know the initial condition of the exosystem is to know the amplitude and phase of the corresponding sinusoid. On the other hand, to solve the output regulation problem in this case with only error measurement feedback is to track, or attenu ate, a sinusoid ofknown frequency but with unknown amplitude and phase. This is in sharp contrast with alternative approaches, such as exact output tracking, where in lieu of the assumption that a signal is within a class of signals generated by an exogenous system, one instead assumes complete knowledge of the past, present and future time history of the trajectory to be tracked."

It is man's ongoing hope that a machine could somehow adapt to its environment by reorganizing itself. This is what the notion of self-organizing robots is based on. The theme of this book is to examine the feasibility of creating such robots within the limitations of current mechanical engineering. The topics comprise the following aspects of such a pursuit: the philosophy of design of self-organizing mechanical systems; self-organization in biological systems; the history of self-organizing mechanical systems; a case study of a self-assembling/self-repairing system as an autonomous distributed system; a self-organizing robot that can create its own shape and robotic motion; implementation and instrumentation of self-organizing robots; and the future of self-organizing robots. All topics are illustrated with many up-to-date examples, including those from the authors' own work. The book does not require advanced knowledge of mathematics to be understood, and will be of great benefit to students in the robotics discipline, including in the areas of mechanics, control, electronics, and computer science. It is also an important source for researchers who wish to investigate the field of robotics or who have an interest in the application of self-organizing phenomena.

Man is the best thing in the World. Nature does nothing uselessly. Aristotle There is a pleasure in the pathless woods, There is rapture on the lonely shore, There is society, where none intrudes, By the deep sea, and music in its roar: I love not Man the less, but Nature more. John Burroughs The basic purpose of development is to enlarge people's choices. The objective of development is to create an enabling environment for people to enjoy long, healthy and creative lives. Mahbub ul Hag Founder of the Human Development Report Theaimofthisbookis toprovidea compiledset ofconcepts,principles,methods and issues used for studying, designing and operating human-minding and natu- minding automation and industrial systems. The depth of presentation is suf?cient for the reader to understand the problems involved and the solution approaches, and appreciate the need of human-automation cooperative interaction, and the - portance of the efforts required for environment and ecosystem protection during any technological and development process in the society. Humans and technology are living and have to live together in a sustainable society and nature. Humans must not be viewed as components of automation and technology in the same way as machines. Automation and technology must incorporate the humans' needs and preferences, and radiate "beauty" in all ways, namely functionally, technically and humanistically. In overall, automation and technology should create comfort and give pleasure.

This symposium was the seventh in a very successful series in this field. Since the beginning of the series, there have been a number of very positive developments in the topical area of 'Intelligent Control'. In particular, the area referred to as 'situated control' has stimulated the formation of new perspectives towards real-time intelligent systems. The performances of such artificial species as walking cockroaches, maze-negotiating mice, coke-can collecting robots and the like have encouraged the exploration of yet more adaptive control perspectives.
In this symposium, there was a strong wind of change bringing more consideration of the roles of learning, evolution, hybrid systems and so on under many diverse labels and for many different systems and circumstances.

This book gives an account of an ellipsoidal calculus and ellipsoidal techniques developed by the authors. The text ranges from a specially developed theory of exact set-valued solutions to the description of ellipsoidal calculus, related ellipsoidal-based methods and examples worked out with computer graphics.

This book introduces non-identifier-based adaptive control (with and without internal model) and its application to the current, speed and position control of mechatronic systems such as electrical synchronous machines, wind turbine systems, industrial servo systems, and rigid-link, revolute-joint robots. In mechatronics, there is often only rough knowledge of the system. Due to parameter uncertainties, nonlinearities and unknown disturbances, model-based control strategies can reach their performance or stability limits without iterative controller design and performance evaluation, or system identification and parameter estimation. The non-identifier-based adaptive control presented is an alternative that neither identifies the system nor estimates its parameters but ensures stability. The adaptive controllers are easy to implement, compensate for disturbances and are inherently robust to parameter uncertainties and nonlinearities. For controller implementation only structural system knowledge (like relative degree, input-to-state stable zero dynamics and known sign of the high-frequency gain) is required. Moreover, the presented controllers guarantee reference tracking with prescribed asymptotic or transient accuracy, i.e. the tracking error eventually tends to or for all time evolves within an a priori specified region. The book presents the theory, modeling and application in a general but detailed and self-contained manner, making it easy to read and understand, particularly for newcomers to the topics covered

The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through engineering and systems science.
This book cover the fundamentals of this emerging filed, as well as direct applications and case studies. There is a need for practicing engineers, computer scientists, and system scientists to directly apply "fuzzy" engineering into a wide array of devices and systems.

In the increasingly competitive modern world, the industrial sector faces new challenges such as improving productivity and reducing costs while taking into account the process operational constraints.As energy demand increases in many countries, especially in big cities where the environmental concerns are very important and resources to produce energy are limited, the efficiency of operation of power plants becomes of paramount importance.Under this scenario, this book presents new methodologies to improve power plants' efficiency, by using automatic control algorithms. This will lead to an improvement in the generation of companies' profit and also in the quality of their final product.

To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge about certain parts of a process or from the impossibility of characterizing it with absolute certainty. Depending on the application at hand, uncertainties in modeling and measurements can be represented in different ways. For example, bounded uncertainties can be described by intervals, affine forms or general polynomial enclosures such as Taylor models, whereas stochastic uncertainties can be characterized in the form of a distribution described, for example, by the mean value, the standard deviation and higher-order moments.

The goal of this Special Volume on "Modeling, Design, and Simulation of Systems with Uncertainties" is to cover modern methods for dealing with the challenges presented by imprecise or unavailable information. All contributions tackle the topic from the point of view of control, state and parameter estimation, optimization and simulation.

Thematically, this volume can be divided into two parts. In the first we present works highlighting the theoretic background and current research on algorithmic approaches in the field of uncertainty handling, together with their reliable software implementation. The second part is concerned with real-life application scenarios from various areas including but not limited to mechatronics, robotics, and biomedical engineering.

Except from the Foreword
The stated aim of the book series "Capturing Intelligence" is to publish books on research from all disciplines dealing with and affecting the issue of understanding and reproducing intelligence artificial systems. Of course, much of the work done in the past decades in this area has been of a highly technical nature, varying from hardware design for robots, software design for intelligent agents, and formal logic for reasoning.
It is therefore very refreshing to see Information Flow and Knowledge Sharing. This is a courageous book indeed. It is not afraid to tackle the Big Issues: notions such as information, knowledge, information system, information flow, collaborative problem solving, and ontological reasoning. All of these notions are crucial to our understanding of intelligence and our building of intelligent artificial systems, but all too often, these Big Issues are hidden behind the curtains while the technical topics take center stage.
AI has a rich history of philosophical books that have chosen a non-standard structure and narrative. It is nice to see that the authors have succeeded into combining a non-standard approach to deep questions with a non-standard format, resulting in a highly interesting volume.
"Frank van Harmelen, Series Editor"
Excerpt from the Introduction
Our interest is to promote, through a better and deeper understanding of the notions of information and knowledge, a better and deeper critical understanding of information technology as situated in the full range of human activities, assuming as a principle that this range of activities cannot be properly appreciated when it is reduced to the simplifiedmeans-end schema proposed by Technology. We invite the reader to build his/her own points of view about these notions, considering our propositions as a starting point for a critical analysis and discussion of these points. With that, we believe we are contributing to a better understanding of the impact of technology - and particularly of Information Technology - in everyday life.
"Flavio Soares Correa da Silva, Jaume Agusti-Cullell"
*Bridges the gap between the technological and philosophical aspects of information technology
*Gives both professionals and academics a philosophical foundation of IT so they can better understand their own discliplines
*Sheds light on a part of IT which is often overshadowed by its technical counterparts