Software Engineering for Robotics
Software Engineering for Robotics

Author: Ana Cavalcanti

Publisher: Springer Nature

Published: 2021-07-05

Total Pages: 483

ISBN-13: 3030664945

DOWNLOAD EBOOK

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.

Introduction to Autonomous Robots
Introduction to Autonomous Robots

Author: Nikolaus Correll

Publisher:

Published: 2016-04-25

Total Pages: 226

ISBN-13: 9780692700877

DOWNLOAD EBOOK

This book introduces concepts in mobile, autonomous robotics to 3rd-4th year students in Computer Science or a related discipline. The book covers principles of robot motion, forward and inverse kinematics of robotic arms and simple wheeled platforms, perception, error propagation, localization and simultaneous localization and mapping. The cover picture shows a wind-up toy that is smart enough to not fall off a table just using intelligent mechanism design and illustrate the importance of the mechanism in designing intelligent, autonomous systems. This book is open source, open to contributions, and released under a creative common license.

Agents and Robots for Reliable Engineered Autonomy
Agents and Robots for Reliable Engineered Autonomy

Author: Angelo Ferrando

Publisher: Springer

Published: 2024-12-02

Total Pages: 0

ISBN-13: 9783031731792

DOWNLOAD EBOOK

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conjunction with ECAI 2024. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 14 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence.

Advances in Intelligent Autonomous Systems
Advances in Intelligent Autonomous Systems

Author: S.G. Tzafestas

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 544

ISBN-13: 9401147906

DOWNLOAD EBOOK

This collection of twenty-three timely contributions covers a well-selected repertory of topics within the autonomous systems field. The book discusses a range of design, construction, control, and operation problems along with a multiplicity of well-established and novel solutions.

Intelligent Autonomous Systems
Intelligent Autonomous Systems

Author: Dilip Kumar Pratihar

Publisher: Springer Science & Business Media

Published: 2010-02-24

Total Pages: 269

ISBN-13: 3642116752

DOWNLOAD EBOOK

This research book contains a sample of most recent research in the area of intelligent autonomous systems. The contributions include: General aspects of intelligent autonomous systems Design of intelligent autonomous robots Biped robots Robot for stair-case navigation Ensemble learning for multi-source information fusion Intelligent autonomous systems in psychiatry Condition monitoring of internal combustion engine Security management of an enterprise network High dimensional neural nets and applications This book is directed to engineers, scientists, professor and the undergraduate/postgraduate students who wish to explore this field further.

Robotics
Robotics

Author: Nicholas Roy

Publisher: MIT Press

Published: 2013-07-05

Total Pages: 501

ISBN-13: 0262519682

DOWNLOAD EBOOK

Robotics: Science and Systems VIII spans a wide spectrum of robotics, bringing together contributions from researchers working on the mathematical foundations of robotics, robotics applications, and analysis of robotics systems.

Space Robotics and Autonomous Systems
Space Robotics and Autonomous Systems

Author: Yang Gao

Publisher: IET

Published: 2021-08-24

Total Pages: 485

ISBN-13: 1839532254

DOWNLOAD EBOOK

This edited book covers space robotics and autonomous systems (space RAS) from technologies to advances and applications including sensing and perception, mobility, manipulations, high-level autonomy, human-robot interaction, multi-modal interaction, modelling and simulation, and safety and trust.

Autonomous Robots
Autonomous Robots

Author: George A. Bekey

Publisher: MIT Press

Published: 2005-05-20

Total Pages: 595

ISBN-13: 0262292475

DOWNLOAD EBOOK

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.

Mobile Robots Navigation
Mobile Robots Navigation

Author: Luis Payá

Publisher: MDPI

Published: 2020-11-13

Total Pages: 298

ISBN-13: 3039286706

DOWNLOAD EBOOK

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.

Introduction to Autonomous Mobile Robots, second edition
Introduction to Autonomous Mobile Robots, second edition

Author: Roland Siegwart

Publisher: MIT Press

Published: 2011-02-18

Total Pages: 473

ISBN-13: 0262015358

DOWNLOAD EBOOK

The second edition of a comprehensive introduction to all aspects of mobile robotics, from algorithms to mechanisms. Mobile robots range from the Mars Pathfinder mission's teleoperated Sojourner to the cleaning robots in the Paris Metro. This text offers students and other interested readers an introduction to the fundamentals of mobile robotics, spanning the mechanical, motor, sensory, perceptual, and cognitive layers the field comprises. The text focuses on mobility itself, offering an overview of the mechanisms that allow a mobile robot to move through a real world environment to perform its tasks, including locomotion, sensing, localization, and motion planning. It synthesizes material from such fields as kinematics, control theory, signal analysis, computer vision, information theory, artificial intelligence, and probability theory. The book presents the techniques and technology that enable mobility in a series of interacting modules. Each chapter treats a different aspect of mobility, as the book moves from low-level to high-level details. It covers all aspects of mobile robotics, including software and hardware design considerations, related technologies, and algorithmic techniques. This second edition has been revised and updated throughout, with 130 pages of new material on such topics as locomotion, perception, localization, and planning and navigation. Problem sets have been added at the end of each chapter. Bringing together all aspects of mobile robotics into one volume, Introduction to Autonomous Mobile Robots can serve as a textbook or a working tool for beginning practitioners. Curriculum developed by Dr. Robert King, Colorado School of Mines, and Dr. James Conrad, University of North Carolina-Charlotte, to accompany the National Instruments LabVIEW Robotics Starter Kit, are available. Included are 13 (6 by Dr. King and 7 by Dr. Conrad) laboratory exercises for using the LabVIEW Robotics Starter Kit to teach mobile robotics concepts.