Mathematics of Autonomy provides solid mathematical foundations for building useful Autonomous Systems. It clarifies what makes a system autonomous rather than simply automated, and reveals the inherent limitations of systems currently incorrectly labeled as autonomous in reference to the specific and strong uncertainty that characterizes the environments they operate in. Such complex real-world environments demand truly autonomous solutions to provide the flexibility and robustness needed to operate well within them.This volume embraces hybrid solutions to demonstrate extending the classes of uncertainty autonomous systems can handle. In particular, it combines physical-autonomy (robots), cyber-autonomy (agents) and cognitive-autonomy (cyber and embodied cognition) to produce a rigorous subset of trusted autonomy: Cyber-Physical-Cognitive autonomy (CPC-autonomy).The body of the book alternates between underlying theory and applications of CPC-autonomy including 'Autonomous Supervision of a Swarm of Robots' , 'Using Wind Turbulence against a Swarm of UAVs' and 'Unique Super-Dynamics for All Kinds of Robots (UAVs, UGVs, UUVs and USVs)' to illustrate how to effectively construct Autonomous Systems using this model. It avoids the wishful thinking that characterizes much discussion related to autonomy, discussing the hard limits and challenges of real autonomous systems. In so doing, it clarifies where more work is needed, and also provides a rigorous set of tools to tackle some of the problem space.

The first book focusing on one of the hottest new topics in Internet of Things systems research and development Studies estimate that by 2020 we will have a vast Internet of Things (IoT) network comprising 26 billion connected devices, including everything from light bulbs to refrigerators, coffee makers to cars. From the beginning, the concept of cyber-physical systems (CPS), or the sensing and control of physical phenomena through networks of devices that work together to achieve common goals, has been implicit in the IoT enterprise. This book focuses on the increasingly hot topic of Human-in-the-loop Cyber-Physical Systems (HiTLCPS)—CPSs that incorporate human responses in IoT equation. Why have we not yet integrated the human component into CPSs? What are the major challenges to achieving HiTLCPS? How can we take advantage of ubiquitous sensing platforms, such as smartphones and personal devices to achieve that goal? While mature HiTLCPS designs have yet to be achieved, or a general consensus reached on underlying HiTLCPS requirements, principles, and theory, researchers and developers worldwide are on the cusp of realizing them. With contributions from researchers at the cutting edge of HiTLCPS R&D, this book addresses many of these questions from the theoretical and practical points of view. An essential primer on a rapidly emerging Internet-of-Things concept, focusing on human-centric applications Discusses new topics which, until now, have only been available in research papers scattered throughout the world literature Addressed fundamental concepts in depth while providing practical insights into the development of complete HiTLCPS systems Includes a companion website containing full source-code for all of the applications described This book is an indispensable resource for researchers and app developers eager to explore HiTL concepts and include them into their designs. It is also an excellent primer for advanced undergraduates and graduate students studying IoT, CPS, and HiTLCPS.

This book presents the proceedings of the International Conference on Cyber-Physical Systems and Control (CPS&C'2019), held in Peter the Great St. Petersburg Polytechnic University, which is celebrating its 120th anniversary in 2019. The CPS&C'2019 was dedicated to the 35th anniversary of the partnership between Peter the Great St. Petersburg Polytechnic University and Leibniz University of Hannover. Cyber-physical systems (CPSs) are a new generation of control systems and techniques that help promote prospective interdisciplinary research. A wide range of theories and methodologies are currently being investigated and developed in this area to tackle various complex and challenging problems. Accordingly, CPSs represent a scientific and engineering discipline that is set to make an impact on future systems of industrial and social scale that are characterized by the deep integration of real-time processing, sensing, and actuation into logical and physical heterogeneous domains. The CPS&C'2019 brought together researchers and practitioners from all over the world and to discuss cross-cutting fundamental scientific and engineering principles that underline the integration of cyber and physical elements across all application fields. The participants represented research institutions and universities from Austria, Belgium, Bulgaria, China, Finland, Germany, the Netherlands, Russia, Syria, Ukraine, the USA, and Vietnam. These proceedings include 75 papers arranged into five sections, namely keynote papers, fundamentals, applications, technologies, and education and social aspects.

This book presents the latest research in cognitive security, a rapidly emerging field that addresses the vulnerabilities in human behavior and cognition that can lead to Cyber-Physical Systems (CPS) compromise. This book demonstrates that as adversaries increasingly use manipulative and deceptive information to disrupt human cognitive processes, including sensation, attention, memory, and mental operations, humans are misled into fallacious reasoning and manipulated decisions that can lead to system-level meltdown. Cognitive security aims to protect humans from the exploitation of cognitive vulnerabilities, help them make informed decisions that are free from manipulation and undue influence, and mitigate the aggravating risk in the ensuing steps of the attacker’s kill chain. This book offers solutions that work across different fields, such as psychology, neuroscience, data science, social science, and game theory, to deal with cognitive threats. It guides the reader through the core ideas with figures, real-life examples, and case studies. Moreover, it formally defines all research questions, presents the results using mathematical theorems and proofs, and obtains insights through numerical validation. This book provides a self-contained and brief overview of essential system-scientific tools for modeling, analyzing, and mitigating cognitive vulnerabilities. The concepts of human cognitive capacities and cognitive vulnerabilities are formally discussed, followed by two case studies in the scenarios of reactive and proactive attention vulnerabilities. This book provides insights and applications on this transdisciplinary topic, with the goal of motivating future research in this emerging area and pushing the frontier of human-technology convergence. This book is a valuable reference for researchers and advanced-level students studying or working in cognitive security and related fields. It is also useful for decision-makers, managers, and professionals working within these related fields.

This book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023. The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

The book includes lectures given by the plenary and key speakers at the 9th International ISAAC Congress held 2013 in Krakow, Poland. The contributions treat recent developments in analysis and surrounding areas, concerning topics from the theory of partial differential equations, function spaces, scattering, probability theory, and others, as well as applications to biomathematics, queueing models, fractured porous media and geomechanics.