This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach i…
Model Validation and Uncertainty Quantifi cation, Volume 3. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. Th e collection presents early findings and case studies on fundamen…
This book is devoted to Slime mould Physarum polycephalum, which is a large single cell capable for distributed sensing, concurrent information processing, parallel computation and decentralized actuation. The ease of culturing and experimenting with Physarum makes this slime mould an ideal substrate for real-world implementations of unconventional sensing and computing devices The book…
This book constitutes the proceedings of the 9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015, held in Larnaca, Cyprus, in November 2015. The 33 full papers and 13 short papers presented were carefully reviewed and selected from 91 submissions. The main theme of CONTEXT 2015 was "Back to the roots", focusing on the importance of interdisciplinary…
This book concentrates on the subject of health monitoring technology of Liquid Rocket Engine (LRE), including its failure analysis, fault diagnosis and fault prediction. Since no similar issue has been published, the failure pattern and mechanism analysis of the LRE from the system stage are of particular interest to the readers. Furthermore, application cases used to validate the efficacy of …
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
This monograph set presents a consistent and self-contained framework of stochastic dynamic systems with maximal possible completeness. Volume 1 presents the basic concepts, exact results, and asymptotic approximations of the theory of stochastic equations on the basis of the developed functional approach. This approach offers a possibility of both obtaining exact solutions to stochastic proble…
This textbook presents an exposition of stochastic dynamics and irreversibility. It comprises the principles of probability theory and the stochastic dynamics in continuous spaces, described by Langevin and Fokker-Planck equations, and in discrete spaces, described by Markov chains and master equations. Special concern is given to the study of irreversibility, both in systems that evolve to equ…
This book focuses on counting processes and continuous-time Markov chains motivated by examples and applications drawn from chemical networks in systems biology. The book should serve well as a supplement for courses in probability and stochastic processes. While the material is presented in a manner most suitable for students who have studied stochastic processes up to and including martingale…
Business Process Management (BPM) has become a widely adopted management approach, prompting significant investments by private and public companies since 2000. Since neither the concept of BPM nor the factors leading to successful BPM initiatives are grounded in theory and also lack empirical support, Tahvo Hyötyläinen explores what business value BPM and BPM Systems can cause and how they c…