Informationsteori

This book reports on advances in applied mechanics research and applications. It covers methods, modeling, and simulation tools for products design, material behavior analysis, and for optimizing production processes. It also reports on cutting-edge techniques for increasing performance of mechanical systems. The book gathers selected contributions to the 11th International Congress for Applied Mechanics (JET¿2022), held on November 16-18, 2022, in Marrakech, Morocco. The congress was organized by the Franco-Maghreb Association of Mechanics and Materials (AF3M) with the close collaboration of the Moroccan Society of Mechanical Sciences (SMSM). Overall, this book gives a special emphasis to theoretical and practical advances in mechanics, supporting sustainable and environmentally friendly development. It covers applications in transportation, building engineering, bioengineering and manufacturing.

This contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on approaches that take computation into account at the design stage to address their impact on performance and safety. It demonstrates how novel techniques may emerge from the combination of formal methods, model predictive control, distributed optimization, data-driven methods, reconfigurable/adaptive methods, and information-theoretic techniques.Chapters are written by both researchers and practitioners and cover such topics as analysis and design of uncertain CPSs, cooperative and non-cooperative paradigms for handling complexity in large scale CPSs,task-relevant environment abstractions for autonomous systems based on information theory,information flow in event-based stabilization of CPSs,set-valued model predictive control, andautomated synthesis of certifiable controllers for CPSs.State-of-the-art applications and case studies are provided throughout with a special focus on intelligent transportation systems and autonomous vehicles.Graduate students and researchers with an interest in CPS verification and control will find this volume to be a valuable resource in their work. It will also appeal to researchers from disciplines other than control, such as computer science, operations research, applied mathematics, and robotics.

This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodologies for designing predictable computing systems useful in supporting critical control applications.Hard Real-Time Computing Systems is written for instructional use and is organized to enable readers without a strong knowledge of the subject matter to quickly grasp the material. Technical concepts are clearly defined at the beginning of each chapter, and algorithm descriptions are corroborated through concrete examples, illustrations, and tables. This new, fourth edition includes new sections to explain the variable-rate task model, how to improve predictability and safety in cyber-physical real-time systems that exploit machine learning algorithms, additional coverage on Response Time Analysis, and a new chapter on implementing periodic real-time tasks under Linux..

This multidisciplinary book provides insights into the applications of the Internet of Things (IoT) to combined sewer overflows (CSO) and stormwater management (SWM) systems. It explores technical challenges and presents recent results to improve sewer and drainage system management using wireless underground communications and sensing in IoT. The book addresses both existing sensing network technologies and those currently in development in three major areas of CSO: combined sewer overflow management, subsurface sensing, and antennas in the layered medium. It explores new applications of IoT in sewer systems to improve public health, foster economic growth, and enhance environmental quality and responsibility for the community.Internet of Things in Smart Sewer and Drainage Systems: Theory and Applications will be a valuable reference for graduate students and academic researchers, as well as a hands-on guide for wastewater technicians, sanitary engineers, environmental specialists, and related industry practitioners.

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, held in Curitiba, Brazil, during November 9¿11, 2023.The 29 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 68 submissions. The contributions were organized in topical sections as follows: Artificial Intelligence and Algorithm; Digital Transformation and New Technologies; and Sustainable Technologies and Smart Cities.

This contributed volume explores innovative research in the modeling, simulation, and control of crowd dynamics. Chapter authors approach the topic from the perspectives of mathematics, physics, engineering, and psychology, providing a comprehensive overview of the work carried out in this challenging interdisciplinary research field. The volume begins with an overview of analytical problems related to crowd modeling. Attention is then given to the importance of considering the social and psychological factors that influence crowd behavior ¿ such as emotions, communication, and decision-making processes ¿ in order to create reliable models. Finally, specific features of crowd behavior are explored, including single-file traffic, passenger movement, modeling multiple groups in crowds, and the interplay between crowd dynamics and the spread of disease.Crowd Dynamics, Volume 4 is ideal for mathematicians, engineers, physicists, and other researchers working in the rapidly growing field of modeling and simulation of human crowds.

This book constitutes the refereed post-conference proceedings of the 7th International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2023, held in Bratislava, Slovakia, in October 2023. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers are organized in thematic sessions on: future access networks; sustainable communications and computing infrastructures; smart environment applications / scenarios.

This book considers a class of ergodic finite controllable Markov's chains. The main idea behind the method, described in this book, is to develop the original discrete optimization problems (or game models) in the space of randomized formulations, where the variables stand in for the distributions (mixed strategies or preferences) of the original discrete (pure) strategies in the use. The following suppositions are made: a finite state space, a limited action space, continuity of the probabilities and rewards associated with the actions, and a necessity for accessibility. These hypotheses lead to the existence of an optimal policy. The best course of action is always stationary. It is either simple (i.e., nonrandomized stationary) or composed of two nonrandomized policies, which is equivalent to randomly selecting one of two simple policies throughout each epoch by tossing a biased coin. As a bonus, the optimization procedure just has to repeatedly solve the time-average dynamic programming equation, making it theoretically feasible to choose the optimum course of action under the global restriction. In the ergodic cases the state distributions, generated by the corresponding transition equations, exponentially quickly converge to their stationary (final) values. This makes it possible to employ all widely used optimization methods (such as Gradient-like procedures, Extra-proximal method, Lagrange's multipliers, Tikhonov's regularization), including the related numerical techniques. In the book we tackle different problems and theoretical Markov models like controllable and ergodic Markov chains, multi-objective Pareto front solutions, partially observable Markov chains, continuous-time Markov chains, Nash equilibrium and Stackelberg equilibrium, Lyapunov-like function in Markov chains, Best-reply strategy, Bayesian incentive-compatible mechanisms, Bayesian Partially Observable Markov Games, bargaining solutions for Nash and Kalai-Smorodinsky formulations, multi-traffic signal-control synchronization problem, Rubinstein's non-cooperative bargaining solutions, the transfer pricing problem as bargaining.

This book begins with a historical overview of the evolution of mobile technologies and addresses two key questions: why do we need 6G? and what will 6G be? The remaining chapters of this book are organized into three parts: Part I covers the foundation of an end-to-end 6G system by presenting 6G vision, driving forces, key performance indicators, and societal requirements on digital inclusion, sustainability, and intelligence. Part II presents key radio technology components for the 6G communications to deliver extreme performance, including new radio access technologies at high frequencies, joint communications and sensing, AI-driven air interface, among others. Part III describes key enablers for intelligent 6G networking, including network disaggregation, edge computing, data-driven management and orchestration, network security and trustworthiness, among others. This book is relevant to researchers, professionals, and academics working in 5G/6G and beyond.

The rapid growth and reliance on cyber systems have permeated our society, government, and military which is demonstrated in this book. The authors discuss how AI-powered cyber systems are designed to protect against cyber threats and ensure the security and reliability of digital systems using artificial intelligence (AI) technologies. As AI becomes more integrated into various aspects of our lives, the need for reliable and trustworthy AI systems becomes increasingly important. This book is an introduction to all of the above-mentioned areas in the context of AI Embedded Assurance for Cyber Systems.This book has three themes. First, the AI/ML for digital forensics theme focuses on developing AI and ML powered forensic tools, techniques, software, and hardware. Second, the AI/ML for cyber physical system theme describes that AI/ML plays an enabling role to boost the development of cyber physical systems (CPS), especially in strengthening the security and privacy ofCPS. Third, the AI/ML for cyber analysis theme focuses on using AI/ML to analyze tons of data in a timely manner and identify many complex threat patterns.This book is designed for undergraduates, graduate students in computer science and researchers in an interdisciplinary area of cyber forensics and AI embedded security applications. It is also useful for practitioners who would like to adopt AIs to solve cyber security problems.

This book outlines the promise of the field of the Cognitive Internet of Things when it is applied to cognitive buildings. After an introduction, the authors discuss the goals of cognitive buildings such as operation in a more efficient, flexible, interactive, intuitive, and sustainable way. They go on to outline the benefits that these technologies promise to building owners, occupants, and their environments that range from reducing energy consumption and carbon footprint to promoting health, well-being, and productivity. The authors outline technologies that provide buildings and equipment with the ability to collect, aggregate, and analyze data and how this information can be collected by sensors and related to internal conditions and settings, energy consumption, user requests, and preferences to maintain comfort and save energy. This book is of interest to practitioners, researchers, students, and professors in IoT and smart cities.

This book takes readers through the sensational history of blockchains and their potential to revolutionize database systems of the future. In order to demystify blockchains, the book capitalizes on decades of research and field testing of existing database and distributed systems and applies these familiar concepts to the novel blockchain system. It then utilizes this framework to explore the essential block platform underpinning blockchains, which is often misunderstood as a specific attribute of cryptocurrencies rather than the core of the decentralized system independent of application. The book explores the nature of these decentralized systems, which have no single owner and build robustness through a multitude of stakeholder contributions. In this way, blockchains can build trust into existing systems and thus present attractive solutions for various domains across both academia and industry. Despite this, high-impact and real-world applications of blockchain have yet to be realized outside of cryptocurrencies like Bitcoin. The book establishes how this new data system, if properly applied, can disrupt the sector in much the same way databases did so many years ago. The book explores the fundamental technical limitations that may be preventing blockchain from realizing this potential and how to overcome or mitigate them. Readers who are completely new to blockchains will find this book to be a comprehensive survey of the state of the art in blockchain technology. Readers with some experience of blockchains, for example through developing cryptocurrencies, will likely find the book's database perspective enlightening. Finally, researchers already working with blockchain will learn to identify existing gaps in the design space and explore potential solutions for creating the next generation of blockchain systems.

This book examines the cyber risks associated with Internet of Things (IoT) and highlights the cyber security capabilities that IoT platforms must have in order to address those cyber risks effectively. The chapters fuse together deep cyber security expertise with artificial intelligence (AI), machine learning, and advanced analytics tools, which allows readers to evaluate, emulate, outpace, and eliminate threats in real time. The book¿s chapters are written by experts of IoT and machine learning to help examine the computer-based crimes of the next decade. They highlight on automated processes for analyzing cyber frauds in the current systems and predict what is on the horizon. This book is applicable for researchers and professionals in cyber security, AI, and IoT.

Over the course of his distinguished career, Claude Viterbo has made a number of groundbreaking contributions in the development of symplectic geometry/topology and Hamiltonian dynamics.  The chapters in this volume - compiled on the occasion of his 60th birthday - are written by distinguished mathematicians and pay tribute to his many significant and lasting achievements. 

This book presents and develops comprehensive knowledge of vehicular channel characteristics and proper vehicular channel models. The studied topics contain the propagation characteristics of vehicular communications, such as: a time-frequency non-stationary single-input single-output (SISO) vehicle-to-vehicle (V2V) non-geometry stochastic model (NGSM); a space-time non-stationary massive multiple-input multiple-output (MIMO) V2V regular-shaped geometry-based stochastic model (RS-GBSM); and a space-time non-stationary massive MIMO V2V irregular-shaped geometry-based stochastic model (IS-GBSM). Each is introduced, with characteristics then discussed in detail. Finally, this book discusses future research directions to inspire further investigation in the field of vehicular channels from three different perspectives.

This book provides an introduction to classical celestial mechanics. It is based on lectures delivered by the authors over many years at both Padua University (MC) and V.N. Karazin Kharkiv National University (EB). The book aims to provide a mathematical description of the gravitational interaction of celestial bodies. The approach to the problem is purely formal. It allows the authors to write equations of motion and solve them to the greatest degree possible, either exactly or by approximate techniques, when there is no other way. The results obtained provide predictions that can be compared with the observations. Five chapters are supplemented by appendices that review certain mathematical tools, deepen some questions (so as not to interrupt the logic of the mainframe with heavy technicalities), give some examples, and provide an overview of special functions useful here, as well as in many other fields of physics. The authors also present the original investigation of torus potential. This book is aimed at senior undergraduate students of physics or astrophysics, as well as graduate students undertaking a master's degree or Ph.D.

Quantum computing offers great promise in a wide variety of applications that need computational power beyond the limits of current conventional computers, including machine learning and AI, cryptanalysis, and simulation of quantum physics and chemistry. Fundamentally new programming technologies are required to develop quantum software that can realize the super-power of quantum computing. Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. The emphasis is placed on the foundational concepts, methods and techniques that can be widely used for various quantum programming models and languages. It describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. It introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs. It also presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis and abstract interpretation.

This book first discusses cyber security fundamentals then delves into security threats and vulnerabilities, security vigilance, and security engineering for Internet of Everything (IoE) networks. After an introduction, the first section covers the security threats and vulnerabilities or techniques to expose the networks to security attacks such as repudiation, tampering, spoofing, and elevation of privilege. The second section of the book covers vigilance or prevention techniques like intrusion detection systems, trust evaluation models, crypto, and hashing privacy solutions for IoE networks. This section also covers the security engineering for embedded and cyber-physical systems in IoE networks such as blockchain, artificial intelligence, and machine learning-based solutions to secure the networks. This book provides a clear overview in all relevant areas so readers gain a better understanding of IoE networks in terms of security threats, prevention, and other security mechanisms.

Each 'Professional Course' lesson-booklet offers simple exercises and techniques that directly apply the philosophy of Systemology to increase your true knowingness and improve your capabilities in this life.

This monograph explores the analysis and design of model-free optimal control systems based on reinforcement learning (RL) theory, presenting new methods that overcome recent challenges faced by RL.  New developments in the design of sensor data efficient RL algorithms are demonstrated that not only reduce the requirement of sensors by means of output feedback, but also ensure optimality and stability guarantees.  A variety of practical challenges are considered, including disturbance rejection, control constraints, and communication delays.  Ideas from game theory are incorporated to solve output feedback disturbance rejection problems, and the concepts of low gain feedback control are employed to develop RL controllers that achieve global stability under control constraints.Output Feedback Reinforcement Learning Control for Linear Systems will be a valuable reference for graduate students, control theorists working on optimal control systems, engineers, and applied mathematicians.

The textbook presents basic concepts of signals and systems in a clear manner, based on the author's 15+ years of teaching the undergraduate course for engineering students. To attain full benefit from the content, readers should have a strong knowledge of calculus and be familiar with integration, differentiation, and summation operations. The book starts with an introduction to signals and systems and continues with coverage of basic signal functions and their manipulations; energy, power, convolution, and systems; Fourier analysis of continuous time signals and digital signals; Laplace transform; and Z transforms. Practical applications are included throughout. The book is also packed with solved examples, self-study exercises, and end of chapter problems.

This book presents a compilation of lectures delivered at the São Paulo School of Advanced Sciences on Nonlinear Dynamics, categorized into four groups: parametric resonance, nonlinear modal analysis and model reduction, synchronization, and strongly nonlinear dynamics. Interwoven seamlessly, these groups cover a wide range of topics, from fundamental concepts to practical applications, catering to both introductory and advanced readers. The first group, consisting of chapters 1 and 2, serves as an introduction to the theory of parametric resonance and the dynamics of parametrically excited slender structures. Chapters 3, 4, and 5 form the second group, offering insights into normal forms, nonlinear normal modes, and nonlinear system identification. Chapters 6 and 7 delve into asynchronous modes of structural vibration and master-slave topologies for time signal distribution within synchronous systems, respectively, representing the third group. Finally, the last four chapters tackle the fourth group, exploring nonlinear dynamics of variable mass oscillators, advanced analytical methods for strong nonlinear vibration problems, chaos theory, and dynamic integrity from the perspectives of safety and design. This book harmoniously combines theoretical depth and practical relevance to provide a comprehensive understanding of nonlinear dynamics.