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.