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




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.







Encyclopaedia of Mathematics


Book Description

This is the first Supplementary volume to Kluwer's highly acclaimed Encyclopaedia of Mathematics. This additional volume contains nearly 600 new entries written by experts and covers developments and topics not included in the already published 10-volume set. These entries have been arranged alphabetically throughout. A detailed index is included in the book. This Supplementary volume enhances the existing 10-volume set. Together, these eleven volumes represent the most authoritative, comprehensive up-to-date Encyclopaedia of Mathematics available.




Manufacturing Systems Control Design


Book Description

This book covers all the steps from identification of operations and resources to the transformation of virtual models into real-world algorithms. The matrix-based approach presented here is a solution to the real-time application of control in discrete event systems and flexible manufacturing systems (FMS), and offers a sound practical basis for the design of controllers for manufacturing systems.




Monotone Structure in Discrete-Event Systems


Book Description

Information previously available only in journal articles and research papers has been brought together in this outstanding text. Uses the unifying theme of monotone structure to transcend the two-perspective approach to DES--one stressing logical/qualitative issues and the other temporal/quantitative analysis--to encompass elements from both. Features notes and references at the end of each chapter.