Mathematics of Autonomy Mathematical Methods for Cyber-Physical-Cognitive Systems

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.

Readership: Undergraduates, graduates and researchers in computer science, pure and applied mathematics, engineering, and physics.