Special Issue Autonomous Robot Systems

This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). The aim was to bring together researchers from autonomous agents, as well as software engineering and robotics communities, as combining knowledge from these three research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems.

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The presence of mobile robots in diverse scenarios is considerably increasing to perform a variety of tasks. Among them, many developments have occurred in the fields of ground, underwater, and flying robotics. Independent of the environment where they move, navigation is a fundamental ability of mobile robots so that they can autonomously complete high-level tasks. This problem can be efficiently addressed through the following actions: First, it is necessary to perceive the environment in which the robot has to move, and extract some relevant information (mapping problem). Second, the robot must be able to estimate its position and orientation within this environment (localization problem). With this information, a trajectory toward the target points must be planned (path planning), and the vehicle must be reactively guided along this trajectory considering either possible changes or interactions with the environment or with the user (control). Given this information, this book introduces current frameworks in these fields (mapping, localization, path planning, and control) and, in general, approaches to any problem related to the navigation of mobile robots, such as odometry, exploration, obstacle avoidance, and simulation.

The 6th International Symposium on Distributed Autonomous Robotic Systems (DARS 2002) was held in June 2002 in Fukuoka, Japan, a decade after the first DARS symposium was convened. This book, containing the proceedings of the symposium, provides broad coverage of the technical issues in the current state of the art in distributed autonomous systems composed of multiple robots, robotic modules, or robotic agents. DARS 2002 dealt with new strategies for realizing complex, modular, robust, and fault-tolerant robotic systems, and this volume covers the technical areas of system design, modeling, simulation, operation, sensing, planning, and control. The papers that are included here were contributed by leading researchers from Asia, Oceania, Europe, and the Americas, and make up an invaluable resource for researchers and students in the field of distributed autonomous robotic systems.

An introduction to the science and practice of autonomous robots that reviews over 300 current systems and examines the underlying technology. Autonomous robots are intelligent machines capable of performing tasks in the world by themselves, without explicit human control. Examples range from autonomous helicopters to Roomba, the robot vacuum cleaner. In this book, George Bekey offers an introduction to the science and practice of autonomous robots that can be used both in the classroom and as a reference for industry professionals. He surveys the hardware implementations of more than 300 current systems, reviews some of their application areas, and examines the underlying technology, including control, architectures, learning, manipulation, grasping, navigation, and mapping. Living systems can be considered the prototypes of autonomous systems, and Bekey explores the biological inspiration that forms the basis of many recent developments in robotics. He also discusses robot control issues and the design of control architectures. After an overview of the field that introduces some of its fundamental concepts, the book presents background material on hardware, control (from both biological and engineering perspectives), software architecture, and robot intelligence. It then examines a broad range of implementations and applications, including locomotion (wheeled, legged, flying, swimming, and crawling robots), manipulation (both arms and hands), localization, navigation, and mapping. The many case studies and specific applications include robots built for research, industry, and the military, among them underwater robotic vehicles, walking machines with four, six, and eight legs, and the famous humanoid robots Cog, Kismet, ASIMO, and QRIO. The book concludes with reflections on the future of robotics—the potential benefits as well as the possible dangers that may arise from large numbers of increasingly intelligent and autonomous robots.

The biennial Congress of the Italian Society of Oral Pathology and Medicine (SIPMO) is an International meeting dedicated to the growing diagnostic challenges in the oral pathology and medicine field. The III International and XV National edition will be a chance to discuss clinical conditions which are unusual, rare, or difficult to define. Many consolidated national and international research groups will be involved in the debate and discussion through special guest lecturers, academic dissertations, single clinical case presentations, posters, and degree thesis discussions. The SIPMO Congress took place from the 17th to the 19th of October 2019 in Bari (Italy), and the enclosed copy of Proceedings is a non-exhaustive collection of abstracts from the SIPMO 2019 contributions.