58 Engineering Springer News 6/2008 springer.com/booksellers S. Akella, N. Amato, W. Huang, B. Mishra (Eds.) B. Apolloni, University of Milano, Italy; W. Pedrycz, V. Botti, A. Giret, Technical University of Valencia, University of Alberta, Edmonton, Canada; S. Bassis, Spain Algorithmic Foundation of D. Malchiodi, University of Milano, Italy Robotics VII ANEMONA The Puzzle of Granular A Multi-agent Methodology for Holonic Selected Contributions of the Seventh Computing International Workshop on the Algorithmic Manufacturing Systems Foundations of Robotics “Rem tene, verba sequentur“ Gaius J. Victor, Rome ANEMONA is a multi-agent system (MAS) meth- VI century b.c. odology for holonic manufacturing system (HMS) Algorithms are a fundamental component of The ultimate goal of this book is to bring the analysis and design, based on HMS requirements. robotic systems: they control or reason about fundamental issues of information granularity, ANEMONA defines a mixed top-down and bottom- motion and perception in the physical world. inference tools and problem solving procedures up development process, and provides HMS-specific They receive input from noisy sensors, consider into a coherent, unified, and fully operational guidelines to help the designer in identifying and geometric and physical constraints, and operate on framework. The objective is to offer the reader a implementing holons. In ANEMONA, the specified the world through imprecise actuators. The design comprehensive, self-contained, and uniform expo- HMS is divided into concrete aspects that form and analysis of robot algorithms therefore raises a sure to the subject.The strategy is to isolate some different “views” of the system. unique combination of questions in control theory, fundamental bricks of Computational Intelligence The development process of ANEMONA provides computational and differential geometry, and in terms of key problems and methods, and discuss clear and HMS-specific modelling guidelines computer science. their implementation and underlying rationale for HMS designers, and complete development This book contains the proceedings from the within a well structured and rigorous conceptual phases for the HMS life cycle. The analysis phase 2006 Workshop on the Algorithmic Foundations framework as well as carefully related to various is defined in two stages: System Requirements of Robotics. This biannual workshop is a highly application facets. The main assumption is that a Analysis, and Holon Identification and Specifi- selective meeting of leading researchers in the field deep understanding of the key problems will allow cation. This analysis provides high-level HMS of algorithmic issues related to robotics. The 32 the reader to compose into a meaningful mosaic specifications from the requirements, adopting a papers in this book span a wide variety of topics: the puzzle pieces represented by the immense top-down recursive approach. An advantage of this from fundamental motion planning algorithms varieties of approaches present in the literature and recursive analysis is that its results, i.e. the analysis to applications in medicine and biology, but they in the computational practice. models, provide a set of elementary elements and have in common a foundation in the algorithmic assembling rules. problems of robotic systems. Features 7 Highly unique and relevant book presenting Features Features the key fundamentals and practice of Granular 7 Provides clear modeling guidelines for 7 Consists of selected contributions to the highly Computing 7 Brings the fundamental issues of designers of holonic manufacturing systems competitive meeting on the Algorithmic Founda- information granularity and statistical inference (HMS), and complete development phases for the tions of Robotics WAFR into a coherent, unified, and highly operational HMS life cycle framework Contents Contents Probabilistic Roadmap Methods (PRMs).- Plan- From the contents Introduction.- Part I Backgrounds.- Holonic ning for Movable and Moving Obstacles.- Navi- The general framework.- Granule formation Manufacturing Systems.- Holons and Agents.- gation, SLAM, and Error Models for Filtering/ around data.- Part I Algorithmic Inference.- Part II Methodology for Holonic Manufacturing Control.- Geometric Computations and Appli- Modeling samples.- Inferring from samples.- Part System.- HMS Development.- ANEMONA Nota- cations.- Motion Planning.- Applications in II The development of Fuzzy Sets.- Construction of tion.- ANEMONA Development Process.- Part Medicine and Biology.- Control and Planning information granules.- Estimating Fuzzy Sets.- Part III Evaluation and Case Study.- Evaluation of the for Mechanical Systems.- Sensor Networks and III Expanding granula into boolean functions.- The ANEMONA Methodology.- Case Study.- Conclu- Reconfiguration.- Planning for Games, VR, and clustering problem.- Suitably representing data.- sions. Humanoid Motion. Part IV Directing populations. Fields of interest Fields of interest Fields of interest Manufacturing, Machines, Tools; Simulation and Automation and Robotics; Artificial Intelligence Appl. Mathematics/Computational Methods of Modeling (incl. Robotics); Systems Theory, Control Engineering; Software Engineering Target groups Target groups Target groups Industrial and academic practitioners, researchers, Researchers, students and professionals in robotics, Engineers, researchers, and graduate students and postgraduates in manufacturing engineering; computer science, computational geometry, in computational intelligence and granular postgraduates and researchers in artificial intel- control theory computing ligence and software engineering Type of publication Type of publication Type of publication Monograph Monograph Monograph Due June 2008 Due June 2008 Due September 2008 2008. Approx. 490 p. (Springer Tracts in Advanced 2008. Approx. 460 p. (Studies in Computational Intel- 2008. Approx. 235 p. 146 illus. (Springer Series in Robotics, Volume 47) Hardcover ligence, Volume 138) Hardcover Advanced Manufacturing) Hardcover 7 € 119,95 | £90.50 7 € 129,95 | £100.00 7 € 99,95 | £65.00 9<HTOFPA=gieaeg>ISBN 978-3-540-68404-6 9<HTOFPA=hjigdh>ISBN 978-3-540-79863-7 9<HTMIPI=aadajf>ISBN 978-1-84800-309-5 springer.com/booksellers Springer News 6/2008 Engineering 59 M. Boulé, Z. Zilic, McGill University, Canada P. P. Camanho, C. Dávila, S. Pinho, J. Remmers (Eds.) P. Coussy, European University of Brittany, Lorient, France; A. Morawiec, ECSI, Gières, France (Eds.) Generating Hardware Mechanical Response of Assertion Checkers Composites High-Level Synthesis For Hardware Verification, Emulation, from Algorithm to Digital Circuit Post-Fabrication Debugging and On-Line Monitoring This book contains twelve selected papers presented at the ECCOMAS Thematic Conference The successful usage of Hardware Description – Mechanical Response of Composites, and the Languages like VHDL and Verilog in design papers presented by the three plenary speakers. flows is mainly due to the availability of effi- Assertion-based design is a powerful new para- It describes recent advances in the field of analysis cient synthesis methods and tools that enable digm that is facilitating quality improvement in models for the mechanical response of advanced the translation of RTL designs into optimized electronic design. Assertions are statements used composite materials, ranging from the simula- gate-level implementations. Many expect that the to describe properties of the design (I.e., design tion of the manufacturing process to the inelastic same approach could be effectively adapted at intent), that can be included to actively check response and collapse of the material. The analysis higher levels of abstraction. In the SoCs context, correctness throughout the design cycle and even models are based on recent advances in compu- the traditional IC design methodology relying the lifecycle of the product. With the appearance of tational mechanics such as multi-scale modeling, on EDA tools used in a two stages design flow two new languages, PSL and SVA, assertions have cohesive and partition of unity models. - a VHDL/Verilog RTL specification, followed by already started to improve verification quality and logical and physical synthesis - is indeed no more productivity. Features suitable. Thus, actual complex SoCs need new This is the first book that presents an “under-the- 7 The use of advanced computational methods ESL level tools in order to raise the specification hood” view of generating assertion checkers, and for the simulation of a broad range of physical abstraction level up to the algorithmic / behavioral as such provides a unique and consistent perspec- processes in different types of advanced composite one. However, in order to provide the designers tive on employing assertions in major areas, such materials (unidirectional, woven and non-crimp with an efficient automated path to implementa- as: specification, verification, debugging, on-line fabrics, nanocomposites) 7 The physical tion, new high-level synthesis tools and approaches monitoring and design quality improvement. processes addressed include the manufacturing are required. The PSL and SVA languages are treated in a unified processes, the elastic and inelastic material way, thereby facilitating better learning and usage response at several scales, and the structural Features of the modern assertion languages, with a focus on collapse 7 Extensive presentation of the leading research obtaining the highest performance from assertion