Robotics has come to attract the attention of mathematicians and theoretical computer scientists to a rapidly increasing degree. Initial investigations have shown that robotics is a rich source of deep theoretical problems, which range over computational geometry, control theory, and many aspects of physics, and whose solutions draw upon methods developed in subjects as diverse as automata theory, algebraic topology, and Fourier analysis.
The Complexity of Robot Motion Planning makes original contributions both to roboticsand to the analysis of algorithms. In this groundbreaking monograph John Canny resolveslong-standing problems concerning the complexity of motion planning and, for the central problem offinding a collision free path for a jointed robot in the presence of obstacles, obtains exponentialspeedups over existing algorithms by applying high-powered new mathematical techniques.Canny's newalgorithm for this "generalized movers' problem," the most-studied and basic robot motion planningproblem, has a single exponential running time, and is polynomial for any given robot. The algorithmhas an optimal running time exponent and is based on the notion of roadmaps - one-dimensionalsubsets of the robot's configuration space. In deriving the single exponential bound, Cannyintroduces and reveals the power of two tools that have not been previously used in geometricalgorithms: the generalized (multivariable) resultant for a system of polynomials and Whitney'snotion of stratified sets. He has also developed a novel representation of object orientation basedon unnormalized quaternions which reduces the complexity of the algorithms and enhances theirpractical applicability.After dealing with the movers' problem, the book next attacks and derivesseveral lower bounds on extensions of the problem: finding the shortest path among polyhedralobstacles, planning with velocity limits, and compliant motion planning with uncertainty. Itintroduces a clever technique, "path encoding," that allows a proof of NP-hardness for the first twoproblems and then shows that the general form of compliant motion planning, a problem that is thefocus of a great deal of recent work in robotics, is non-deterministic exponential time hard. Cannyproves this result using a highly original construction.John Canny received his doctorate from MITAnd is an assistant professor in the Computer Science Division at the University of California,Berkeley. The Complexity of Robot Motion Planning is the winner of the 1987 ACM DoctoralDissertation Award.
Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. Written for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that tightly integrates a vast body of literature from several fields into a coherent source for teaching and reference in a wide variety of applications. Difficult mathematical material is explained through hundreds of examples and illustrations.
One of the ultimate goals in Robotics is to create autonomous robots. Such robots will accept high-level descriptions of tasks and will execute them without further human intervention. The input descriptions will specify what the user wants done rather than how to do it. The robots will be any kind of versatile mechanical device equipped with actuators and sensors under the control of a computing system. Making progress toward autonomous robots is of major practical inter est in a wide variety of application domains including manufacturing, construction, waste management, space exploration, undersea work, as sistance for the disabled, and medical surgery. It is also of great technical interest, especially for Computer Science, because it raises challenging and rich computational issues from which new concepts of broad useful ness are likely to emerge. Developing the technologies necessary for autonomous robots is a formidable undertaking with deep interweaved ramifications in auto mated reasoning, perception and control. It raises many important prob lems. One of them - motion planning - is the central theme of this book. It can be loosely stated as follows: How can a robot decide what motions to perform in order to achieve goal arrangements of physical objects? This capability is eminently necessary since, by definition, a robot accomplishes tasks by moving in the real world. The minimum one would expect from an autonomous robot is the ability to plan its x Preface own motions.
Information communication technologies have become the necessity in everyday life enabling increased level of communication, processing and information exchange to extent that one could not imagine only a decade ago. Innovations in these technologies open new fields in areas such as: language processing, biology, medicine, robotics, security, urban planning, networking, governance and many others. The applications of these innovations are used to define services that not only ease, but also increase the quality of life. Good education is essential for establishing solid basis of individual development and performance. ICT is integrated part of education at every level and type. Therefore, the special focus should be given to possible deployment of the novel technologies in order to achieve educational paradigms adapted to possible educational consumer specific and individual needs. This book offers a collection of papers presented at the Fifth International Conference on ICT Innovations held in September 2013, in Ohrid, Macedonia. The conference gathered academics, professionals and practitioners in developing solutions and systems in the industrial and business arena especially innovative commercial implementations, novel applications of technology, and experience in applying recent ICT research advances to practical solutions.
Computer Science Workbench is a monograph series which will provide you with an in-depth working knowledge of current developments in computer technology. Every volume in this series will deal with a topic of importance in computer science and elaborate on how you yourself can build systems related to the main theme. You will be able to develop a variety of systems, including computer software tools, computer graphics, computer animation, database management systems, and computer-aided design and manufacturing systems. Computer Science Workbench represents an important new contribution in the field of practical computer technology. TOSIYASU L. KUNII To my parents Kenjiro and Nori Fujimura Preface Motion planning is an area in robotics that has received much attention recently. Much of the past research focuses on static environments - various methods have been developed and their characteristics have been well investigated. Although it is essential for autonomous intelligent robots to be able to navigate within dynamic worlds, the problem of motion planning in dynamic domains is relatively little understood compared with static problems.
Ever since the literary works of Capek and Asimov, mankind has been fascinated by the idea of robots. Modern research in robotics reveals that along with many other branches of mathematics, topology has a fundamental role to play in making these grand ideas a reality. This volume summarizes recent progress in the field of topological robotics--a new discipline at the crossroads of topology, engineering and computer science. Currently, topological robotics is developing in two main directions. On one hand, it studies pure topological problems inspired by robotics and engineering. On the other hand, it uses topological ideas, topological language, topological philosophy, and specially developed tools of algebraic topology to solve problems of engineering and computer science. Examples of research in both these directions are given by articles in this volume, which is designed to be a mixture of various interesting topics of pure mathematics and practical engineering.
The role played by hormones in the development and treatment of malignant tumors has been controversial for nearly 50 years. The present volume concentrates on substantiated data obtained from the study of tumors developing from hormone-related or hormone-producing tissue, for example the thyroid, adrenal glands, prostate, and the female genital tract. Combining expertise from the fields of molecular biology, biochemistry, and histopathology, advances in the management of these tumors are elaborated. The book also provides information on the endonuclear diagnosis of adrenal tumors. Antihormones have proved to be important as they exhibit a destructive effect on prostate carcinomas and breast cancer. In addition, a special chapter discusses the diffuse endocrine cell system (DECS). Bridging the gap between molecular biology and endocrine therapy, the editors present innovative data on many aspects of hormone-related malignant tumors and offer both a survey of present knowledge and a basis for further research.
Offers a theoretical and practical guide to the communication and navigation of autonomous mobile robots and multi-robot systems This book covers the methods and algorithms for the navigation, motion planning, and control of mobile robots acting individually and in groups. It addresses methods of positioning in global and local coordinates systems, off-line and on-line path-planning, sensing and sensors fusion, algorithms of obstacle avoidance, swarming techniques and cooperative behavior. The book includes ready-to-use algorithms, numerical examples and simulations, which can be directly implemented in both simple and advanced mobile robots, and is accompanied by a website hosting codes, videos, and PowerPoint slides Autonomous Mobile Robots and Multi-Robot Systems: Motion-Planning, Communication and Swarming consists of four main parts. The first looks at the models and algorithms of navigation and motion planning in global coordinates systems with complete information about the robot’s location and velocity. The second part considers the motion of the robots in the potential field, which is defined by the environmental states of the robot's expectations and knowledge. The robot's motion in the unknown environments and the corresponding tasks of environment mapping using sensed information is covered in the third part. The fourth part deals with the multi-robot systems and swarm dynamics in two and three dimensions. Provides a self-contained, theoretical guide to understanding mobile robot control and navigation Features implementable algorithms, numerical examples, and simulations Includes coverage of models of motion in global and local coordinates systems with and without direct communication between the robots Supplemented by a companion website offering codes, videos, and PowerPoint slides Autonomous Mobile Robots and Multi-Robot Systems: Motion-Planning, Communication and Swarming is an excellent tool for researchers, lecturers, senior undergraduate and graduate students, and engineers dealing with mobile robots and related issues.
