This volume features the complete text of the material presented at the Nineteenth Annual Conference of the Cognitive Science Society. Papers have been loosely grouped by topic and an author index is provided in the back. As in previous years, the symposium included an interesting mixture of papers on many topics from researchers with diverse backgrounds and different goals, presenting a multifaceted view of cognitive science. In hopes of facilitating searches of this work, an electronic index on the Internet's World Wide Web is provided. Titles, authors, and summaries of all the papers published here have been placed in an online database which may be freely searched by anyone. You can reach the web site at: www-csli.stanford.edu/cogsci97.

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.

Industrieroboter gehoren heute zum Alltag. In den letzten zehn Jahren verlagerte sich der Schwerpunkt der Neuentwicklungen weg von den Robotern selbst, hin zu alternativen Formen der kunstlichen Intelligenz, mit denen die Gerate ausgestattet werden. Dem Rechnung tragend, beschaftigt sich die zweite Auflage dieses Handbuchs vor allem mit Anwendungen und Strategien zur Problemlosung in der Industrie. Angesprochen werden Themen wie Graphiksimulatoren, objektorientierte Software, Kommunikationssysteme und Mikro- und Nanoroboter. (04/99)

This volume is an outgrowth of the workshop "Applications of Advanced Control Theory to Robotics and Automation, "organized in honor of the 70th birthdays of Petar V. Kokotovic and Salvatore (Turi) Nicosia. Both Petar and Turi have carried out distinguished work in the control community and have long been recognized as mentors, as well as experts and pioneers in the field of automatic control, covering many topics in control theory and several different applications. The variety of their research is reflected in this book, which includes contributions ranging from mathematics to laboratory experiments. The scope of the work is very broad, and although each chapter is self-contained, the book has been organized into thematically related chapters, which in some cases, suggest to the reader a convenient reading sequence. The great variety of topics covered and the almost tutorial writing style used by many of the authors will make this book suitable for both experts in the control field and young researchers who seek a more intuitive understanding of these relevant topics in the field.

Foreword by Michael Arbib This introduction to the principles, design, and practice of intelligent behavior-based autonomous robotic systems is the first true survey of this robotics field. The author presents the tools and techniques central to the development of this class of systems in a clear and thorough manner. Following a discussion of the relevant biological and psychological models of behavior, he covers the use of knowledge and learning in autonomous robots, behavior-based and hybrid robot architectures, modular perception, robot colonies, and future trends in robot intelligence. The text throughout refers to actual implemented robots and includes many pictures and descriptions of hardware, making it clear that these are not abstract simulations, but real machines capable of perception, cognition, and action.