Robotics applications, initially developed for industrial and manufacturing contexts, are now strongly present in several elds. Besides well-known space and high-technology applications, robotics for every day life and medical s- vices is becoming more and more popular. As an example, robotic manipu- tors are particularly useful in surgery and radiation treatments, they could be employed for civil demining, for helping disabled people, and ultimately for domestic tasks, entertainment and education. Such a kind of robotic app- cations require the integration of many di erent skills. Autonomous vehicles and mobile robots in general must be integrated with articulated manipu- tors. Many robotic technologies (sensors, actuators and computing systems) must be properly used with speci c technologies (localisation, planning and control technologies). The task of designing robots for these applications is a hard challenge: a speci c competence in each area is demanded, in the e ort of a truly integrated multidisciplinary design.

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

The International Symposium on History of Machines and Mechanisms is a new initiative to promote explicitly researches and publications in the field of the History of TMM (Theory of Machines and Mechanisms). It was held at the University of Cassino, Italy, from 11 to 13 May 2000. The Symposium was devoted mainly to the technical aspects of historical developments and therefore it has been addressed mainly to the IFToMM Community. In fact, most the authors of the contributed papers are experts in TMM and related topics. This has been, indeed, a challenge: convincing technical experts to go further in-depth into the background of their topics of expertise. We have received a very positive response, as can be seen by the fact that these Proceedings contain contributions by authors from all around the world. We received about 50 papers, and after review about 40 papers were accepted for both presentation and publishing in the Proceedings. This means also that the History of TMM is of interest everywhere and, indeed, an in-depth knowledge of the past can be of great help in working on the present and in shaping the future with new ideas. I believe that a reader will take advantage of the papers in these Proceedings with further satisfaction and motivation for her or his work (historical or not). These papers cover the wide field of the History of Mechanical Engineering and particularly the History of TMM.

Evolutionary scheduling is a vital research domain at the interface of artificial intelligence and operational research. This edited book gives an overview of many of the current developments in the large and growing field of evolutionary scheduling. It demonstrates the applicability of evolutionary computational techniques to solve scheduling problems, not only to small-scale test problems, but also fully-fledged real-world problems.

Ever since fuzzy logic was introduced by Lotfi Zadeh in the mid-sixties and genetic algorithms by John Holland in the early seventies, these two fields widely been subjects of academic research the world over. During the last few years, they have been experiencing extremely rapid growth in the industrial world, where they have been shown to be very effective in solving real-world problems. These two substantial fields, together with neurocomputing techniques, are recognized as major parts of soft computing: a set of computing technologies already riding the waves of the next century to produce the human-centered intelligent systems of tomorrow; the collection of papers presented in this book shows the way. The book also contains an extensive bibliography on fuzzy logic and genetic algorithms.

Practical Handbook of Genetic Algorithms, Volume 3: Complex Coding Systems contains computer-code examples for the development of genetic algorithm systems - compiling them from an array of practitioners in the field. Each contribution of this singular resource includes: unique code segments documentation descripti

This is a pioneering work on the emerging field of artificial immune systems-highly distributed systems based on the principles of the natural system. Like artificial neural networks, artificial immune systems can learn new information and recall previously learned information. This book provides an overview of artificial immune systems, explaining its applications in areas such as immunological memory, anomaly detection algorithms, and modeling the effects of prior infection on vaccine efficacy.

With the advent of the 4th Industrial Revolution, the implementation of the nine pillars of technology has taken a firm root, especially after the post-COVID pandemic era. The integration of cyber-physical systems is one of the most important pillars that has led to the maximization of productivity, which also leads to the maximization of profits from a manufacturing system. This book discusses manufacturing enterprises, then looks at the theoretical and practical aspects of integrating these manufacturing systems using legacy and modern communication methodologies and relates them to the current level of technology readiness. Integration of Heterogenous Manufacturing Machinery in Cells and Systems: Policies and Practices focuses on the methods covering the use of Artificial Intelligence, Augmented Reality, the Internet of Things, and cellular and physical industrial communication. It describes the nine pillars of technology which include the Internet of Things, Cloud Computing, Autonomous, and Robotics Systems, Big Data Analytics, Augmented Reality, Cyber Security, Simulation, System integration, and Additive Manufacturing. The book highlights the methods used that cover mechanical, electrical, electronics, and computer software aspects of developing manufacturing machinery and discusses computer-aided design (CAD), production planning, and manufacturing, as well as production databases with basics and semantics. This book is an ideal reference for undergraduate, graduate, and postgraduate students of industrial, manufacturing, mechanical, and mechatronics engineering, along with professionals and general readers.