Here is a comprehensive presentation of methodology for the design and synthesis of an intelligent complex robotic system, connecting formal tools from discrete system theory, artificial intelligence, neural network, and fuzzy logic. The necessary methods for solving real time action planning, coordination and control problems are described. A notable chapter presents a new approach to intelligent robotic agent control acting in a realworld environment based on a lifelong learning approach combining cognitive and reactive capabilities. Another key feature is the homogeneous description of all solutions and methods based on system theory formalism.

This volume describes new frontiers in medical and service robotics in the light of recent developments in technology to advance robot design and implementation. In particular, the work looks at advances in design, development and implementation of contemporary surgical, rehabilitation and biorobots. Surgical robots allow surgeons greater access to areas under operation using more precise and less invasive methods. Rehabilitation robots facilitate and support the lives of the infirm, elderly people, or those with dysfunction of body parts affecting movement. These robots are also used for rehabilitation and related procedures, such as training and therapy. Biorobots are designed to imitate the cognition of humans and animals. The need to substitute humans working on delicate, tiresome and monotonous tasks, or working with potentially health-damaging toxic materials, requires intelligent, high-performance service robots with the ability to cooperate, advanced communication and sophisticated perception and cognitive capabilities. Progress in this field is fast and results need to be disseminated to stimulate both practical applications and further research. Thus, these papers are a valuable addition to existing literature.

The human hand and its dexterity in grasping and manipulating objects are some of the hallmarks of the human species. For years, anatomic and biomechanical studies have deepened the understanding of the human hand's functioning and, in parallel, the robotics community has been working on the design of robotic hands capable of manipulating objects with a performance similar to that of the human hand. However, although many researchers have partially studied various aspects, to date there has been no comprehensive characterization of the human hand's function for grasping and manipulation of everyday life objects. This monograph explores the hypothesis that the confluence of both scientific fields, the biomechanical study of the human hand and the analysis of robotic manipulation of objects, would greatly benefit and advance both disciplines through simulation. Therefore, in this book, the current knowledge of robotics and biomechanics guides the design and implementation of a simulation framework focused on manipulation interactions that allows the study of the grasp through simulation. As a result, a valuable framework for the study of the grasp, with relevant applications in several fields such as robotics, biomechanics, ergonomics, rehabilitation and medicine, has been made available to these communities.

Nowadays, multiple attention have been paid on a robot working in the human living environment, such as in the field of medical, welfare, entertainment and so on. Various types of researches are being conducted actively in a variety of fields such as artificial intelligence, cognitive engineering, sensor- technology, interfaces and motion control. In the future, it is expected to realize super high functional human-like robot by integrating technologies in various fields including these types of researches. The book represents new developments and advances in the field of bio-inspired robotics research introducing the state of the art, the idea of multi-locomotion robotic system to implement the diversity of animal motion. It covers theoretical and computational aspects of Passive Dynamic Autonomous Control (PDAC), robot motion control, multi legged walking and climbing as well as brachiation focusing concrete robot systems, components and applications. In addition, gorilla type robot systems are described as hardware of Multi-Locomotion Robotic system. It is useful for students and researchers in the field of robotics in general, bio-inspired robots, multi-modal locomotion, legged walking, motion control, and humanoid robots. Furthermore, it is also of interest for lecturers and engineers in practice building systems cooperating with humans.

This book presents the concept of cognition in a clear, lucid and highly comprehensive style. It provides an in-depth analysis of mathematical models and algorithms, and demonstrates their application with real life experiments.

Digital Twins for Healthcare: Design, Challenges and Solutions establishes the state-of-art in the specification, design, creation, deployment and exploitation of digital twins' technologies for healthcare and wellbeing. A digital twin is a digital replication of a living or non-living physical entity. When data is transmitted seamlessly, it bridges the physical and virtual worlds, thus allowing the virtual entity to exist simultaneously with the physical entity. A digital twin facilitates the means to understand, monitor, and optimize the functions of the physical entity and provide continuous feedback. It can be used to improve citizens' quality of life and wellbeing in smart cities and the virtualization of industrial processes.

This book presents the most recent advances in the research and applications of reconfigurable mechanisms and robots. It collects 93 independently reviewed papers presented at the Third ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots (ReMAR 2015) held in Beijing, China, 20-22 July 2015. The conference papers are organized into seven parts to cover the reconfiguration theory, topology, kinematics and design of reconfigurable mechanisms including reconfigurable parallel mechanisms. The most recent results on reconfigurable robots are presented including their analysis, design, simulation and control. Bio-inspired mechanisms are also explored in the challenging fields of rehabilitation and minimally invasive surgery. This book further addresses deployable mechanisms and origami-inspired mechanisms and showcases a wide range of successful applications of reconfigurable mechanisms and robots. Advances in Reconfigurable Mechanisms and Robots II should be of interest for researchers, engineers and postgraduate students in mechanical engineering, electrical engineering, computer science and mathematics.

This volume surveys three decades of modern robot control theory and describes how the work of Suguru Arimoto shaped its development. Twelve survey articles written by experts associated with Suguru Arimoto at various stages in his career treat the subject comprehensively. This book provides an important reference for graduate students and researchers, as well as for mathematicians, engineers and scientists whose work involves robot control theory.

In 1960, R. E. Kalman published his celebrated paper on recursive min imum variance estimation in dynamical systems [14]. This paper, which introduced an algorithm that has since been known as the discrete Kalman filter, produced a virtual revolution in the field of systems engineering. Today, Kalman filters are used in such diverse areas as navigation, guid ance, oil drilling, water and air quality, and geodetic surveys. In addition, Kalman's work led to a multitude of books and papers on minimum vari ance estimation in dynamical systems, including one by Kalman and Bucy on continuous time systems [15]. Most of this work was done outside of the mathematics and statistics communities and, in the spirit of true academic parochialism, was, with a few notable exceptions, ignored by them. This text is my effort toward closing that chasm. For mathematics students, the Kalman filtering theorem is a beautiful illustration of functional analysis in action; Hilbert spaces being used to solve an extremely important problem in applied mathematics. For statistics students, the Kalman filter is a vivid example of Bayesian statistics in action. The present text grew out of a series of graduate courses given by me in the past decade. Most of these courses were given at the University of Mas sachusetts at Amherst.

This book reviews the fundamentals of screw theory concerned with velocity analysis of rigid-bodies, confirmed with detailed and explicit proofs. The author additionally investigates acceleration, jerk, and hyper-jerk analyses of rigid-bodies following the trend of the velocity analysis. With the material provided in this book, readers can extend the theory of screws into the kinematics of optional order of rigid-bodies. Illustrative examples and exercises to reinforce learning are provided. Of particular note, the kinematics of emblematic parallel manipulators, such as the Delta robot as well as the original Gough and Stewart platforms are revisited applying, in addition to the theory of screws, new methods devoted to simplify the corresponding forward-displacement analysis, a challenging task for most parallel manipulators.

Verification presents the most time-consuming task in the integrated circuit design process. The increasing similarity between implementation verification and the ever-needed task of providing vectors for manufacturing fault testing is tempting many professionals to combine verification and testing efforts.
This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. The book brings the results in the direction of merging manufacturing test vector generation and verification. It first discusses error fault models suitable for approaching the verification by testing methods. Then, it elaborates a proposal for an implicit fault model that uses the Arithmetic Transform representation of a circuit and the faults. Presented is the fundamental link between the error size and the test vector size, which allows parametrizable verification by test vectors. Furthermore, the test vector set is sufficient not only for detecting, but also for diagnosing and correcting the design errors.
The practical use of any such simulation-based verification scheme can be seriously impaired by redundant faults, that otherwise require exhaustive simulations. The redundant fault identification methods are presented that are well suited for the type of faults considered. Finally, the same representation can be used to augment and expand the formal verification schemes that are to be used in conjunction with the simulation-based verification.
The primary audience for Verification by Error Modeling includes researchers in verification and testing, managers in charge of verification of test andpracticing engineers. Due to its comprehensive coverage of background topics, the book can also be used for teaching courses on verification and test topics.

Neural Networks in Robotics is the first book to present an integrated view of both the application of artificial neural networks to robot control and the neuromuscular models from which robots were created. The behavior of biological systems provides both the inspiration and the challenge for robotics. The goal is to build robots which can emulate the ability of living organisms to integrate perceptual inputs smoothly with motor responses, even in the presence of novel stimuli and changes in the environment. The ability of living systems to learn and to adapt provides the standard against which robotic systems are judged. In order to emulate these abilities, a number of investigators have attempted to create robot controllers which are modelled on known processes in the brain and musculo-skeletal system. Several of these models are described in this book. On the other hand, connectionist (artificial neural network) formulations are attractive for the computation of inverse kinematics and dynamics of robots, because they can be trained for this purpose without explicit programming. Some of the computational advantages and problems of this approach are also presented. For any serious student of robotics, Neural Networks in Robotics provides an indispensable reference to the work of major researchers in the field. Similarly, since robotics is an outstanding application area for artificial neural networks, Neural Networks in Robotics is equally important to workers in connectionism and to students for sensormonitor control in living systems.

] Starting with the research of G. Bogelsack in the 1970s, the analysis of biological locomotion andmanipulation systemsandtheirtechnical realizationhas beenan- portant research eld within the Faculty of Mechanical Engineering at the Ilmenau University of Technology. In 1996, the German Research Foundation (DFG) funded the Innovation College "Motion Systems" at the University of Jena in a coope- tion with engineers at the Ilmenau University of Technology. Thus, research was able to be intensi ed and extended. Of course, the whole spectrum of biologically inspired systems is much too wide, so the analysis was still focused on locomotion and manipulation systems. At this stage J. Steigenberger from the Faculty of Mathematics and Natural S- ences at the Ilmenau University of Technology contributed important studies of worm-like locomotion systems with much dedication and technical competence. Moreover, he conceived and carried out a lecture series entitled "Mathematical Basics for Locomotion Systems," which was based on his evaluation of national and international research developments in this eld. I. Zeidis and K. Zimmermann contributed many publications on the mechanics of worm-like locomotion systems based on continuum and rigid-body models as well as asymptotic methods. Since 2004 the German Research Foundation has supported a series of projects led by K. Zimmermann dedicated to biologically inspired robotics. In addition to these activities, the Department of Technical Mechanics and the Department of Computer Application in Mechanical Engineering (M. Weiss) together with masters and doctoral students started the development of mobile robots for the RoboCup Small-Size League in 1998."

While sailing has a long tradition, both as a means of transportation and as a sport, robotic sailing is a fairly new area of research. One of its unique characteristics is the use of wind for propulsion. On the one hand, this allows for long range and long term autonomy. On the other hand, the dependency on changing winds presents a serious challenge for short and long term planning, collision avoidance, and boat control. Moreover, building a robust and seaworthy sailing robot is no simple task, leading to a truly interdisciplinary engineering problem. These proceedings summarize the state of the art as presented at the International Robotic Sailing Conference 2011. Following an overview of the history of autonomous sailing a number of recent boat designs is presented, ranging from small one-design boats to vessels built to cross the Atlantic Ocean. Subsequently, various aspects of system design and validation are discussed, further highlighting the interdisciplinary nature of the field. Finally, methods for collision avoidance, localization and route planning are covered.

Surveillance systems have become increasingly popular. Full involvement of human operators has led to shortcomings, e.g. high labor cost, limited capability for multiple screens, inconsistency in long-duration, etc. Intelligent surveillance systems (ISSs) can supplement or even replace traditional ones. In ISSs, computer vision, pattern recognition, and artificial intelligence technologies are used to identify abnormal behaviours in videos. They present the development of real-time behaviour-based intelligent surveillance systems. The book focuses on the detection of individual abnormal behaviour based on learning and the analysis of dangerous crowd behaviour based on texture and optical flow. Practical systems include a real-time face classification and counting system, a surveillance robot system that utilizes video and audio information for intelligent interaction, and a robust person counting system for crowded environments.

Building a robot that learns to perform a task has been acknowledged as one of the major challenges facing artificial intelligence. Self-improving robots would relieve humans from much of the drudgery of programming and would potentially allow operation in environments that were changeable or only partially known. Progress towards this goal would also make fundamental contributions to artificial intelligence by furthering our understanding of how to successfully integrate disparate abilities such as perception, planning, learning and action. Although its roots can be traced back to the late fifties, the area of robot learning has lately seen a resurgence of interest. The flurry of interest in robot learning has partly been fueled by exciting new work in the areas of reinforcement earning, behavior-based architectures, genetic algorithms, neural networks and the study of artificial life. Robot Learning gives an overview of some of the current research projects in robot learning being carried out at leading universities and research laboratories in the United States. The main research directions in robot learning covered in this book include: reinforcement learning, behavior-based architectures, neural networks, map learning, action models, navigation and guided exploration.

This book aims at reporting some of the most challenging open problems of control theoretic nature raised by robotics applications. Topics covered in the book represent many of the most innovative areas in contemporary robotics research, with special emphasis on vision, sensory-feedback control, human-centered robotics, manipulation, planning, flexible and cooperative robots, or assembly systems. The basic idea behind the book is to present the variety of innovative applications and related technology demands that arise from robotics and automation to a larger community, including in particular, researchers in automatic control, applied mathematics, mechanical engineering, or computer science. The book is intended for an audience of researchers and graduate students in those disciplines and in robotics. It is the outcome of a workshop held in Las Vegas, Nevada on December 14, 2002 jointly sponsored by the IEEE Control Systems Society and the IEEE Robotics and Automation Society.

In the last decade, we have seen an extraordinary progress in the the ory and applications of robot kinematics. This has been motivated espe cially by the development of complex parallel and humanoid robots. The present book reports the most recent research advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufacturing, automa tion, surgery, locomotion and biomechanics. The issues addressed are fundamentally kinematic in nature, including synthesis, calibration, re dundancy, force control, dexterity, inverse and forward kinematics, kine matic singularities, as well as over-constrained systems. Methods used include line geometry, quaternion algebra, screw algebra, and linear alge bra. These methods are applied to both parallel and serial multi-degree of-freedom systems. The results should interest researchers, teachers and students, in fields of engineering and mathematics related to robot theory, design, control and application. This is the sixth book of the series Advances in Robot Kinematics published by Kluwer. The contributions in this book had been rigorously reviewed by in dependent reviewers and fifty one articles had been recommended for publication. They were introduced in seven chapters. These articles were also reported and discussed at the ninth international symposium on Advances in Robot Kinematics which was held in June 2004 in Sestri Levante in Italy. Indexed in Conference Proceedings Citation Index- Science (CPCI-S)

This book presents a collection of papers from the International Symposium in Robotics Research (ISRR01). The goal of the symposium was to bring together active, leading robotics researchers from academia, government, and industry, to define the state of the art in robotics and its future direction.

This volume contains the Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics, held in Aalborg, Denmark, 2-4 June, 2015. The book contains papers on recent advances in the design of mechanisms and their robotic applications. It treats the following topics: mechanism design, mechanics of robots, parallel manipulators, actuators and their control, linkage and industrial manipulators, innovative mechanisms/robots and their applications, among others. The book can be used by researchers and engineers in the relevant areas of mechanisms, machines and robotics.

Robotic technology offers two potential benefits for future space exploration. One benefit is minimizing the risk that astronauts face. The other benefit is increasing their productivity. Realizing the benefits of robotic technology in space will require solving several problems which are unique and now becoming active research topics. One of the most important research areas is dynamics, control, motion and planning for space robots by considering the dynamic interaction between the robot and the base (space station, space shuttle, or satellite). Any inefficiency in the planning and control can considerably risk by success of the space mission. Space Robotics: Dynamics and Control presents a collection of papers concerning fundamental problems in dynamics and control of space robots, focussing on issues relevant to dynamic base/robot interaction. The authors are all pioneers in theoretical analysis and experimental systems development of space robot technology. The chapters are organized within three problem areas: dynamics problems, nonholonomic nature problems, and control problems. This collection provides a solid reference for researchers in robotics, mechanics, control, and astronautical science.

Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to these systems; as the direct connection between the human and the environment is lost and operators are deprived of their sense of touch. The recreation of touch feedback through haptic devices is a possible solution, however haptic devices are far from perfect and improving their design is usually a slow trial-and-error process. This book describes 7 scientific studies that try to break this slow loop by using a deductive approach. Through investigating fundamental properties of human haptic perception using psychophysical paradigms, general knowledge on haptic perception of force, position, movement and hardness was gained. The resulting information can be applied to many different haptic devices. Consequently haptic systems can be more easily designed in an intuitive, human-centered way.