The book presents research from Rob|Arch 2018, the fourth international conference on robotic fabrication in architecture, art, and design. In capturing the myriad of scientific advances in robotics fabrication that are currently underway - such as collaborative design tools, computerised materials, adaptive sensing and actuation, advanced construction, on-site and cooperative robotics, machine-learning, human-machine interaction, large-scale fabrication and networked workflows, to name but a few - this compendium reveals how robotic fabrication is becoming a driver of scientific innovation, cross-disciplinary fertilization and creative capacity of an unprecedented kind.

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.

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 is the fifth volume of a sub series on Road Vehicle Automation published within the Lecture Notes in Mobility. Like in previous editions, scholars, engineers and analysts from all around the world have contributed chapters covering human factors, ethical, legal, energy and technology aspects related to automated vehicles, as well as transportation infrastructure and public planning. The book is based on the Automated Vehicles Symposium which was hosted by the Transportation Research Board (TRB) and the Association for Unmanned Vehicle Systems International (AUVSI) in San Francisco, California (USA) in July 2017.

Cognitive architectures represent an umbrella term to describe ways in which the flow of thought can be engineered towards cerebral and behavioral outcomes. Cognitive Architectures are meant to provide top-down guidance, a knowledge base, interactive heuristics and concrete or fuzzy policies for which the virtual character can utilize for intelligent interaction with his/her/its situated virtual environment. Integrating Cognitive Architectures into Virtual Character Design presents emerging research on virtual character artificial intelligence systems and procedures and the integration of cognitive architectures. Emphasizing innovative methodologies for intelligent virtual character integration and design, this publication is an ideal reference source for graduate-level students, researchers, and professionals in the fields of artificial intelligence, gaming, and computer science.

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.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

Robotic animals are nowadays developed for various types of research, such as bio-inspired robotics, biomimetics and animal behavior studies. More specifically, in the case of collective animal behavior research, the robotic device can interact with animals by generating and exploiting signals relevant for social behavior. Once perceived by the animal society as conspecific, these robots can become powerful tools to study the animal behaviors, as they can at the same time monitor the changes in behavior and influence the collective choices of the animal society. In this book, we present novel robotized tools that can integrate shoals of fish in order to study their collective behaviors. We used the current state of the art on the zebrafish social behavior to define the specifications of the robots, and we performed stimuli analysis to improve their developments. Bio-inspired controllers were designed based on data extracted from experiments with zebrafish for the robots to mimic the zebrafish locomotion underwater. Experiments involving mixed groups of fish and robots qualified the robotic system to be integrated among a zebrafish shoal and to be able to influence the collective decisions of the fish. These results are very promising for the field of animal-robot interaction studies, as we showed the effect of the robots in long-duration experiments and repetitively, with the same order of response from the animals.

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 monograph presents new theories and methods for fixed-time cooperative control of multi-agent systems. Fundamental concepts of fixed-time stability and stabilization are introduced with insightful understanding. This book presents solutions for several problems of fixed-time cooperative control using systematic design methods. The book compares fixed-time cooperative control with asymptotic cooperative control, demonstrating how the former can achieve better closed-loop performance and disturbance rejection properties. It also discusses the differences from finite-time control, and shows how fixed-time cooperative control can produce the faster rate of convergence and provide an explicit estimate of the settling time independent of initial conditions. This monograph presents multiple applications of fixed-time control schemes, including to distributed optimization of multi-agent systems, making it useful to students, researchers and engineers alike.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

This volume presents the latest research and industrial applications in the areas of mechanism science, robotics and dynamics. The respective contributions cover such topics as computational kinematics, control issues in mechanical systems, mechanisms for medical rehabilitation, mechanisms for minimally invasive techniques, cable robots, design issues for mechanisms and robots, and the teaching and history of mechanisms. Written by leading researchers and engineers, and selected by means of a rigorous international peer-review process, the papers highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations. They reflect the outcomes of the 8th European Conference on Mechanism Science (EuCoMeS) in 2020.

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 introduces readers to using the simple but effective Zhang-gradient (ZG) method to solve tracking-control problems concerning various nonlinear systems, while also highlighting the applications of the ZG method to tracking control for practical systems, e.g. an inverted-pendulum-on-a-cart (IPC) system and a two-wheeled mobile robot (showing its potential applications). In addition to detailed theoretical analyses of ZG controllers, the book presents a wealth of computer simulations to demonstrate the feasibility and efficacy of the controllers discussed (as well as the method itself). More importantly, the superiority of ZG controllers in overcoming the division-by-zero (DBZ) problem is also illustrated. Given its scope and format, the book is well suited for undergraduate and graduate students, as well as academic and industrial researchers in the fields of neural dynamics/neural networks, nonlinear control, computer mathematics, time-varying problem solving, modeling and simulation, analog hardware, and robotics.

Mapping and localization are two essential tasks in autonomous mobile robotics. Due to the unavoidable noise that sensors present, mapping algorithms usually rely on loop closure detection techniques, which entail the correct identification of previously seen places to reduce the uncertainty of the resulting maps. This book deals with the problem of generating topological maps of the environment using efficient appearance-based loop closure detection techniques. Since the quality of a visual loop closure detection algorithm is related to the image description method and its ability to index previously seen images, several methods for loop closure detection adopting different approaches are developed and assessed. Then, these methods are used in three novel topological mapping algorithms. The results obtained indicate that the solutions proposed attain a better performance than several state-of-the-art approaches. To conclude, given that loop closure detection is also a key component in other research areas, a multi-threaded image mosaicing algorithm is proposed. This approach makes use of one of the loop closure detection techniques previously introduced in order to find overlapping pairs between images and finally obtain seamless mosaics of different environments in a reasonable amount of time.

The book reports on advanced topics in interactive robotics research and practice; in particular, it addresses non-technical obstacles to the broadest uptake of these technologies. It focuses on new technologies that can physically and cognitively interact with humans, including neural interfaces, soft wearable robots, and sensor and actuator technologies; further, it discusses important regulatory challenges, including but not limited to business models, standardization, education and ethical-legal-socioeconomic issues. Gathering the outcomes of the 1st INBOTS Conference (INBOTS2018), held on October 16-20, 2018 in Pisa, Italy, the book addresses the needs of a broad audience of academics and professionals working in government and industry, as well as end users. In addition to providing readers with detailed information and a source of inspiration for new projects and collaborations, it discusses representative case studies highlighting practical challenges in the implementation of interactive robots in a number of fields, as well as solutions to improve communication between different stakeholders. By merging engineering, medical, ethical and political perspectives, the book offers a multidisciplinary, timely snapshot of interactive robotics.

This proceedings book presents papers from the 10th Cambridge Workshops on Universal Access and Assistive Technology. The CWUAAT series of workshops have celebrated a long history of interdisciplinarity, including design disciplines, computer scientists, engineers, architects, ergonomists, ethnographers, ethicists, policymakers, practitioners, and user communities. This reflects the wider increasing realisation over the long duration of the series that design for inclusion is not limited to technology, engineering disciplines, and computer science but instead requires an interdisciplinary approach. The key to this is providing a platform upon which the different disciplines can engage and see each other's antecedents, methods, and point of view. This proceedings book of the 10th CWUAAT conference presents papers in a variety of topics including Reconciling usability, accessibility, and inclusive design; Designing inclusive assistive and rehabilitation systems; Designing cognitive interaction with emerging technologies; Designing inclusive architecture; Data mining and visualising inclusion; Legislation, standards, and policy in inclusive design; Situational inclusive interfaces; and The historical perspective: 20 years of CWUAAT. CWUAAT has always aimed to be inclusive in the fields that it invites to the workshop. We must include social science, psychologies, anthropologies, economists, politics, governance, and business. This requirement is now energised by imminent new challenges arising from techno-social change. In particular, artificial intelligence, wireless technologies, and the Internet of Things generate a pressing need for more socially integrated projects with operational consequences on individuals in the built environment and at all levels of design and society. Business cases and urgent environmental issues such as sustainability and transportation should now be a focus point for inclusion in an increasingly challenging world. This proceedings book continues the goal of designing for inclusion, as set out by the CWUAAT when it first started.

This is the proceedings of ARK 2018, the 16th International Symposium on Advances in Robot Kinematics, that was organized by the Group of Robotics, Automation and Biomechanics (GRAB) from the University of Bologna, Italy. ARK are international symposia of the highest level organized every two years since 1988. ARK provides a forum for researchers working in robot kinematics and stimulates new directions of research by forging links between robot kinematics and other areas.The main topics of the symposium of 2018 were: kinematic analysis of robots, robot modeling and simulation, kinematic design of robots, kinematics in robot control, theories and methods in kinematics, singularity analysis, kinematic problems in parallel robots, redundant robots, cable robots, over-constrained linkages, kinematics in biological systems, humanoid robots and humanoid subsystems.

Robots challenge humans' beliefs and expectations. Hence, regardless of whether they are the audience of a conference, the visitors of a lab, the citizens in general, some journalists, or the European Parliament, the first step in order to gain a better understanding of the field of robotics is obviously to consult the experts. Roboticists seem indeed to be in the best position to guide society in this matter, whether it is in the everyday life or within an official institution. Today however, there is a gap between the robots, as they are actually thought and built, and the intelligent and autonomous machines, as they are perceived by the society. How can we explain it? Do the words borrowed from the living organisms and used to describe robots play a role in the confusion about the status of the discipline of robotics? The texts gathered within this book focus on the problematic of wording robotics from various perspectives. They are the results of a unique interdisciplinary meeting gathering roboticists, linguists, philosophers and neuroscientists, the 4th Workshop of Anthropomorphic Motion Factory held at LAAS-CNRS in Toulouse on Nov 31st - Dec 1st 2017.

The book describes an approach to the multi-agent systems (MAS) design for applications of robotic soccer in the MiroSot category. The described MAS is designed for dynamic, quickly changing environments, in which not only the actions of our MAS are observed, but also those of the opposing MAS. It actively tries to affect the environment to score goals faster than the opposing MAS. Multi-agent systems (MAS) are mostly applied in the environments in which they exist and act without an opposing system. The book also describes strategies based on a supervisor that makes decisions depending on behavior prediction of the opposing MAS and the ball movement in the working place. A sophisticated distribution of tasks was designed for each agent to cooperate in order score goals as fast as possible. Simultaneously, these agents try, by permitted means, to prevent the enemy agents from scoring goals. The approach described is an excellent guide to the constantly evolving abilities of mobile robotics, both for real-world applications, such as cooperation of multiple robots in life-saving activities, and for the steadily developing applications of mobile robots in various robotic competitions (e.g. Robocup, etc.). The book provides readers with high-level knowledge on how to design strategies and how to implement such systems, and the ideas presented enable them to further refine the approach utilizing the latest hardware and use it in new systems implementations of sophisticated intelligent engineering.

Advanced research in the field of mechatronics and robotics represents a unifying interdisciplinary and intelligent engineering science paradigm. It is a holistic, concurrent, and interdisciplinary engineering science that identifies novel possibilities of synergizing and fusing different disciplines. The Handbook of Research on Advanced Mechatronic Systems and Intelligent Robotics is a collection of innovative research on the methods and applications of knowledge in both theoretical and practical skills of intelligent robotics and mechatronics. While highlighting topics including green technology, machine learning, and virtual manufacturing, this book is ideally designed for researchers, students, engineers, and computer practitioners seeking current research on developing innovative ideas for intelligent robotics and autonomous and smart interdisciplinary mechatronic products.

This book shares important findings on the application of robotics in industry using advanced mechanisms, including software and hardware. It presents a collection of recent trends and research on various advanced computing paradigms such as soft computing, robotics, smart automation, power control, and uncertainty analysis. The book constitutes the proceedings of the 1st International Conference on Application of Robotics in Industry using Advanced Mechanisms (ARIAM2019), which offered a platform for sharing original research findings, presenting innovative ideas and applications, and comparing notes on various aspects of robotics. The contributions highlight the latest research and industrial applications of robotics, and discuss approaches to improving the smooth functioning of industries. Moreover, they focus on designing solutions for complex engineering problems and designing system components or processes to meet specific needs, with due considerations for public health and safety, including cultural, societal, and environmental considerations. Taken together, they offer a valuable resource for researchers, scientists, engineers, professionals and students alike.