Vir V. Phoha - Böcker

Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems. Although there are some excellent monographs and books on SCT to control and diagnose discrete-event systems, there is a need for a research monograph that provides a coherent quantitative treatment of SCT theory for decision and control of complex systems. This new monograph will assimilate many new concepts that have been recently reported or are in the process of being reported in open literature. The major objectives here are to present a) a quantitative approach, supported by a formal theory, for discrete-event decision and control of human-engineered complex systems; and b) a set of applications to emerging technological areas such as control of software systems, malicious executables, and complex engineering systems. The monograph will provide the necessary background materials in automata theory and languages for supervisory control. It will introduce a new paradigm of language measure to quantitatively compare the performance of different automata models of a physical system. A novel feature of this approach is to generate discrete-event robust optimal decision and control algorithms for both military and commercial systems.

The explosive growth of the Internet, inherent flaws in its basic structure, and the need to transfer sensitive information for Internet applications like electronic mail, Internet banking, and Internet commerce have resulted in serious security concerns. This dictionary aims at providing reliable definitions and descriptions of Internet security terms in clear and precise English. The dictionary covers five main areas: (1) authentication; (2) network-level security; (3) firewall design and implementation, and remote management; (4) Internet security policies, risk analysis, integration across platforms, management and auditing, mobile code security Java/Active X/scripts, and mobile agent code; and (5) security in Internet commerce. Information has come from various magazine and journal articles in network and Internet security, Internet books, and RFCs. Though primarily a repository of Internet security terms, the book also contains many terms relating to server processes, TCP/IP, and routing.

This book provides the basics needed to develop sensor network software and supplements it with many case studies covering network applications. It also examines how to develop onboard applications on individual sensors, how to interconnect these sensors, and how to form networks of sensors, although the major aim of this book is to provide foundational principles of developing sensor networking software and critically examine sensor network applications.

Helping to advance a valuable paradigm shift in the next generation and processing of knowledge, this seminal work provides a comprehensive model for constructing a contextually based processing system that can support advanced semantic web and cloud computing capabilities at a global scale. It explores the components of the system, the interactions of the components, key mathematical foundations behind the model, and new concepts necessary for operating the system. The book also describes numerous cutting-edge applications and research directions for contextual processing and offers novel methods for addressing the producer-consumer problem.

Helping to advance a valuable paradigm shift in the next generation and processing of knowledge, this seminal work provides a comprehensive model for constructing a contextually based processing system that can support advanced semantic web and cloud computing capabilities at a global scale. It explores the components of the system, the interactions of the components, key mathematical foundations behind the model, and new concepts necessary for operating the system. The book also describes numerous cutting-edge applications and research directions for contextual processing and offers novel methods for addressing the producer-consumer problem.

Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems. Although there are some excellent monographs and books on SCT to control and diagnose discrete-event systems, there is a need for a research monograph that provides a coherent quantitative treatment of SCT theory for decision and control of complex systems. This new monograph will assimilate many new concepts that have been recently reported or are in the process of being reported in open literature. The major objectives here are to present a) a quantitative approach, supported by a formal theory, for discrete-event decision and control of human-engineered complex systems; and b) a set of applications to emerging technological areas such as control of software systems, malicious executables, and complex engineering systems. The monograph will provide the necessary background materials in automata theory and languages for supervisory control. It will introduce a new paradigm of language measure to quantitatively compare the performance of different automata models of a physical system. A novel feature of this approach is to generate discrete-event robust optimal decision and control algorithms for both military and commercial systems.

This book presents a comprehensive overview of wireless sensor networks (WSNs) with an emphasis on security, coverage, and localization. It offers a structural treatment of WSN building blocks including hardware and protocol architectures and also provides a systems-level view of how WSNs operate. These building blocks will allow readers to program specialized applications and conduct research in advanced topics.A brief introductory chapter covers common applications and communication protocols for WSNs. Next, the authors review basic mathematical models such as Voroni diagrams and Delaunay triangulations. Sensor principles, hardware structure, and medium access protocols are examined. Security challenges ranging from defense strategies to network robustness are explored, along with quality of service measures. Finally, this book discusses recent developments and future directions in WSN platforms.Each chapter concludes withclassroom-tested exercises that reinforce key concepts. This book is suitable for researchers and for practitioners in industry. Advanced-level students in electrical engineering and computer science will also find the content helpful as a textbook or reference.

This book presents a comprehensive overview of wireless sensor networks (WSNs) with an emphasis on security, coverage, and localization. It offers a structural treatment of WSN building blocks including hardware and protocol architectures and also provides a systems-level view of how WSNs operate.