Theory Science

This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in providing some motivation for the topics in Part III.

The quantum computer is no longer the stuff of science fiction. Pioneering physicists are on the brink of unlocking a new quantum universe which provides a better representation of reality than our everyday experiences and common sense ever could. The birth of quantum computers - which, like Schrödinger's famous "dead and alive" cat, rely on entities like electrons, photons, or atoms existing in two states at the same time - is set to turn the computing world on its head.

This book comprises a set of chapters that introduce various topics pertinent to novel approaches towards enhancing cyber-physical measures for increased security and resilience levels in control systems. The unifying theme of these approaches lies in the utilization of knowledge and models of the physical systems, rather than an attempt to reinvigorate conventional IT-based security measures.