This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.

For over a decade, complex networks have steadily grown as an important tool across a broad array of academic disciplines, with applications ranging from physics to social media. A tightly organized collection of carefully-selected papers on the subject, Towards an Information Theory of Complex Networks: Statistical Methods and Applications presents theoretical and practical results about information-theoretic and statistical models of complex networks in the natural sciences and humanities. The book's major goal is to advocate and promote a combination of graph-theoretic, information-theoretic, and statistical methods as a way to better understand and characterize real-world networks. This volume is the first to present a self-contained, comprehensive overview of information-theoretic models of complex networks with an emphasis on applications. As such, it marks a first step toward establishing advanced statistical information theory as a unified theoretical basis of complex networks for all scientific disciplines and can serve as a valuable resource for a diverse audience of advanced students and professional scientists. While it is primarily intended as a reference for research, the book could also be a useful supplemental graduate text in courses related to information science, graph theory, machine learning, and computational biology, among others.

Self-organization of matter is observed in every context and on all scales, from the nanoscale of quantum fields and subatomic particles to the macroscale of galaxy superclusters. This book analyzes the wide range of patterns of organization present in nature, highlighting their similarities rather than their differences. This unconventional approach results in an illuminating read which should be part of any Physics student's background.

This book proposes probabilistic machine learning models that represent the hardware properties of the device hosting them. These models can be used to evaluate the impact that a specific device configuration may have on resource consumption and performance of the machine learning task, with the overarching goal of balancing the two optimally. The book first motivates extreme-edge computing in the context of the Internet of Things (IoT) paradigm. Then, it briefly reviews the steps involved in the execution of a machine learning task and identifies the implications associated with implementing this type of workload in resource-constrained devices. The core of this book focuses on augmenting and exploiting the properties of Bayesian Networks and Probabilistic Circuits in order to endow them with hardware-awareness. The proposed models can encode the properties of various device sub-systems that are typically not considered by other resource-aware strategies, bringing about resource-saving opportunities that traditional approaches fail to uncover. The performance of the proposed models and strategies is empirically evaluated for several use cases. All of the considered examples show the potential of attaining significant resource-saving opportunities with minimal accuracy losses at application time. Overall, this book constitutes a novel approach to hardware-algorithm co-optimization that further bridges the fields of Machine Learning and Electrical Engineering.

Coding for Channels with Feedback presents both algorithms for feedback coding and performance analyses of these algorithms, including analyses of perhaps the most important performance criterion: computational complexity. The algorithms are developed within a single framework, termed the compressed-error-cancellation framework, where data are sent via a sequence of messages: the first message contains the original data; each subsequent message contains a source-coded description of the channel distortions introduced on the message preceding it. Coding for Channels with Feedback provides an easily understood and flexible framework for deriving low-complexity, practical solutions to a wide variety of feedback communication problems. It is shown that the compressed-error-cancellation framework leads to coding schemes with the lowest possible asymptotic order of growth of computations and can be applied to discrete memoryless channels, finite state channels, channels with memory, unknown channels, and multiple-access channels, all with complete noiseless feedback, as well as to channels with partial and noisy feedback. This framework leads to coding strategies that have linear complexity and are capacity achieving, and illustrates the intimate connection between source coding theory and channel coding theory. Coding for Channels with Feedback is an excellent reference for researchers and communication engineers in the field of information theory, and can be used for advanced courses on the topic.

This volume contains the invited paper, the reviewed research papers, the discussants' comments on the latter, and the workshop memoranda of the fourth IFIP WG 8. 1 International Working Conference on "Information System Concepts," with the subtitle "An Integrated Discipline Emerging" (ISC04). It was held in Leiden, The Netherlands, 20-22 September 1999. The previous three ISCO conferences were subtitled "An In-depth Analysis," "Improving the Understanding," and "Towards a Consolidation of Views." Their proceedings were published in 1989, 1992, and 1995, respectively. The ISCO conferences were instigated by the former Task Group FRISCO (an acronym for "FRamework of Information System Concepts"), charged by the IFIP Working Group 8. 1 with the task of proposing a conceptual framework for the information system field. Its report, entitled "A Framework of Information System Concepts" (the "FRISCO Report" for short), is available on the World Wide Web via the address: http: //www. wi. leidenuniv. nl/ verrynstlfrisco. html or may be downloaded directly as a condensed Word-6 file from: ftp: //ftp. leidenuniv. nl/pub/rullfri-full. zip The FRISCO Report forms a significant contribution to the long-lasting quest of our community towards developing a scientific outlook on the field of information systems. Clarifying the varied nature of many diverging views - some of which may not easily be reconciled - the report does propose a coherent, consistent and partially formalised framework of concepts.

In the context of this book, adaptation is taken to mean a feature of a system aimed at achieving the best possible performance, when mathematical models of the environment and the system itself are not fully available. This has applications ranging from theories of visual perception and the processing of information, to the more technical problems of friction compensation and adaptive classification of signals in fixed-weight recurrent neural networks. Largely devoted to the problems of adaptive regulation, tracking and identification, this book presents a unifying system-theoretic view on the problem of adaptation in dynamical systems. Special attention is given to systems with nonlinearly parameterized models of uncertainty. Concepts, methods and algorithms given in the text can be successfully employed in wider areas of science and technology. The detailed examples and background information make this book suitable for a wide range of researchers and graduates in cybernetics, mathematical modelling and neuroscience.

The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme "Bridging the Gap Between Mathematical Modelling and Policy Support" on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.

Control networks span a wide range of application areas. These networks are put into action in the `Digital Home', industrial applications, commercial buildings, transportation systems, gas stations, security systems, and they are found in most instances where smart sensors and smart actuators are used to exchange information. The authors of this volume provide an overview of various control network protocols and discuss LonTalk (R) protocol, Neuron (R) chip, programming model, network structures, network management, interoperability between nodes, application profiles, development and maintenance tools, performance analysis, and standardization activities. Open Control Networks: LonWorks/EIA 709 Technology will be an important resource for advanced students of control systems and embedded systems, engineers designing distributed networks, systems designers and architects, and others developing smart buildings and intelligent transportation systems.

Optimal Impulsive Control explores the class of impulsive dynamic optimization problems-problems that stem from the fact that many conventional optimal control problems do not have a solution in the classical setting-which is highly relevant with regard to engineering applications. The absence of a classical solution naturally invokes the so-called extension, or relaxation, of a problem, and leads to the notion of generalized solution which encompasses the notions of generalized control and trajectory; in this book several extensions of optimal control problems are considered within the framework of optimal impulsive control theory. In this framework, the feasible arcs are permitted to have jumps, while the conventional absolutely continuous trajectories may fail to exist. The authors draw together various types of their own results, centered on the necessary conditions of optimality in the form of Pontryagin's maximum principle and the existence theorems, which shape a substantial body of optimal impulsive control theory. At the same time, they present optimal impulsive control theory in a unified framework, introducing the different paradigmatic problems in increasing order of complexity. The rationale underlying the book involves addressing extensions increasing in complexity from the simplest case provided by linear control systems and ending with the most general case of a totally nonlinear differential control system with state constraints. The mathematical models presented in Optimal Impulsive Control being encountered in various engineering applications, this book will be of interest to both academic researchers and practising engineers.

This book contains the proceedings as well as invited papers for the first annual conference of the UNESCO Unitwin Complex System Digital Campus (CSDC), which is an international initiative gathering 120 Universities on four continents, and structured in ten E-Departments. First Complex Systems Digital Campus World E-Conference 2015 features chapters from the latest research results on theoretical questions of complex systems and their experimental domains. The content contained bridges the gap between the individual and the collective within complex systems science and new integrative sciences on topics such as: genes to organisms to ecosystems, atoms to materials to products, and digital media to the Internet. The conference breaks new ground through a dedicated video-conferencing system - a concept at the heart of the international UNESCO UniTwin, embracing scientists from low-income and distant countries. This book promotes an integrated system of research, education, and training. It also aims at contributing to global development by taking into account its social, economic, and cultural dimensions. First Complex Systems Digital Campus World E-Conference 2015 will appeal to students and researchers working in the fields of complex systems, statistical physics, computational intelligence, and biological physics.

This book investigates the disagreement behavior analysis problems for signed networks in the presence of both cooperative and antagonistic interactions among agents. Owing to the existing antagonistic interactions, signed networks exhibit a variety of disagreement behaviors subject to different topology conditions, especially in comparison with commonly considered unsigned networks involving only cooperative interactions among agents. Since signed networks are generally adopted to describe the dynamics of some practical network systems, they have attracted much attention in many areas, such as biology, sociology, economics, and politics. By focusing on agents with the first-order linear dynamics, the book establishes the systematic behavior analysis frameworks for signed networks, under which diverse disagreement behaviors have been disclosed, including both convergence and fluctuation behaviors, regardless of static or dynamic network topologies. In particular, a class of dynamic signed networks has been introduced, together with the associated dynamic distributed controller design and disagreement behavior analysis of agents. This book is intended for undergraduate and graduate students, engineers, and researchers who are interested in control of network systems, multi-agent systems, social networks, and so on.

This book focuses on systems engineering, systems thinking, and how that thinking can be learned in practice. It describes a novel analytical framework based on activity theory for understanding how systems thinking evolves and how it can be improved to support multidisciplinary teamwork in the context of system development and systems engineering. This method, developed using data collected over four years from three different small space systems engineering organizations, can be applied in a wide variety of work activities in the context of engineering design and beyond in order to monitor and analyze multidisciplinary interactions in working teams over time. In addition, the book presents a practical strategy called WAVES (Work Activity for a Evolution of Systems engineering and thinking), which fosters the practical learning of systems thinking with the aim of improving process development in different industries. The book offers an excellent resource for researchers and practitioners interested in systems thinking and in solutions to support its evolution. Beyond its contribution to a better understanding of systems engineering, systems thinking and how it can be learned in real-world contexts, it also introduce a suitable analysis framework that helps to bridge the gap between the latest social science research and engineering research.

The present work investigates global politics and political implications of social science and management with the aid of the latest complexity and chaos theories. Until now, deterministic chaos and nonlinear analysis have not been a focal point in this area of research. This book remedies this deficiency by utilizing these methods in the analysis of the subject matter. The authors provide the reader a detailed analysis on politics and its associated applications with the help of chaos theory, in a single edited volume.

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems. Unlike other books on simulation, this book includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The reader is expected to have some background in the theory of probability and statistics and only a little programming experience in C++, as the book is not tied down to any particular simulation language. The book also provides 50 complete simulation problems to assist with writing such simulation programs. Object-Oriented Computer Simulation of Discrete-Event Systems demonstrates the basic and generic concepts used in computer simulation of discrete-event systems in a comprehensive, uniform and self-contained manner.

This book unies the common tensor analytical aspects in engineering and physics. Using tensor analysis enables the reader to understand complex physical phenomena from the basic principles in continuum mechanics including the turbulence, its correlations and modeling to the complex Einstein' tensor equation. The development of General Theory of Relativity and the introduction of spacetime geometry would not have been possible without the use of tensor analysis. This textbook is primarily aimed at students of mechanical, electrical, aerospace, civil and other engineering disciplines as well as of theoretical physics. It also covers the special needs of practicing professionals who perform CFD-simulation on a routine basis and would like to know more about the underlying physics of the commercial codes they use. Furthermore, it is suitable for self-study, provided that the reader has a sufficient knowledge of differential and integral calculus. Particular attention was paid to selecting the application examples. The transformation of Cartesian coordinate system into curvilinear one and the subsequent applications to conservation laws of continuum mechanics and the turbulence physics prepares the reader for fully understanding the Einstein tensor equations, which exhibits one of the most complex tensor equation in theoretical physics.

Unifying Themes in Complex Systems is a well-established series of carefully edited conference proceedings that serve to document and archive the progress made regarding cross-fertilization in this field. The International Conference on Complex Systems (ICCS) creates a unique atmosphere for scientists from all fields, engineers, physicians, executives, and a host of other professionals, allowing them to explore common themes and applications of complex systems science. With this new volume, Unifying Themes in Complex Systems continues to establish common ground between the wide-ranging domains of complex systems science.

This book is devoted to the modeling and understanding of complex urban systems. This second volume of Understanding Complex Urban Systems focuses on the challenges of the modeling tools, concerning, e.g., the quality and quantity of data and the selection of an appropriate modeling approach. It is meant to support urban decision-makers-including municipal politicians, spatial planners, and citizen groups-in choosing an appropriate modeling approach for their particular modeling requirements. The contributors to this volume are from different disciplines, but all share the same goal: optimizing the representation of complex urban systems. They present and discuss a variety of approaches for dealing with data-availability problems and finding appropriate modeling approaches-and not only in terms of computer modeling. The selection of articles featured in this volume reflect a broad variety of new and established modeling approaches such as: - An argument for using Big Data methods in conjunction with Agent-based Modeling; - The introduction of a participatory approach involving citizens, in order to utilize an Agent-based Modeling approach to simulate urban-growth scenarios; - A presentation of semantic modeling to enable a flexible application of modeling methods and a flexible exchange of data; - An article about a nested-systems approach to analyzing a city's interdependent subsystems (according to these subsystems' different velocities of change); - An article about methods that use Luhmann's system theory to characterize cities as systems that are composed of flows; - An article that demonstrates how the Sen-Nussbaum Capabilities Approach can be used in urban systems to measure household well-being shifts that occur in response to the resettlement of urban households; - A final article that illustrates how Adaptive Cycles of Complex Adaptive Systems, as well as innovation, can be applied to gain a better understanding of cities and to promote more resilient and more sustainable urban futures.

This monograph presents controllability and stabilization methods in control theory that solve parabolic boundary value problems. Starting from foundational questions on Carleman inequalities for linear parabolic equations, the author addresses the controllability of parabolic equations on a variety of domains and the spectral decomposition technique for representing them. This method is, in fact, designed for use in a wider class of parabolic systems that include the heat and diffusion equations. Later chapters develop another process that employs stabilizing feedback controllers with a finite number of unstable modes, with special attention given to its use in the boundary stabilization of Navier-Stokes equations for the motion of viscous fluid. In turn, these applied methods are used to explore related topics like the exact controllability of stochastic parabolic equations with linear multiplicative noise. Intended for graduate students and researchers working on control problems involving nonlinear differential equations, Controllability and Stabilization of Parabolic Equations is the distillation of years of lectures and research. With a minimum of preliminaries, the book leaps into its applications for control theory with both concrete examples and accessible solutions to problems in stabilization and controllability that are still areas of current research.

This book aims to provide the latest research developments and results in the domain of AI techniques for smart cyber ecosystems. It presents a holistic insight into AI-enabled theoretic approaches and methodology in IoT networking, security analytics using AI tools and network automation, which ultimately enable intelligent cyber space. This book will be a valuable resource for students, researchers, engineers and policy makers working in various areas related to cybersecurity and privacy for Smart Cities. This book includes chapters titled "An Overview of the Artificial Intelligence Evolution and Its Fundamental Concepts, and Their Relationship with IoT Security", "Smart City: Evolution and Fundamental Concepts", "Advances in AI-Based Security for Internet of Things in Wireless Virtualization Environment", "A Conceptual Model for Optimal Resource Sharing of Networked Microgrids Focusing Uncertainty: Paving Path to Eco-friendly Smart Cities", "A Novel Framework for a Cyber Secure Smart City", "Contemplating Security Challenges and Threats for Smart Cities", "Self-Monitoring Obfuscated IoT Network", "Introduction to Side Channel Attacks and Investigation of Power Analysis and Fault Injection Attack Techniques", "Collaborative Digital Forensic Investigations Model for Law Enforcement: Oman as a Case Study", "Understanding Security Requirements and Challenges in the Industrial Internet of Things: A Review", "5G Security and the Internet of Things", "The Problem of Deepfake Videos and How to Counteract Them in Smart Cities", "The Rise of Ransomware Aided by Vulnerable IoT Devices", "Security Issues in Self-Driving Cars within Smart Cities", and "Trust-Aware Crowd Associated Network-Based Approach for Optimal Waste Management in Smart Cities". This book provides state-of-the-art research results and discusses current issues, challenges, solutions and recent trends related to security and organization within IoT and Smart Cities. We expect this book to be of significant importance not only to researchers and practitioners in academia, government agencies and industries, but also for policy makers and system managers. We anticipate this book to be a valuable resource for all those working in this new and exciting area, and a "must have" for all university libraries.

This book collects papers from the 8th Conference on Non-Integer Order Calculus and Its Applications that have been held on September 20-21, 2016 in Zakopane, Poland. The preceding two conferences were held in Szczecin, Poland in 2015, and in Opole, Poland, in 2014. This conference provides a platform for academic exchange on the theory and application of fractional calculus between domestic and international universities, research institutes, corporate experts and scholars. The Proceedings of the 8th Conference on Non-Integer Order Calculus and Its Applications 2016 brings together rigorously reviewed contributions from leading international experts. The included papers cover novel various important aspects of mathematical foundations of fractional calculus, modeling and control of fractional systems as well as controllability, detectability, observability and stability problems for this systems.

This monograph develops a framework for time-optimal control problems, focusing on minimal and maximal time-optimal controls for linear-controlled evolution equations. Its use in optimal control provides a welcome update to Fattorini's work on time-optimal and norm-optimal control problems. By discussing the best way of representing various control problems and equivalence among them, this systematic study gives readers the tools they need to solve practical problems in control. After introducing preliminaries in functional analysis, evolution equations, and controllability and observability estimates, the authors present their time-optimal control framework, which consists of four elements: a controlled system, a control constraint set, a starting set, and an ending set. From there, they use their framework to address areas of recent development in time-optimal control, including the existence of admissible controls and optimal controls, Pontryagin's maximum principle for optimal controls, the equivalence of different optimal control problems, and bang-bang properties. This monograph will appeal to researchers and graduate students in time-optimal control theory, as well as related areas of controllability and dynamic programming. For ease of reference, the text itself is self-contained on the topic of time-optimal control. Frequent examples throughout clarify the applications of theorems and definitions, although experience with functional analysis and differential equations will be useful.

This book describes a set of novel statistical algorithms designed to infer functional connectivity of large-scale neural assemblies. The algorithms are developed with the aim of maximizing computational accuracy and efficiency, while faithfully reconstructing both the inhibitory and excitatory functional links. The book reports on statistical methods to compute the most significant functional connectivity graph, and shows how to use graph theory to extract the topological features of the computed network. A particular feature is that the methods used and extended at the purpose of this work are reported in a fairly completed, yet concise manner, together with the necessary mathematical fundamentals and explanations to understand their application. Furthermore, all these methods have been embedded in the user-friendly open source software named SpiCoDyn, which is also introduced here. All in all, this book provides researchers and graduate students in bioengineering, neurophysiology and computer science, with a set of simplified and reduced models for studying functional connectivity in in silico biological neuronal networks, thus overcoming the complexity of brain circuits.

This book deals with critical infrastructure safety analysis based on reliability modelling of multistate ageing system. It shows how changes of the operation process as well as climate-weather changes in the operating area of the critical infrastructure do influence the safety parameters of its assets. Building upon previous authors' research, the book formulates an integrated modeling approach where the multistate critical infrastructure safety model is combined with semi-Markov models for its operation process and for the climate-weather change process. This approach is shown to be successful in determining basic critical infrastructure safety, risk and resilience indicators, regardless of the number of assets and the number of their safety states. Besides the theory, the book reports on a successful application to the safety analysis of a real critical infrastructure, such as a port oil terminal. All in all, this book proposes a comprehensive and timely review of cutting-edge mathematical methods for safety identification, prediction and evaluation of critical infrastructures. It demonstrates that these methods can be applied in practice for analyzing safety of critical infrastructure under time-varying operation and climate-weather change processes.