Formal Methods in Manufacturing


Book Description

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.







Fleet Management and Logistics


Book Description

TEODOR GABRIEL CRAINIC, DIRECTOR The Centre for Research on Transportation (C.R.T.) was founded in 1971 by the Universite de Montreal. From 1988 on, it is jointly managed by the Universite de Montreal and its affiliated schools, the Ecole des Hautes Etudes Commerciales and Ecole Poly technique. Professors, students and researchers from many institutions in the Montreal area join forces at the C.R.T. to analyze transportation, logistics and telecommunication systems from a multidisciplinary perspective. The C.R.T. pursues three major, complementary objectives: training of high-level specialists; the advancement of knowledge and technology; the transfer of technology towards industry and the public sector. Its main field of expertise is the develop ment of quantitative and computer-based models and methods for the analysis of urban, regional and intercity transportation networks, as well as telecommunication systems. This applies to the study of passenger and commodity flows, as well as to the socioeconomic aspects of transportation: policy, regulation, economics. The twenty-fifth anniversary of the C.R.T. offered the opportunity to evaluate past accomplishments and to identify future trends and challenges. Five colloquia were thus organized on major research and application themes that also reflected our main research areas. They gathered together internationally renowned researchers who linked recent scientific and technological advances to modeling and methodological challenges waiting to be tackled, particularly concerning new problems and applica tions, and the increasingly widespread use of new technologies.










Bulletin recherches hydrauliques


Book Description




Handbook of Continuum Mechanics


Book Description

Outstanding approach to continuum mechanics. Its high mathematical level of teaching together with abstracts, summaries, boxes of essential formulae and numerous exercises with solutions, makes this handbook one of most complete books in the area. Students, lecturers, and practitioners will find this handbook a rich source for their studies or daily work.




Hydraulic Research


Book Description




Discrete Convex Analysis


Book Description

Discrete Convex Analysis is a novel paradigm for discrete optimization that combines the ideas in continuous optimization (convex analysis) and combinatorial optimization (matroid/submodular function theory) to establish a unified theoretical framework for nonlinear discrete optimization. The study of this theory is expanding with the development of efficient algorithms and applications to a number of diverse disciplines like matrix theory, operations research, and economics. This self-contained book is designed to provide a novel insight into optimization on discrete structures and should reveal unexpected links among different disciplines. It is the first and only English-language monograph on the theory and applications of discrete convex analysis.




Applications of Time Delay Systems


Book Description

This book provides an update of the latest research in control of time delay systems and applications by world leading experts. It will appeal to engineers, researchers and students in Control.