This book shows how a conventional multi-layered approach can be used to control a snake robot on a desired path while moving on a flat surface. To achieve robustness to unknown variations in surface conditions, it explores various adaptive robust control methods. The authors propose a sliding-mode control approach designed to achieve robust maneuvering for bounded uncertainty with a known upper bound. The control is modified by addition of an adaptation law to alleviate the overestimation problem of the switching gain as well as to circumvent the requirement for knowledge regarding the bounds of uncertainty. The book works toward non-conservativeness, achieving efficient tracking in the presence of slowly varying uncertainties with a specially designed framework for time-delayed control. It shows readers how to extract superior performance from their snake robots with an approach that allows robustness toward bounded time-delayed estimation errors. The book also demonstrates how the multi-layered control framework can be simplified by employing differential flatness for such a system. Finally, the mathematical model of a snake robot moving inside a uniform channel using only side-wall contact is discussed. The model has further been employed to demonstrate adaptive robust control design for such a motion. Using numerous illustrations and tables, Adaptive Robust Control for Planar Snake Robots will interest researchers, practicing engineers and postgraduate students working in the field of robotics and control systems.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics. The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.

This volume contains the papers of the 7th International Workshop on Medical and Service Robots (MESROB) which was held in Basel, Switzerland, on June 7-9, 2021. The main topics include: design of medical devices, kinematics and dynamics for medical robotics, exoskeletons and prostheses, anthropomorphic hands, therapeutic robots and rehabilitation, cognitive robots, humanoid and service robots, assistive robots and elderly assistance, surgical robots, human-robot interfaces, haptic devices, medical treatments, medical lasers, and surgical planning and navigation. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaboration among different specialists, demonstrating that medical and service robotics will drive the technological and societal change in the coming decades.

Building on the successful first and second volumes, this book is the third volume of the Springer book on the Robot Operating System (ROS): The Complete Reference. The Robot Operating System is evolving from year to year with a wealth of new contributed packages and enhanced capabilities. Further, the ROS is being integrated into various robots and systems and is becoming an embedded technology in emerging robotics platforms. The objective of this third volume is to provide readers with additional and comprehensive coverage of the ROS and an overview of the latest achievements, trends and packages developed with and for it. Combining tutorials, case studies, and research papers, the book consists of sixteen chapters and is divided into five parts. Part 1 presents multi-robot systems with the ROS. In Part 2, four chapters deal with the development of unmanned aerial systems and their applications. In turn, Part 3 highlights recent work related to navigation, motion planning and control. Part 4 discusses recently contributed ROS packages for security, ROS2, GPU usage, and real-time processing. Lastly, Part 5 deals with new interfaces allowing users to interact with robots. Taken together, the three volumes of this book offer a valuable reference guide for ROS users, researchers, learners and developers alike. Its breadth of coverage makes it a unique resource.

This book presents selected papers from The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019). Focusing on novel architecture theories, tools, methods, and procedures for digital design and construction in architecture, it promotes dialogs between architecture, engineer, computer science, robotics, and other relevant disciplines to establish a new way of production in the building industry in the digital age. The contents make valuable contributions to academic researchers and engineers in the industry. At the same time, it offers readers new ideas for the application of digital technology.

This monograph introduces a unifying framework for mapping, planning and exploration with mobile robots considering uncertainty, linking such problems with a common SLAM approach, adopting Pose SLAM as the basic state estimation machinery. Pose SLAM is the variant of SLAM where only the robot trajectory is estimated and where landmarks are used to produce relative motion measurements between robot poses. With regards to extending the original Pose SLAM formulation, this monograph covers the study of such measurements when they are obtained with stereo cameras, develops the appropriate noise propagation models for such case, extends the Pose SLAM formulation to SE(3), introduces information-theoretic loop closure tests, and presents a technique to compute traversability maps from the 3D volumetric maps obtained with Pose SLAM. A relevant topic covered in this monograph is the introduction of a novel path planning approach that exploits the modeled uncertainties in Pose SLAM to search for the path in the pose graph that allows the robot to navigate to a given goal with the least probability of becoming lost. Another relevant topic is the introduction of an autonomous exploration method that selects the appropriate actions to drive the robot so as to maximize coverage, while minimizing localization and map uncertainties. This monograph is appropriate for readers interested in an information-theoretic unified perspective to the SLAM, path planning and exploration problems, and is a reference book for people who work in mobile robotics research in general.

This book presents the proceedings of the 30th International Conference on Robotics in Alpe-Adria-Danube Region, RAAD 2021, held in Poitiers, France, 21-23 June 2021. It gathers contributions by researchers from several countries on all major areas of robotic research, development and innovation, as well as new applications and current trends. The topics covered include: novel designs and applications of robotic systems, intelligent cooperating and service robots, advanced robot control, human-robot interfaces, robot vision systems, mobile robots, humanoid and walking robots, bio-inspired and swarm robotic systems, aerial, underwater and spatial robots, robots for ambient assisted living, medical robots and bionic prostheses, cognitive robots, cloud robotics, ethical and social issues in robotics, etc. Given its scope, the book offers a source of information and inspiration for researchers seeking to improve their work and gather new ideas for future developments.

In this book, Martijn Wisse and Richard Q. van der Linde provide a detailed description of their research on pneumatic biped robots at the Delft University of Technology, The Netherlands. The book covers the basic theory of passive dynamic walking and explains the implementation of pneumatic McKibben muscles in a series of successful prototypes.

A classic in underwater robotics. One of the first volumes in the "Springer Tracts in Advanced Robotics" series, it has been a bestseller through the previous three editions. Fifteen years after the publication of the first edition, the fourth edition comes to print. The book addresses the main control aspects in underwater manipulation tasks. With respect to the third edition, it has been revised, extended and some concepts better clustered. The mathematical model with significant impact on the control strategy is discussed. The problem of controlling a 6-degrees-of-freedoms autonomous underwater vehicle is investigated and a survey of fault detection/tolerant strategies for unmanned underwater vehicles is provided. Inverse kinematics, dynamic and interaction control for underwater vehicle-manipulator systems are then discussed. The code used to generate most of the numerical simulations is made available and briefly discussed.

This book introduces novel thinking and techniques to the control of robotic manipulation. In particular, the concept of teleimpedance control as an alternative method to bilateral force-reflecting teleoperation control for robotic manipulation is introduced. In teleimpedance control, a compound reference command is sent to the slave robot including both the desired motion trajectory and impedance profile, which are then realized by the remote controller. This concept forms a basis for the development of the controllers for a robotic arm, a dual-arm setup, a synergy-driven robotic hand, and a compliant exoskeleton for improved interaction performance.

The book reports on advanced topics in the areas of wearable robotics research and practice. It focuses on new technologies, including neural interfaces, soft wearable robots, sensors and actuators technologies, and discusses important regulatory challenges, as well as clinical and ethical issues. Based on the 4th International Symposium on Wearable Robotics, WeRob2018, held October 16-20, 2018, in Pisa, Italy, the book addresses a large audience of academics and professionals working in government, industry, and medical centers, and end-users alike. It provides them with specialized information and with a source of inspiration for new ideas and collaborations. It discusses exemplary case studies highlighting practical challenges related to the implementation of wearable robots in a number of fields. One of the focus is on clinical applications, which was encouraged by the colocation of WeRob2018 with the International Conference on Neurorehabilitation, INCR2018. Additional topics include space applications and assistive technologies in the industry. The book merges together the engineering, medical, ethical and political perspectives, thus offering a multidisciplinary, timely snapshot of the field of wearable technologies.

This book offers a timely overview of nonlinear control methods applied to a set of vehicles and their applications to study vehicle dynamics. The first part on the book presents the mathematical models used for describing motion of three class of vehicles such as underwater vehicles, hovercrafts and airships. In turn, each model is expressed in terms of Inertial Quasi-Velocities. Various control strategies from the literature, including model-free ones, are then analyzed. The second part and core of the book guides readers to developing model-based control algorithms using Inertial Quasi-Velocities. Both non-adaptive and adaptive versions are covered. Each controller is validated through simulation tests, which are reported in detail. In turn, this part shows how to use the controllers to gain information about vehicle dynamics, thus describing an important relationship between the dynamics of the moving object and its motion control. The effects of mechanical couplings between variables describing vehicle motion due to inertial forces are also discussed. All in all, this book offers a timely guide and extensive information on nonlinear control schemes for unmanned marine and aerial vehicles. It covers specifically the simulation tests and is therefore meant as a starting point for engineers and researchers that would like to verify experimentally the suitability of the proposed models in real vehicles. Further, it also supports advanced-level students and educators in their courses on vehicle dynamics, control engineering and robotics.

This book comprises select proceedings of the 12th Conference on Field and Service Robotics (FSR 2019) focusing on cutting-edge research carried out in different applications of robotics, including agriculture, search and rescue, aerial marine, industrial, and space. It focuses on experiments and demonstrations of robotics applied to complex and dynamic environments and covers diverse applications. The essays are written by leading international experts, making it a valuable resource for researchers and practicing engineers alike.

Cooperative Control of Multi-Agent Systems: An Optimal and Robust Perspective reports and encourages technology transfer in the field of cooperative control of multi-agent systems. The book deals with UGVs, UAVs, UUVs and spacecraft, and more. It presents an extended exposition of the authors' recent work on all aspects of multi-agent technology. Modelling and cooperative control of multi-agent systems are topics of great interest, across both academia (research and education) and industry (for real applications and end-users). Graduate students and researchers from a wide spectrum of specialties in electrical, mechanical or aerospace engineering fields will use this book as a key resource.

This book presents selected research papers from CISC'17, held in MudanJiang, China. The topics covered include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.

This book comprises select peer-reviewed papers from the International Conference on Emerging Trends in Electromechanical Technologies & Management (TEMT) 2019. The focus is on current research in interdisciplinary areas of mechanical, electrical, electronics and information technologies, and their management from design to market. The book covers a wide range of topics such as computer integrated manufacturing, additive manufacturing, materials science and engineering, simulation and modelling, finite element analysis, operations and supply chain management, decision sciences, business analytics, project management, and sustainable freight transportation. The book will be of interest to researchers and practitioners of various disciplines, in particular mechanical and industrial engineering.

This volume comprises the latest developments in both fundamental science and patient-specific applications, discussing topics such as: cellular mechanics, injury biomechanics, biomechanics of the heart and vascular system, algorithms of computational biomechanics for medical image analysis, and both patient-specific fluid dynamics and solid mechanics simulations. With contributions from researchers world-wide, Computational Biomechanics for Medicine: Measurments, Models, and Predictions provides an opportunity for specialists in the field to present their latest methodologies and advancements.

This book gathers the proceedings of the ISRM 2017, the fifth IFToMM International Symposium on Robotics and Mechatronics, which was jointly organised by the School of Computing, Engineering and Mathematics at Western Sydney University, Australia and by the IFToMM Technical Committee on Robotics and Mechatronics. The respective contributions showcase the latest advances, trends and future challenges in Computer Modelling and Simulation, Kinematics and Dynamics of Multi-Body Systems, Advanced Dynamics and Control Methods, Linkages and Mechanical Controls, Parallel Manipulators, Mechanism Design, Sensors and Actuators, Mobile Robotics: Navigation and Motion Planning, Bio-inspired Robotics, Micro/Nano-Robotics and Complex Robotic Systems.

This book presents the breakthrough and cutting-edge progress for collaborative perception and mapping by proposing a novel framework of multimodal perception-relative localization-collaborative mapping for collaborative robot systems. The organization of the book allows the readers to analyze, model and design collaborative perception technology for autonomous robots. It presents the basic foundation in the field of collaborative robot systems and the fundamental theory and technical guidelines for collaborative perception and mapping. The book significantly promotes the development of autonomous systems from individual intelligence to collaborative intelligence by providing extensive simulations and real experiments results in the different chapters. This book caters to engineers, graduate students and researchers in the fields of autonomous systems, robotics, computer vision and collaborative perception.

This book offers an excellent complementary text for an advanced course on the modelling and dynamic analysis of multi-body mechanical systems, and provides readers an in-depth understanding of the modelling and control of robots. While the Lagrangian formulation is well suited to multi-body systems, its physical meaning becomes paradoxically complicated for single rigid bodies. Yet the most advanced numerical methods rely on the physics of these single rigid bodies, whose dynamic is then given among multiple formulations by the set of the Newton-Euler equations in any of their multiple expression forms. This book presents a range of simple tools to express in succinct form the dynamic equation for the motion of a single rigid body, either free motion (6-dimension), such as that of any free space navigation robot or constrained motion (less than 6-dimension), such as that of ground or surface vehicles. In the process, the book also explains the equivalences of (and differences between) the different formulations.

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart provides a unique collection of a sizable segment of the cognitive systems research community in Europe. It reports on contributions from leading academic institutions brought together within the European projects Bayesian Inspired Brain and Artifact (BIBA) and Bayesian Approach to Cognitive Systems (BACS). This fourteen-chapter volume covers important research along two main lines: new probabilistic models and algorithms for perception and action, new probabilistic methodology and techniques for artefact conception and development. The work addresses key issues concerned with Bayesian programming, navigation, filtering, modelling and mapping, with applications in a number of different contexts.

This book presents papers presented at the 4th EAI International Conference on Robotic Sensor Networks. The conference explored the integration of networks and robotic technologies, which has become a topic of increasing interest for both researchers and developers from academic fields and industries worldwide. The authors explore how big networks are becoming the main tool for the next generation of robotic research, owing to the explosive number of networks models and the increased computational power of computers. The papers discuss how these trends significantly extend the number of potential applications for robotic technologies while also bringing new challenges to the networks' communities. The 2nd EAI International Conference on Robotic Sensor Networks was held online on November 21-22, 2020.

This open access book focuses on robot introspection, which has a direct impact on physical human-robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies. In robotics, the ability to reason, solve their own anomalies and proactively enrich owned knowledge is a direct way to improve autonomous behaviors. To this end, the authors start by considering the underlying pattern of multimodal observation during robot manipulation, which can effectively be modeled as a parametric hidden Markov model (HMM). They then adopt a nonparametric Bayesian approach in defining a prior using the hierarchical Dirichlet process (HDP) on the standard HMM parameters, known as the Hierarchical Dirichlet Process Hidden Markov Model (HDP-HMM). The HDP-HMM can examine an HMM with an unbounded number of possible states and allows flexibility in the complexity of the learned model and the development of reliable and scalable variational inference methods. This book is a valuable reference resource for researchers and designers in the field of robot learning and multimodal perception, as well as for senior undergraduate and graduate university students.

This book presents interdisciplinary research that pursues the mutual enrichment of neuroscience and robotics. Building on experimental work, and on the wealth of literature regarding the two cortical pathways of visual processing - the dorsal and ventral streams - we define and implement, computationally and on a real robot, a functional model of the brain areas involved in vision-based grasping actions. Grasping in robotics is largely an unsolved problem, and we show how the bio-inspired approach is successful in dealing with some fundamental issues of the task. Our robotic system can safely perform grasping actions on different unmodeled objects, denoting especially reliable visual and visuomotor skills. The computational model and the robotic experiments help in validating theories on the mechanisms employed by the brain areas more directly involved in grasping actions. This book offers new insights and research hypotheses regarding such mechanisms, especially for what concerns the interaction between the dorsal and ventral streams. Moreover, it helps in establishing a common research framework for neuroscientists and roboticists regarding research on brain functions.