This new edition presents a thorough discussion of the mathematical theory and computational schemes of Kalman filtering. The filtering algorithms are derived via different approaches, including a direct method consisting of a series of elementary steps, and an indirect method based on innovation projection. Other topics include Kalman filtering for systems with correlated noise or colored noise, limiting Kalman filtering for time-invariant systems, extended Kalman filtering for nonlinear systems, interval Kalman filtering for uncertain systems, and wavelet Kalman filtering for multiresolution analysis of random signals. Most filtering algorithms are illustrated by using simplified radar tracking examples. The style of the book is informal, and the mathematics is elementary but rigorous. The text is self-contained, suitable for self-study, and accessible to all readers with a minimum knowledge of linear algebra, probability theory, and system engineering. Over 100 exercises and problems with solutions help deepen the knowledge. This new edition has a new chapter on filtering communication networks and data processing, together with new exercises and new real-time applications.

This book draws together the most interesting recent results to emerge in mechanical engineering in Russia, providing a fascinating overview of the state of the art in the field in that country which will be of interest to a wide readership. A broad range of topics and issues in modern engineering are discussed, including dynamics of machines, materials engineering, structural strength and tribological behavior, transport technologies, machinery quality and innovations. The book comprises selected papers presented at the conference "Modern Engineering: Science and Education", held at the Saint Petersburg State Polytechnic University in 2016 with the support of the Russian Engineering Union. The authors are experts in various fields of engineering, and all of the papers have been carefully reviewed. The book will be of interest to mechanical engineers, lecturers in engineering disciplines and engineering graduates.

The objective of this dissertation is to design a concept that would allow to increase the flexibility of currently available Time Triggered Ethernet based (TTEB) systems, however, without affecting their performance and robustness. The main challenges are related to scheduling of time triggered communication that may take significant amount of time and has to be performed on a powerful platform. Additionally, the reliability has to be considered and kept on the required high level. Finally, the reconfiguration has to be optimally done without affecting the currently running system.

This book gathers the main recent results on positive trigonometric polynomials within a unitary framework. The book has two parts: theory and applications. The theory of sum-of-squares trigonometric polynomials is presented unitarily based on the concept of Gram matrix (extended to Gram pair or Gram set). The applications part is organized as a collection of related problems that use systematically the theoretical results.

These proceedings of the 13th International Conference on Computer Aided Engineering present selected papers from the event, which was held in Polanica Zdroj, Poland, from June 22 to 25, 2016. The contributions are organized according to thematic sections on the design and manufacture of machines and technical systems; durability prediction; repairs and retrofitting of power equipment; strength and thermodynamic analyses for power equipment; design and calculation of various types of load-carrying structures; numerical methods for dimensioning materials handling; and long-distance transport equipment. The conference and its proceedings offer a major interdisciplinary forum for researchers and engineers to present the most innovative studies and advances in this dynamic field.

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier-Stokes equations, and systems of nonlinear advection-diffusion-reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs. This book is open access under a CC BY license.

This book is a collection of papers presented at the 23rd International Conference on Domain Decomposition Methods in Science and Engineering, held on Jeju Island, Korea on July 6-10, 2015. Domain decomposition methods solve boundary value problems by splitting them into smaller boundary value problems on subdomains and iterating to coordinate the solution between adjacent subdomains. Domain decomposition methods have considerable potential for a parallelization of the finite element methods, and serve a basis for distributed, parallel computations.

This book presents new research results in multidisciplinary fields of mathematical and numerical modelling in mechanics. The chapters treat the topics: mathematical modelling in solid, fluid and contact mechanics nonconvex variational analysis with emphasis to nonlinear solid and structural mechanics numerical modelling of problems with non-smooth constitutive laws, approximation of variational and hemivariational inequalities, numerical analysis of discrete schemes, numerical methods and the corresponding algorithms, applications to mechanical engineering numerical aspects of non-smooth mechanics, with emphasis on developing accurate and reliable computational tools mechanics of fibre-reinforced materials behaviour of elasto-plastic materials accounting for the microstructural defects definition of structural defects based on the differential geometry concepts or on the atomistic basis interaction between phase transformation and dislocations at nano-scale energetic arguments bifurcation and post-buckling analysis of elasto-plastic structures engineering optimization and design, global optimization and related algorithms The book presents selected papers presented at ETAMM 2016. It includes new and original results written by internationally recognized specialists.

This book constitutes the refereed proceedings of the Second Russian Supercomputing Days, RuSCDays 2016, held in Moscow, Russia, in September 2016. The 28 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on the present of supercomputing: large tasks solving experience; the future of supercomputing: new technologies.

This volume gathers contributions reflecting topics presented during an INDAM workshop held in Rome in May 2016. The event brought together many prominent researchers in both Mathematical Analysis and Numerical Computing, the goal being to promote interdisciplinary collaborations. Accordingly, the following thematic areas were developed: 1. Lagrangian discretizations and wavefront tracking for synchronization models; 2. Astrophysics computations and post-Newtonian approximations; 3. Hyperbolic balance laws and corrugated isometric embeddings; 4. "Caseology" techniques for kinetic equations; 5. Tentative computations of compressible non-standard solutions; 6. Entropy dissipation, convergence rates and inverse design issues. Most of the articles are presented in a self-contained manner; some highlight new achievements, while others offer snapshots of the "state of the art" in certain fields. The book offers a unique resource, both for young researchers looking to quickly enter a given area of application, and for more experienced ones seeking comprehensive overviews and extensive bibliographic references.

This monograph comprehensively describes phenomena of heat flow during phase change as well as the dynamics of liquid solidification, i.e. the development of a solidified layer. The book provides the reader with basic knowledge for practical designs, as well as with equations which describe processes of energy transformation. The target audience primarily comprises researchers and experts in the field of heat flow, but the book may also be beneficial for both practicing engineers and graduate students.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached Wittgenstein's philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer's book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching "Parikh-land". The book presents a brochure-like overview of Parikh-land before providing an "introductory video" on the sights and sounds that you experience when reading the book.

This book provides recent theoretical developments in and practical applications of fault diagnosis and fault tolerant control for complex dynamical systems, including uncertain systems, linear and nonlinear systems. Combining adaptive control technique with other control methodologies, it investigates the problems of fault diagnosis and fault tolerant control for uncertain dynamic systems with or without time delay. As such, the book provides readers a solid understanding of fault diagnosis and fault tolerant control based on adaptive control technology. Given its depth and breadth, it is well suited for undergraduate and graduate courses on linear system theory, nonlinear system theory, fault diagnosis and fault tolerant control techniques. Further, it can be used as a reference source for academic research on fault diagnosis and fault tolerant control, and for postgraduates in the field of control theory and engineering.

This book provides a survey on different kinds of Feistel ciphers, with their definitions and mathematical/computational properties. Feistel ciphers are widely used in cryptography in order to obtain pseudorandom permutations and secret-key block ciphers. In Part 1, we describe Feistel ciphers and their variants. We also give a brief story of these ciphers and basic security results. In Part 2, we describe generic attacks on Feistel ciphers. In Part 3, we give results on DES and specific Feistel ciphers. Part 4 is devoted to improved security results. We also give results on indifferentiability and indistinguishability.

This volume aims to provide a new perspective on the broader usage of Hidden Markov Models (HMMs) in biology. Hidden Markov Models: Methods and Protocols guides readers through chapters on biological systems; ranging from single biomolecule, cellular level, and to organism level and the use of HMMs in unravelling the complex mechanisms that govern these complex systems. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and practical, Hidden Markov Models: Methods and Protocols aims to demonstrate the impact of HMM in biology and inspire new research.

This contributed volume offers a collection of papers presented at the 2016 Network Games, Control, and Optimization conference (NETGCOOP), held at the University of Avignon in France, November 23-25, 2016. These papers highlight the increasing importance of network control and optimization in many networking application domains, such as mobile and fixed access networks, computer networks, social networks, transportation networks, and, more recently, electricity grids and biological networks. Covering a wide variety of both theoretical and applied topics in the areas listed above, the authors explore several conceptual and algorithmic tools that are needed for efficient and robust control operation, performance optimization, and better understanding the relationships between entities that may be acting cooperatively or selfishly in uncertain and possibly adversarial environments. As such, this volume will be of interest to applied mathematicians, computer scientists, engineers, and researchers in other related fields.

This book highlights the latest advances in engineering mathematics with a main focus on the mathematical models, structures, concepts, problems and computational methods and algorithms most relevant for applications in modern technologies and engineering. It addresses mathematical methods of algebra, applied matrix analysis, operator analysis, probability theory and stochastic processes, geometry and computational methods in network analysis, data classification, ranking and optimisation. The individual chapters cover both theory and applications, and include a wealth of figures, schemes, algorithms, tables and results of data analysis and simulation. Presenting new methods and results, reviews of cutting-edge research, and open problems for future research, they equip readers to develop new mathematical methods and concepts of their own, and to further compare and analyse the methods and results discussed. The book consists of contributed chapters covering research developed as a result of a focused international seminar series on mathematics and applied mathematics and a series of three focused international research workshops on engineering mathematics organised by the Research Environment in Mathematics and Applied Mathematics at Malardalen University from autumn 2014 to autumn 2015: the International Workshop on Engineering Mathematics for Electromagnetics and Health Technology; the International Workshop on Engineering Mathematics, Algebra, Analysis and Electromagnetics; and the 1st Swedish-Estonian International Workshop on Engineering Mathematics, Algebra, Analysis and Applications. It serves as a source of inspiration for a broad spectrum of researchers and research students in applied mathematics, as well as in the areas of applications of mathematics considered in the book.

It is not intuitive to accept that there exists a link between quantum physical systems and cognitive systems. However, recent research has shown that cognitive systems and collective (social) systems, including biology, exhibit uncertainty which can be successfully modelled with quantum probability. The use of such probability allows for the modelling of situations which typically violate the laws of classical probability. The Palgrave Handbook of Quantum Models in Social Science is is a unique volume that brings together contributions from leading experts on key topics in this new and emerging field. Completely self-contained, it begins with an introductory section which gathers all the fundamental notions required to be able to understand later chapters. The handbook then moves on to address some of the latest research and applications for quantum methods in social science disciplines, including economics, politics and psychology. It begins with the issue of how the quantum mechanical framework can be applied to economics. Chapters devoted to this topic range from how Fisher information can be argued to play a role in economics, to the foundations and application of quantum game theory. The handbook then progresses in considering how belief states can be updated with the theory of quantum measurements (and also with more general methods). The practical use of the Hilbert space (and Fock space) in decision theory is then introduced, and open quantum systems are also considered. The handbook also treats a model of neural oscillators that reproduces some of the features of quantum cognition. Other contributions delve into causal reasoning using quantum Bayes nets and the role of quantum probability in modelling so called affective evaluation. The handbook is rounded off with two chapters which discuss the grand challenges which lie ahead of us. How can the quantum formalism be justified in social science and is the traditional quantum formalism too restrictive? Finally, a question is posed: whether there is a necessary role for quantum mathematical models to go beyond physics. This book will bring the latest and most cutting edge research on quantum theory to social science disciplines. Students and researchers across the discipline, as well as those in the fields of physics and mathematics will welcome this important addition to the literature.

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS. Applied Logic for Computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies.

This book provides methods to unify different approaches to tackle stability theory problems. In particular, it presents a methodology to blend approaches obtained from measure theory with methods obtained from Lyapunov's stability theory. The author summarizes recent works on how different analysis/design methods can be unified and employed for systems that do not belong to either of domains of validity.

This book presents practical applications of the finite element method to general differential equations. The underlying strategy of deriving the finite element solution is introduced using linear ordinary differential equations, thus allowing the basic concepts of the finite element solution to be introduced without being obscured by the additional mathematical detail required when applying this technique to partial differential equations. The author generalizes the presented approach to partial differential equations which include nonlinearities. The book also includes variations of the finite element method such as different classes of meshes and basic functions. Practical application of the theory is emphasised, with development of all concepts leading ultimately to a description of their computational implementation illustrated using Matlab functions. The target audience primarily comprises applied researchers and practitioners in engineering, but the book may also be beneficial for graduate students.

Zhiwen Chen aims to develop advanced fault detection (FD) methods for the monitoring of industrial processes. With the ever increasing demands on reliability and safety in industrial processes, fault detection has become an important issue. Although the model-based fault detection theory has been well studied in the past decades, its applications are limited to large-scale industrial processes because it is difficult to build accurate models. Furthermore, motivated by the limitations of existing data-driven FD methods, novel canonical correlation analysis (CCA) and projection-based methods are proposed from the perspectives of process input and output data, less engineering effort and wide application scope. For performance evaluation of FD methods, a new index is also developed.

This book presents theory and latest application work in Bond Graph methodology with a focus on: * Hybrid dynamical system models, * Model-based fault diagnosis, model-based fault tolerant control, fault prognosis * and also addresses * Open thermodynamic systems with compressible fluid flow, * Distributed parameter models of mechanical subsystems. In addition, the book covers various applications of current interest ranging from motorised wheelchairs, in-vivo surgery robots, walking machines to wind-turbines.The up-to-date presentation has been made possible by experts who are active members of the worldwide bond graph modelling community. This book is the completely revised 2nd edition of the 2011 Springer compilation text titled Bond Graph Modelling of Engineering Systems - Theory, Applications and Software Support. It extends the presentation of theory and applications of graph methodology by new developments and latest research results. Like the first edition, this book addresses readers in academia as well as practitioners in industry and invites experts in related fields to consider the potential and the state-of-the-art of bond graph modelling.

This book represents a collection of papers presented at the 2nd World Congress on Integrated Computational Materials Engineering (ICME), a specialty conference organized by The Minerals, Metals & Materials Society (TMS).

This is the third book in a series on Computational Methods in Earthquake Engineering. The purpose of this volume is to bring together the scientific communities of Computational Mechanics and Structural Dynamics, offering a wide coverage of timely issues on contemporary Earthquake Engineering. This volume will facilitate the exchange of ideas in topics of mutual interest and can serve as a platform for establishing links between research groups with complementary activities. The computational aspects are emphasized in order to address difficult engineering problems of great social and economic importance.