Max-Plus Linear Stochastic Systems and Perturbation Analysis


Book Description

This book provides a thorough review and explanation of the theory of stochastic max-plus linear systems, which has seen rapid advances in the last decade. The coverage includes modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, developing a calculus for differentiation of max-plus systems. This leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.




Quantitative Evaluation of Systems


Book Description

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.




Human-Computer Systems Interaction


Book Description

This book presents a fascinating, state-of-the-art collection of papers on the recent advances in human-computer systems interaction (H-CSI). It offers a detailed description of the status quo in the H-CSI field and also provides a solid base for further development and research in the area. The content is divided into three parts: I. Aid systems for disabled people; II. Decision-making support systems; and III. Information and communication systems. It is intended for a wide audience of readers who are not necessarily experts in computer science, machine learning or knowledge engineering, but are interested in human-computer systems interaction, and the combination of general and specific papers offers readers deeper insights than might be gleaned from research papers or talks at conferences. It touches on all the current hot topics in the field of H-CSI.







23rd DASC


Book Description




Max-linear Systems: Theory and Algorithms


Book Description

Recent years have seen a significant rise of interest in max-linear theory and techniques. Specialised international conferences and seminars or special sessions devoted to max-algebra have been organised. This book aims to provide a first detailed and self-contained account of linear-algebraic aspects of max-algebra for general (that is both irreducible and reducible) matrices. Among the main features of the book is the presentation of the fundamental max-algebraic theory (Chapters 1-4), often scattered in research articles, reports and theses, in one place in a comprehensive and unified form. This presentation is made with all proofs and in full generality (that is for both irreducible and reducible matrices). Another feature is the presence of advanced material (Chapters 5-10), most of which has not appeared in a book before and in many cases has not been published at all. Intended for a wide-ranging readership, this book will be useful for anyone with basic mathematical knowledge (including undergraduate students) who wish to learn fundamental max-algebraic ideas and techniques. It will also be useful for researchers working in tropical geometry or idempotent analysis.




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.




Nonlinear Dynamics of Production Systems


Book Description

This reference work provides a comprehensive insight into past developments in the application of non-linear dynamics, such as production systems in the manufacturing and process engineering, mechanical engineering and plant construction and automation technology. As such, it is the first publication to document the successful implementation of non-linear dynamics into current tasks or problems of engineering thus far unsolved. The interdisciplinary team of contributors from research and industry establishes ties between mechanical methods of manufacturing and new methods reaching the dynamics of production lines and complete production systems.




Max Plus at Work


Book Description

Trains pull into a railroad station and must wait for each other before leaving again in order to let passengers change trains. How do mathematicians then calculate a railroad timetable that accurately reflects their comings and goings? One approach is to use max-plus algebra, a framework used to model Discrete Event Systems, which are well suited to describe the ordering and timing of events. This is the first textbook on max-plus algebra, providing a concise and self-contained introduction to the topic. Applications of max-plus algebra abound in the world around us. Traffic systems, computer communication systems, production lines, and flows in networks are all based on discrete even systems, and thus can be conveniently described and analyzed by means of max-plus algebra. The book consists of an introduction and thirteen chapters in three parts. Part One explores the introduction of max-plus algebra and of system descriptions based upon it. Part Two deals with a real application, namely the design of timetables for railway networks. Part Three examines various extensions, such as stochastic systems and min-max-plus systems. The text is suitable for last-year undergraduates in mathematics, and each chapter provides exercises, notes, and a reference section.




Flexible Manufacturing Systems: Recent Developments


Book Description

Flexible Manufacturing Systems (FMS) involve substituting machines capable of performing a wide and redefinable variety of tasks for machines dedicated to the performance of specific tasks. FMS can also be programmed to handle new products, thus extending the machines' life cycles. Thus they represent a change from "standardized goods produced by customized machines" to "customized goods produced by standardized machines". This volume contains new and updated material in this field, and will be of great interest to researchers, managers and students concerned with problems related to flexible manufacturing systems.