This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the fast in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented.
This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the fast in a pr...
This book bridges the gap between system theory and global climate change research, and benefits both. A representative set of systems problems is listed indicating how such cross-fertilization would enhance present understanding of global problems while assisting the extension of systems theory. The goal is a comprehensive conceptual model of global change which encompasses atmosphere, lithosphere, ocean, biosphere and cryosphere. The systems model is developed in two steps using a "block diagram" approach. First, causality flows among principal components are identified and a block diagram...
This book bridges the gap between system theory and global climate change research, and benefits both. A representative set of systems problems is lis...
This book comprises the proceedings of one of the most important international conferences in robotics. The individual contributions focus primarily on mechanical engineering and control and are unique in describing work completed in Eastern and Central European Countries and the former USSR. The annual symposia play an important role in the development of the theory and practice of manipulators, walking machines, robots, and the papers present significant contributions from experts in the field. The connection between biomechanics, robotics, and other related sciences is examined, as well as...
This book comprises the proceedings of one of the most important international conferences in robotics. The individual contributions focus primarily o...
This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective is to present and discuss in depth the research results and current developments in Robotics. A broad spectrum of fields is presented in the papers, e.g. manipulator control, mobile robots, legged locomotion, perception and vision, and control architectures. The papers in the proceedings provide a unique combination of theoretical foundation and experimental validation. The editors have divided the text into ten sections with a synopsis by the...
This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective ...
This book is a collection of work arising from a NSF/ AFOSR sponsored workshop held at the University of California, Santa Barbara, 18-20th June 1992. Sixty-nine researchers, from nine countries, participated. Twelve keynote essays give an overview of the field and speculate on future directions and nineteen technical papers delineate the state of the art in the field. This book serves both as in introduction to the topic and as a reference on the current technical problems and approaches.
This book is a collection of work arising from a NSF/ AFOSR sponsored workshop held at the University of California, Santa Barbara, 18-20th June 1992....
The theory of the operation of many modern man-made discrete event systems such as manufacturing systems, computer and communications networks largely belongs in the domain of queuing theory and operations research. However, some recent research indicates that the evolution of these man-made systems demonstrates dynamic features that are similar to those of natural physical systems. This monograph presents a multidisciplinary approach to the study of discrete event systems, and is complementary to textbooks in queuing and control systems theories.
The theory of the operation of many modern man-made discrete event systems such as manufacturing systems, computer and communications networks largely...
