The book largely represents the extended version of select papers from the Inter- tional Conference on Intelligent Unmanned System ICIUS 2007 which was jointly organized by the Center for Unmanned System Studies at Institut Teknologi Bandung, Artificial Muscle Research Center at Konkuk University and Institute of Bio-inspired Structure and Surface Engineering, Nanjing University of Aeronautics and Astrona- ics. The joint-event was the 3rd conference extending from International Conference on Emerging System Technology (ICEST) in 2005 and International Conference on Technology Fusion (ICTF) in 2006 both conducted in Seoul. ICIUS 2007 was focused on both theory and application primarily covering the topics on robotics, autonomous vehicles and intelligent unmanned technologies. The conference was arranged into three parallel symposia with the following scope of topics: Unmanned Systems: Micro air vehicle, Underwater vehicle, Micro-satellite, - manned aerial vehicle, Multi-agent systems, Autonomous ground vehicle, Blimp, Swarm intelligence, learning and control Robotics and Biomimetics: Artificial muscle actuators, Smart sensors, Design and applications of MEMS/NEMS system, Intelligent robot system, Evolutionary al- rithm, Control of biological systems, AI and expert systems, Biological learning control systems, Neural networks, Genetic algorithm Control and Intelligent System: Distributed intelligence, Distributed/decentralized intelligent control, Distributed or decentralized control methods, Distributed and - bedded systems, Embedded intelligent control, Complex systems, Discrete event s- tems, Hybrid systems, Networked control systems, Delay systems, Fuzzy systems, Identification and estimation, Nonlinear systems, Precision motion control, Control applications, Control engineering education.

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.

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.

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 book provides basic theories and implementations using SCILAB open-source software for digital images. The book simplifies image processing theories and well as implementation of image processing algorithms, making it accessible to those with basic knowledge of image processing. This book includes many SCILAB programs at the end of each theory, which help in understanding concepts. The book includes more than sixty SCILAB programs of the image processing theory. In the appendix, readers will find a deeper glimpse into the research areas in the image processing.

The design of nonlinear controllers for mechanical systems has been an ex tremely active area of research in the last two decades. From a theoretical point of view, this attention can be attributed to their interesting dynamic behavior, which makes them suitable benchmarks for nonlinear control the oreticians. On the other hand, recent technological advances have produced many real-world engineering applications that require the automatic con trol of mechanical systems. the mechanism for de Often, Lyapunov-based techniques are utilized as veloping different nonlinear control structures for mechanical systems. The allure of the Lyapunov-based framework for mechanical system control de sign can most likely be assigned to the fact that Lyapunov function candi dates can often be crafted from physical insight into the mechanics of the system. That is, despite the nonlinearities, couplings, and/or the flexible effects associated with the system, Lyapunov-based techniques can often be used to analyze the stability of the closed-loop system by using an energy like function as the Lyapunov function candidate. In practice, the design procedure often tends to be an iterative process that results in the death of many trees. That is, the controller and energy-like function are often constructed in concert to foster an advantageous stability property and/or robustness property. Fortunately, over the last 15 years, many system the ory and control researchers have labored in this area to produce various design tools that can be applied in a variety of situations."

In the last ten years, a true explosion of investigations into fuzzy modeling and its applications in control, diagnostics, decision making, optimization, pattern recognition, robotics, etc. has been observed. The attraction of fuzzy modeling results from its intelligibility and the high effectiveness of the models obtained. Owing to this the modeling can be applied for the solution of problems which could not be solved till now with any known conventional methods. The book provides the reader with an advanced introduction to the problems of fuzzy modeling and to one of its most important applications: fuzzy control. It is based on the latest and most significant knowledge of the subject and can be used not only by control specialists but also by specialists working in any field requiring plant modeling, process modeling, and systems modeling, e.g. economics, business, medicine, agriculture,and meteorology.

It is a great pleasure for me to introduce this book which has the main ambition to make thermodynamics more directly accessible to engineers and physicists by stressing the analogies with the other physical domains; this science has discouraged more than a few students. The book comes from the meeting of two persons: 1. Jean Thoma, inventor of hydrostatic machines and transmissions, pro fessor at the University of Waterloo (Canada), expert in simulation and pilgrim for the promotion of bond graphs around the world. 2. Belkacem Ould Bouamama, associated professor at the University of Science and Technology in Lille, France, specialist in industrial control and seduced by the richness and structure of the bond graph method. Thermodynamics is a difficult subject; its concepts like entropy, enthalpy, etc. are not intuitive and often very abstract. For this reason, it is current practice to neglect the thermal aspects, although they are necessarily there in all physical phenomena, and to use isothermal models. This is equivalent to think that the system is immersed in an infinite temperature reservoir and maintains its temperature constant even if it receives or dissipates electric and other type of energy. For heat transfer and variable temperature, if it should be included, the classical approach is to study the changes between equilibrium states, and not the process itself, which is more a thermostatic than a thermodynamic approach. This is justified when only the constraints of equilibrium state must be satisfied."

This book incorporates recent advances in the design of feedback laws to the purpose of globally stabilizing nonlinear systems via state or output feedback. It is a continuation of the first volume by Alberto Isidori on Nonlinear Control Systems. Specifically this second volume will cover: *Stability analysis of interconnected nonlinear systems. The notion of Input-to-State stability and its role in analysing stability of cascade-connected or feedback-connected systems. The notion of dissipativity and its consequences (passivity and "gain"). *Robust stabilization in the case of parametric uncertainties. The case of state feedback: global or semi-global stabilization. The case of output feedback: semi-global stabilization. *Robust stabilization in the case of unstructured perturbations. Feedback design via the small-gain approach. Robust semi-global stabilization via output feedback. *Methods for asymptotic tracking, disturbance rejection and model following. Global and semi-global analysis. *Normal forms for multi-input multi-output nonlinear systems form a global point of view. Their role in feedback design.

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.

Over the past decades, although stochastic system control has been studied intensively within the field of control engineering, all the modelling and control strategies developed so far have concentrated on the performance of one or two output properties of the system. such as minimum variance control and mean value control. The general assumption used in the formulation of modelling and control strategies is that the distribution of the random signals involved is Gaussian. In this book, a set of new approaches for the control of the output probability density function of stochastic dynamic systems (those subjected to any bounded random inputs), has been developed. In this context, the purpose of control system design becomes the selection of a control signal that makes the shape of the system outputs p.d.f. as close as possible to a given distribution. The book contains material on the subjects of: - Control of single-input single-output and multiple-input multiple-output stochastic systems; - Stable adaptive control of stochastic distributions; - Model reference adaptive control; - Control of nonlinear dynamic stochastic systems; - Condition monitoring of bounded stochastic distributions; - Control algorithm design; - Singular stochastic systems.
A new representation of dynamic stochastic systems is produced by using B-spline functions to descripe the output p.d.f. Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

* Provides an elegant introduction to the geometric concepts that are important to applications in robotics

* Includes significant state-of-the art material that reflects important advances, connecting robotics back to mathematical fundamentals in group theory and geometry

* An invaluable reference that serves a wide audience of grad students and researchers in mechanical engineering, computer science, and applied mathematics

Selected contributions to the Workshop WAFR 2002, held December 15-17, 2002, Nice, France. This fifth biannual Workshop on Algorithmic Foundations of Robotics focuses on algorithmic issues related to robotics and automation. The design and analysis of robot algorithms raises fundamental questions in computer science, computational geometry, mechanical modeling, operations research, control theory, and associated fields. The highly selective program highlights significant new results such as algorithmic models and complexity bounds. The validation of algorithms, design concepts, or techniques is the common thread running through this focused collection.

Piecewise Linear (PL) approximation of non-linear behaviour is a well-known technique in synthesis and analysis of electrical networks. However, the PL description should be efficient in data storage and the description should allow simple retrieval of the stored information. Furthermore, it would be useful if the model description could handle a large class of piecewise linear mappings. Piecewise Linear Modeling and Analysis explains in detail all possible model descriptions for efficiently storing piecewise linear functions, starting with the Chua descriptions. Detailed explanation on how the model parameter can be obtained for a given mapping is provided and demonstrated by examples. The models are ranked to compare them and to show which model can handle the largest class of PL mappings. All model descriptions are implicitly related to the Linear Complementarity Problem and most solution techniques for this problem, like Katzenelson and Lemke, are discussed according to examples that are explained in detail. To analyse PL electrical networks a simulator is mandatory. Piecewise Linear Modeling and Analysis provides a detailed outline of a possible PL simulator, including pseudo-programming code. Several simulation domains like transient, AC and distortion are discussed. The book explains the attractive features of PL simulators with respect to mixed-level and mixed-signal simulation while paying due regard also to hierarchical simulation. Piecewise Linear Modeling and Analysis shows in detail how many existing components in electrical networks can be modeled. These range from digital logic and analog basic elements such as transistors to complex systems like Phase-Locked Loops and detection systems. Simulation results are also provided. The book concludes with a discussion on how to find multiple solutions for PL functions or networks. Again, the most common techniques are outlined using clear examples. Piecewise Linear Modeling and Analysis is an indispensable guide for researchers and designers interested in network theory, network synthesis and network analysis.

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

Semantic Models in IoT and eHealth Applications explores the key role of semantic web modeling in eHealth technologies, including remote monitoring, mobile health, cloud data and biomedical ontologies. The book explores different challenges and issues through the lens of various case studies of healthcare systems currently adopting these technologies. Chapters introduce the concepts of semantic interoperability within a healthcare model setting and explore how semantic representation is key to classifying, analyzing and understanding the massive amounts of biomedical data being generated by connected medical devices. Continuous health monitoring is a strong solution which can provide eHealth services to a community through the use of IoT-based devices that collect sensor data for efficient health diagnosis, monitoring and treatment. All of this collected data needs to be represented in the form of ontologies which are considered the cornerstone of the Semantic Web for knowledge sharing, information integration and information extraction.

The international conference on Automation and Robotics-ICAR2011 is held during December 12-13, 2011 in Dubai, UAE. The proceedings of ICAR2011 have been published by Springer Lecture Notes in Electrical Engineering, which include 163 excellent papers selected from more than 400 submitted papers.

The conference is intended to bring together the researchers and engineers/technologists working in different aspects of intelligent control systems and optimization, robotics and automation, signal processing, sensors, systems modeling and control, industrial engineering, production and management.

This part of proceedings includes 81 papers contributed by many researchers in relevant topic areas covered at ICAR2011 from various countries such as France, Japan, USA, Korea and China etc.

Many papers introduced their advanced research work recently; some of them gave a new solution to problems in the field, with powerful evidence and detail demonstration. Others stated the application of their designed and realized systems. The session topic of this proceeding is intelligent control and robotics and automation, which includes papers about Distributed Control Systems, Intelligent Fault Detection and Identification, Machine Learning in Control, Neural Networks based Control Systems, Fuzzy Control, Genetic Algorithms, Robot Design, Human-robots Interfaces, Network Robotics, and Autonomous Systems, Industrial Networks and Automation, Modeling, Simulation and Architectures, Vision, Recognition and Reconstruction, Virtual Reality, Image Processing, and so on.

All of papers here involved the authors' numerous time and energy, will be proved valuable in their research field. Sincere thanks to the committee and all the authors, moreover anonymous reviewers from many fields and organizations. That is a power for all of us to go on research work for the world."

This book surveys the well-known results and also presents a series of original results on the mathematical modeling of social networks, focusing on models of informational influence, control and confrontation. Online social networks are intended for communication, opinion exchange and information acquisition for their members, but recently, online social networks have been intensively used as the objects and means of informational control and an arena of informational confrontation. They have become a powerful informational influence tool, particularly for the manipulation of individuals, social groups and society as a whole, as well as a battlefield of information warfare (cyberwars). This book aimed at under- and postgraduate university students as well as experts in information technology and modeling of social systems and processes.

This is a book written by leading experts in the fields of cyber-physical systems (CPS) and wireless sensor networks (WSN). This book describes how wireless sensor networking technologies can help in establishing and maintaining seamless communications between the physical and cyber systems to enable efficient, secure, reliable acquisition, management, and routing of data. Topics covered include: an introduction to WSN and CPS; integration issues and challenges between WSN and CPS; enabling CPS design architectures with WSN technologies; cyber security in CPS; data management in CPS with WSN; routing in WSN for CPS; resource management in CPS; mobile sensors in CPS; intelligent WSN in CPS; resilient WSN for CPS; case studies of integrated WSN and CPS; and medical CPS. All chapters of the book have been rigorously peer-reviewed. Cyber-Physical System Design with Sensor Networking Technologies is essential reading for researchers, advanced students and developers working in the areas of cyber-physical systems and sensor networks.

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 presents an operator theoretic approach to robust control analysis for linear time-varying systems. It emphasizes the conceptual similarity with the H control theory for time-invariant systems and at the same time clarifies the major difficulties confronted in the time varying case. The necessary operator theory is developed from first principles and the book is as self-contained as possible. After presenting the necessary results from the theories of Toeplitz operators and nest algebras, linear systems are defined as input- output operators and the relationship between stabilization and the existance of co-prime factorizations is described. Uniform optimal control problems are formulated as model-matching problems and are reduced to four block problems. Robustness is considered both from the point of view of fractional representations and the "time varying gap" metric, and the relationship between these types of uncertainties is clarified. The book closes with the solution of the orthogonal embedding problem for time varying contractive systems. This book will be useful to both mathematicians interested in the potential applications of operator theory in control and control engineers who wish to deal with some of the more mathematically sophisticated extension of their work.

This monograph presents a new analytical approach to the design of proportional-integral-derivative (PID) controllers for linear time-invariant plants. The authors develop a computer-aided procedure, to synthesize PID controllers that satisfy multiple design specifications. A geometric approach, which can be used to determine such designs methodically using 2- and 3-D computer graphics is the result. The text expands on the computation of the complete stabilizing set previously developed by the authors and presented here. This set is then systematically exploited to achieve multiple design specifications simultaneously. These specifications include classical gain and phase margins, time-delay tolerance, settling time and H-infinity norm bounds. The results are developed for continuous- and discrete-time systems. An extension to multivariable systems is also included. Analytical Design of PID Controllers provides a novel method of designing PID controllers, which makes it ideal for both researchers and professionals working in traditional industries as well as those connected with unmanned aerial vehicles, driverless cars and autonomous robots.

Complexity and dynamic order of controlled engineering systems is constantly increasing. Complex large scale systems (where "large" reflects the system's order and not necessarily its physical size) appear in many engineering fields, such as micro-electromechanics, manufacturing, aerospace, civil engineering and power engineering. Modeling of these systems often result in very high-order models imposing great challenges to the analysis, design and control problems. "Efficient Modeling and Control of Large-Scale Systems" compiles state-of-the-art contributions on recent analytical and computational methods for addressing model reduction, performance analysis and feedback control design for such systems. Also addressed at length are new theoretical developments, novel computational approaches and illustrative applications to various fields, along with: - An interdisciplinary focus emphasizing methods and approaches that can be commonly applied in various engineering fields -Examinations of applications in various fields including micro-electromechanical systems (MEMS), manufacturing processes, power networks, traffic control "Efficient Modeling and Control of Large-Scale Systems" is an ideal volume for engineers and researchers working in the fields of control and dynamic systems.

Control systems design methodologies have long suffered the traditional and myopic dichotomy between time and frequency domain approaches, each of them being specialized to cope with only scarcely overlapping performance requirements. This book is aimed at bridging the two approaches by presenting design methodologies based on the minimization of a norm (H2/H() of a suitable transfer function. A distinctive feature of these techniques is the fact that they do not create only one solution to the design problem, instead they provide a whole set of admissible solutions which satisfy a constraint on the maximum deterioration of the performance index.
A systematic book on this topic is long overdue. Self-contained and practical in its approach, Control Theory and Design enables the reader to use the relevant techniques in various real-life applications. The text covers the basic facts of robustcontrol and theory as well as more recent achievements, such as robust stability and robust performance in presence of parameter uncertainties. It features a new perspective on classical LQC results and further sections on robust synthesis, nonclassicaloptimization problems, and analysis and synthesis of uncertain systems.
Control Theory and Design is essential reading for graduates and those entering the research field. The required mathematical background is provided so that the book is also suitable for undergraduate students with some knowledge of basic systemsand control.
Key Features
* Provides a self-contained manual for learning control systems and design
* Contains a clear and concise presentation of the technical background needed
* Includes a new perspective of classical LQG results
* Contains updated results and novel contributions to nonstandard RH2/RH infinity symbol problems
* Covers all the theory from the basic to the more advanced issues

This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises research experts in the field of control theory and nonlinear dynamics but the book may also be beneficial for graduate students.