System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two disciplines. The book collects, for the first time, selected articles from the 21st and most recent IFIP TC 7 conference in Sophia Antipolis, France.

Applied mathematicians and computer scientists can attest to the ever-growing influence of these two subjects. The practical applications of system modeling and optimization can be seen in a number of fields: environmental science, transport and telecommunications, image analysis, free boundary problems, bioscience, and non-cylindrical evolution control, to name just a few.

New developments in each of these fields have contributed to a more complex understanding of both system modeling and optimization. Editors John Cagnol and Jean-Paul Zolesio, chairs of the conference, have assembled System Modeling and Optimization to present the most up-to-date developments to professionals and academics alike.

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings. Applications of the methods presented are emphasized by considering various concurrency assumptions and types of system uncontrollability and unobservability. Also considered is the supervision problem for decentralized settings and hybrid dynamical systems. All proposed methods are fully worked-out, ready to use, and formally proven in a sound setting. design are also given. The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event setting. Graduate students may use the work as a self-study reference, and portions of the text may be used in advanced courses on discrete-event systems.

This book presents applications of Newton-like and other similar methods to solve abstract functional equations involving fractional derivatives. It focuses on Banach space-valued functions of a real domain - studied for the first time in the literature. Various issues related to the modeling and analysis of fractional order systems continue to grow in popularity, and the book provides a deeper and more formal analysis of selected issues that are relevant to many areas - including decision-making, complex processes, systems modeling and control - and deeply embedded in the fields of engineering, computer science, physics, economics, and the social and life sciences. The book offers a valuable resource for researchers and graduate students, and can also be used as a textbook for seminars on the above-mentioned subjects. All chapters are self-contained and can be read independently. Further, each chapter includes an extensive list of references.

A spherical actuator is a novel electric device that can achieve 2/3-DOF rotational motions in a single joint with electric power input. It has advantages such as compact structure, low mass/moment of inertia, fast response and non-singularities within the workspace. It has promising applications in robotics, automobile, manufacturing, medicine and aerospace industry. This is the first monograph that introduces the research on spherical actuators systematically. It broadens the scope of actuators from conventional single-axis to multi-axis, which will help both beginners and researchers to enhance their knowledge on electromagnetic actuators. Generic analytic modeling methods for magnetic field and torque output are developed, which can be applied to the development of other electromagnetic actuators. A parametric design methodology that allows fast analysis and design of spherical actuators for various applications is proposed. A novel non-contact high-precision 3-DOF spherical motion sensing methodology is developed and evaluated with experiments, which shows that it can achieve one order of magnitude higher precision than conventional methods. The technologies of nondimensionalization and normalization are introduced into magnetic field analysis the first time, and a benchmark database is established for the reference of other researches on spherical actuators.

This book presents comprehensive information on the relay auto-tuning method for unstable systems in process control industries, and introduces a new, refined Ziegler-Nichols method for designing controllers for unstable systems. The relay auto-tuning method is intended to assist graduate students in chemical, electrical, electronics and instrumentation engineering who are engaged in advanced process control. The book's main focus is on developing a controller tuning method for scalar and multivariable systems, particularly for unstable processes. It proposes a much simpler technique, avoiding the shortcomings of the popular relay-tuning method. The effects of higher-order harmonics are incorporated, owing to the shape of output waveforms. In turn, the book demonstrates the applicability and effectiveness of the Ziegler-Nichols method through simulations on a number of linear and non-linear unstable systems, confirming that it delivers better performance and robust stability in the presence of uncertainty. The proposed method can also be easily implemented across industries with the help of various auto-tuners available on the market. Offering a professional and modern perspective on profitably and efficiently automating controller tuning, the book will be of interest to graduate students, researchers, and industry professionals alike.

Loosely speaking, adaptive systems are designed to deal with, to adapt to, chang ing environmental conditions whilst maintaining performance objectives. Over the years, the theory of adaptive systems evolved from relatively simple and intuitive concepts to a complex multifaceted theory dealing with stochastic, nonlinear and infinite dimensional systems. This book provides a first introduction to the theory of adaptive systems. The book grew out of a graduate course that the authors taught several times in Australia, Belgium, and The Netherlands for students with an engineering and/or mathemat ics background. When we taught the course for the first time, we felt that there was a need for a textbook that would introduce the reader to the main aspects of adaptation with emphasis on clarity of presentation and precision rather than on comprehensiveness. The present book tries to serve this need. We expect that the reader will have taken a basic course in linear algebra and mul tivariable calculus. Apart from the basic concepts borrowed from these areas of mathematics, the book is intended to be self contained."

Robot manipulation is a great challenge; it encompasses versatility -adaptation to different situations-, autonomy -independent robot operation-, and dependability -for success under modeling or sensing errors. A complete manipulation task involves, first, a suitable grasp or contact configuration, and the subsequent motion required by the task. This monograph presents a unified framework by introducing task-related aspects into the knowledge-based grasp concept, leading to task-oriented grasps. Similarly, grasp-related issues are also considered during the execution of a task, leading to grasp-oriented tasks which is called framework for physical interaction (FPI). The book presents the theoretical framework for the versatile specification of physical interaction tasks, as well as the problem of autonomous planning of these tasks. A further focus is on sensor-based dependable execution combining three different types of sensors: force, vision and tactile. The FPI approach allows to perform a wide range of robot manipulation tasks. All contributions are validated with several experiments using different real robots placed on household environments; for instance, a high-DoF humanoid robot can successfully operate unmodeled mechanisms with widely varying structure in a general way with natural motions. This research was recipient of the European Georges Giralt Award and the Robotdalen Scientific Award Honorary Mention.

The impact of control system design on ship performance has been significant in different applications of ship motion control: course keeping, station keeping, roll stabilisation and vertical motion/riding control, diving, path following, etc. This monograph introduces ship motion control by studying the particular problems of control system design for course autopilots with rudder roll stabilisation and combined ruddera "fin stabilisers. Ship Motion Control revisits the ingredients that make these control designs challenging and proposes a contemporary control system design approach to meet that challenge.

The key ingredients for a successful ship motion control system design are:

• appropriate mathematical models of the ship and the disturbances;
• understanding of how performance will be assessed;
• knowledge of fundamental limitations that may prevent designs from achieving the desired performance.

The book is organised in four parts, the first three dealing with each of these and the fourth part addressing control system design.

Specific topics covered include:

• modelling and simulation of ocean waves;
• ship dynamics;
• models of actuators;
• ship roll stabilisation devices;
• ship motion performance;
• analysis of fundamental limitations for stabiliser control system design;
• constrained control design via optimisation;
• autopilot design using optimal control;
• wave filtering;
• control system design for autopilots with rudder roll stabilisation;
• control system design for integrated rudder-fin stabiliser.

Ship Motion Control willbe of interest not only to the practising marine engineer but to the academic engaged in research into this important control problem, even if new to the area. It will also be an ideal source of reference for students and tutors involved with marine and control engineering courses.

Signal Measurement and Estimation Techniques for Micro and Nanotechnology discusses micro, nano and robotic cells and gives a state-of-the-art presentation of the different techniques and solutions to measure and estimate signals at the micro and nano scale. New technologies and applications such as micromanipulation (artificial components, biological objects), micro-assembly (MEMS, MOEMS, NEMS) and material and surface force characterization are covered. The importance of sensing at the micro and nano scale is presented as a key issue in control systems, as well as for understanding the physical phenomena of these systems. The book also:
Explains issues that make signal measurement and estimation techniques difficult at the micro-nano-scale and offers solutions
Discusses automated micro-assembly, and control of micro-nano roboticdevices
Presents and links signal measurement and estimation techniques for micro-nano scale systems with microfabrication methods, sensors integration and control schemes
Signal Measurement and Estimation Techniques for Micro and Nanotechnology is a must-read for researchers and engineers working in MEMS and control systems."

Can psychoanalysis offer a new computer model? Can computer designers help psychoanalysts to understand their theory better?In contemporary publications human psyche is often related to neural networks. Why? The wiring in computers can also be related to application software. But does this really make sense?

Artificial Intelligence has tried to implement functions of human psyche. The reached achievements are remarkable; however, the goal to get a functional model of the mental apparatus was not reached. Was the selected direction incorrect?The editors are convinced: yes, and they try to give answers here. If one accepts that the brain is an information processing system, then one also has to accept that computer theories can be applied to the brain s functions, the human mental apparatus.

The contributors of this book - Solms, Panksepp, Sloman and many others who are all experts in computer design, psychoanalysis and neurology are united in one goal: finding synergy in their interdisciplinary fields."

This book of proceedings includes papers presenting the state of art in electrical engineering and control theory as well as their applications. The topics focus on classical as well as modern methods for modeling, control, identification and simulation of complex systems with applications in science and engineering. The papers were selected from the hottest topic areas, such as control and systems engineering, renewable energy, faults diagnosis-faults tolerant control, large-scale systems, fractional order systems, unconventional algorithms in control engineering, signals and communications. The control and design of complex systems dynamics, analysis and modeling of its behavior and structure is vitally important in engineering, economics and in science generally science today. Examples of such systems can be seen in the world around us and are a part of our everyday life. Application of modern methods for control, electronics, signal processing and more can be found in our mobile phones, car engines, home devices like washing machines is as well as in such advanced devices as space probes and systems for communicating with them. All these technologies are part of technological backbone of our civilization, making further research and hi-tech applications essential. The rich variety of contributions appeals to a wide audience, including researchers, students and academics.

This monograph by Florian Rohrbein, Germano Veiga and Ciro Natale is an edited collection of 15 authoritative contributions in the area of robot technology transfer between academia and industry. It comprises three parts on "Future Industrial Robotics," "Robotic Grasping" as well as "Human-Centered Robots." The book chapters cover almost all the topics nowadays considered hot within the robotics community, from reliable object recognition to dexterous grasping, from speech recognition to intuitive robot programming, from mobile robot navigation to aerial robotics, from safe physical human-robot interaction to body extenders. All contributions stem from the results of ECHORD the European Clearing House for Open Robotics Development, a large-scale integrating project funded by the European Commission within the 7th Framework Programme from 2009 to 2013. ECHORD s two main pillars were the so-called experiments, 51 small-sized industry-driven research projects and the structured dialog a powerful interaction instrument between the stakeholders. The results described in this volume are expected to shed new light on innovation and technology transfer from academia to industry in the field of robotics."

Modelling and Control of Mini-Flying Machines is an exposition of models developed to assist in the motion control of various types of mini-aircraft: * Planar Vertical Take-off and Landing aircraft; * helicopters; * quadrotor mini-rotorcraft; * other fixed-wing aircraft; * blimps. For each of these it propounds: * detailed models derived from Euler-Lagrange methods; * appropriate nonlinear control strategies and convergence properties; * real-time experimental comparisons of the performance of control algorithms; * review of the principal sensors, on-board electronics, real-time architecture and communications systems for mini-flying machine control, including discussion of their performance; * detailed explanation of the use of the Kalman filter to flying machine localization. To researchers and students in nonlinear control and its applications Modelling and Control of Mini-Flying Machines provides valuable insights to the application of real-time nonlinear techniques in an always challenging area.

This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods that allow readers to understand how to design large-scale robot systems by going through many example scenarios on topics such as aggregation, coordinated motion (flocking), task allocation, self-assembly, collective construction, and environmental monitoring. The author explains the methodology behind building multiple, simple robots and how the complexity emerges from the multiple interactions between these robots such that they are able to solve difficult tasks. The book can be used as a short textbook for specialized courses or as an introduction to Swarm Robotics for graduate students, researchers, and professionals who want a concise introduction to the field.

This book is for researchers, engineers, and students who are willing to understand how humanoid robots move and be controlled. The book starts with an overview of the humanoid robotics research history and state of the art. Then it explains the required mathematics and physics such as kinematics of multi-body system, Zero-Moment Point (ZMP) and its relationship with body motion. Biped walking control is discussed in depth, since it is one of the main interests of humanoid robotics. Various topics of the whole body motion generation are also discussed. Finally multi-body dynamics is presented to simulate the complete dynamic behavior of a humanoid robot. Throughout the book, Matlab codes are shown to test the algorithms and to help the readers understanding.

This book moves toward the realization of domestic robots by presenting an integrated view of computer vision and robotics, covering fundamental topics including optimal sensor design, visual servo-ing, 3D object modelling and recognition, and multi-cue tracking, emphasizing robustness throughout. Covering theory and implementation, experimental results and comprehensive multimedia support including video clips, VRML data, C++ code and lecture slides, this book is a practical reference for roboticists and a valuable teaching resource.

We live in an ever complex, dynamic and technological-based world. A world where industries, businesses and agencies rely ever increasingly on automated systems to maintain efficiency, increase productivity, minimize human error or gain a competitive edge. Moreover, automation is now seen by many organizations as the solution to human performance problems. These organizations continue to invest significant resources to implement automated systems wherever possible and there is no doubt that automation has helped such organizations manage their sophisticated, information-rich environments, where humans have limited capabilities. Therefore, automation has helped to improve industrial and commercial progress to the extent that organizations now depend upon it for their own benefit. However, new and unresolved problems have arisen as more individuals, groups and teams interact with automated systems. Hence, the need and motivation of this volume. The chapters contained in this volume explore some of the key human performance issues facing organizations as they implement or manage automated systems. Dealing with a range of topics, from how to design optional use, avoiding misuse, to creating training strategies for automated systems, this volume also explores which theories may help us understand automation better and what research needs to be conducted. This publication attempts to illustrate how human performance research on automation can help organizations design better systems and also hopes to motivate more theoretically-based but practically-relevant research in the technological-based world of the 21st century.

A discussion of challenges related to the modeling and control of greenhouse crop growth, this book presents state-of-the-art answers to those challenges. The authors model the subsystems involved in successful greenhouse control using different techniques and show how the models obtained can be exploited for simulation or control design; they suggest ideas for the development of physical and/or black-box models for this purpose. Strategies for the control of climate- and irrigation-related variables are brought forward. The uses of PID control and feedforward compensators, both widely used in commercial tools, are summarized. The benefits of advanced control techniques-event-based, robust, and predictive control, for example-are used to improve on the performance of those basic methods. A hierarchical control architecture is developed governed by a high-level multiobjective optimization approach rather than traditional constrained optimization and artificial intelligence techniques. Reference trajectories are found for diurnal and nocturnal temperatures (climate-related setpoints) and electrical conductivity (fertirrigation-related setpoints). The objectives are to maximize profit, fruit quality, and water-use efficiency, these being encouraged by current international rules. Illustrative practical results selected from those obtained in an industrial greenhouse during the last eight years are shown and described. The text of the book is complemented by the use of illustrations, tables and real examples which are helpful in understanding the material. Modeling and Control of Greenhouse Crop Growth will be of interest to industrial engineers, academic researchers and graduates from agricultural, chemical, and process-control backgrounds.

This monograph is a comprehensive introduction to the field of soccer robotics. Soccer robotics has become an important research area integrating mechatronics, computer science and artificial intelligence techniques to create real-world autonomous systems. It also serves as a popular test arena in which to compare the different approaches, in diverse types of competition and with varying levels of distributed perception and collaboration. The focus of this monograph is the FIRA framework of Soccer Robotics, in particular MiroSot, which uses a central overhead camera to overview the whole soccer field and a central control of the robots. "Soccer Robotics" completely describes the different requirements to create a soccer team and details the hardware aspects, the computer vision needed, navigation, action selection, basic skills and game strategy. These aspects are described at an undergraduate level, resulting in a book not only useful as a text for courses but also indispensable for everyone who wants to participate in MiroSot robotics.

This book focuses on the framework and implementation of energy integration systems with energy and smart-control technologies. It describes in detail We-Energy, a novel energy interaction mode based on a cyber-physical-economy-energy model, which can be adopted to solve the problem of energy supply and utilization. It then analyzes the key devices and technologies for developing the Energy Internet, such as converters, energy-conversion devices, system-level connection devices, optimization control strategies, cyber-physical system security, energy-system stability, communication technologies' operating modes and distributed optimization algorithms, to enable readers to gain a comprehensive understanding of the topic. Lastly, it offers an outlook on the development of the Energy Internet, providing a reference for cross-integration between different disciplines. The book is an indispensable resource for power enterprises, manufacturers in the power-supply industry, and researchers in the field of Energy Internet application. It is also useful for university and college teachers and students seeking to deepen their understanding of the Energy Internet, as well as for readers interested in the Energy Internet correlation techniques.

The process control industry has seen generations of technology advancement, from pneumatic communication to electrical communication to electronic c- munication, from centralized control to distributed control. At the center of today's distributed control systems are operator workstations. These operator wo- stations provide the connection between those overseeing and running plant operations to the process itself. With each new generation of products the operator workstation has become increasingly more intelligent. Newer applications provide advanced alarming, control, and diagnostics. Behind all of these applications are smarter devices. These smart devices provide greater process insight, reduce en- neering costs, and contribute to improving the overall operational performance of the plant. Smart devices include advanced diagnostics that can report the health of the device and in many cases, the health of the process that the device is connected to. It is not uncommon for smart devices to include diagnostics that can detect plugged lines, burner flame instability, agitator loss, wet gas, orifice wear, leaks, and cavitations. These devices tell the user how well they are operating and when they need maintenance. Improvements in sensor technology and diagnostics have lead to a large variety of smart devices. So how do users connect the capabilities of these smart devices to their existing control system infrastructures? The answer is wireless. Wireless technology has matured to the point that it now can be safely applied in industrial control, monitor, and asset management applications.

Computational intelligence techniques are gaining momentum in the medical prognosis and diagnosis. This volume presents advanced applications of machine intelligence in medicine and bio-medical engineering. Applied methods include knowledge bases, expert systems, neural networks, neuro-fuzzy systems, evolvable systems, wavelet transforms, and specific internet applications. The volume is written in view of explaining to the practitioner the fundamental issues related to computational intelligence paradigms and to offer a fast and friendly-managed introduction to the most recent methods based on computer intelligence in medicine.

Adaptive Structural Systems with Piezoelectric Transducer Circuitry provides a comprehensive discussion on the integration of piezoelectric transducers with electrical circuitry for the development and enhancement of adaptive structural systems.

Covering a wide range of interdisciplinary research, this monograph presents a paradigm of taking full advantage of the two-way electro-mechanical coupling characteristics of piezoelectric transducers for structural control and identification in adaptive structural systems. Presenting descriptions of algorithm development, theoretical analysis and experimental investigation, engineers and researchers alike will find this a valuable reference.

This book focuses on solving different types of time-varying problems. It presents various Zhang dynamics (ZD) models by defining various Zhang functions (ZFs) in real and complex domains. It then provides theoretical analyses of such ZD models and illustrates their results. It also uses simulations to substantiate their efficacy and show the feasibility of the presented ZD approach (i.e., different ZFs leading to different ZD models), which is further applied to the repetitive motion planning (RMP) of redundant robots, showing its application potential.

In this book, the state-of-the-art fuzzy-model-based (FMB) based control approaches are covered. A comprehensive review about the stability analysis of type-1 and type-2 FMB control systems using the Lyapunov-based approach is given, presenting a clear picture to researchers who would like to work on this field. A wide variety of continuous-time nonlinear control systems such as state-feedback, switching, time-delay and sampled-data FMB control systems, are covered. In short, this book summarizes the recent contributions of the authors on the stability analysis of the FMB control systems. It discusses advanced stability analysis techniques for various FMB control systems, and founds a concrete theoretical basis to support the investigation of FMB control systems at the research level. The analysis results of this book offer various mathematical approaches to designing stable and well-performed FMB control systems. Furthermore, the results widen the applicability of the FMB control approach and help put the fuzzy controller in practice. A wide range of advanced analytical and mathematical analysis techniques will be employed to investigate the system stability and performance of FMB-based control systems in a rigorous manner. Detailed analysis and derivation steps are given to enhance the readability, enabling the readers who are unfamiliar with the FMB control systems to follow the materials easily. Simulation examples, with figures and plots of system responses, are given to demonstrate the effectiveness of the proposed FMB control approaches.