Partial Information in Computer Communications: A System- Theoretic Approach to Some Problems

这个项目的目的是从系统和控制理论的角度研究涉及计算机通信的情况下出现的部分信息问题。令人感兴趣的主要案例是分布式数据库系统。作为离散事件系统的控制问题，本文主要研究并发控制和故障恢复保护问题。这些问题的特点是部分信息问题，其中传播起着核心作用。该项目的目标是调查提出控制和通信问题以及制定和分析拟议解决方案的状态模型的适当性。特别是，将研究Ramadge和Wonham的离散事件系统监督控制理论对这些问题的适用性。这项工作有助于更好地理解离散事件系统中的控制和系统理论问题。

The objective of this project is to study problems with partial information arising in situations involving computer communications from the point of view of systems and control theory. The main case of interest is that of distributed database systems. This research focuses on a study of concurrency control and recovery protection against aborts and crashes as control problems for discrete event systems. These problems are characterized by the issue of partial information, with communication playing a central role. The goal of the project is to investigate the appropriateness of state models for posing questions of control and communication and for formulating and analyzing proposed solutions. In particular, a study will be made of the applicability of the theory of Ramadge and Wonham for supervisory control of discrete event systems to these problems. This work should contribute to a better understanding of control and system-theoretic issues in discrete event systems.