The lexicon of decentralized discrete-event control

离散事件系统是一类特殊的系统，其中感兴趣的行为是如何特定的瞬时行动或干预来驱动各种技术过程。例如，这些动作包括按键盘上的键或交通灯变颜色。其他事件驱动系统包括通信网络、制造设施或计算机程序的执行。随着事件驱动系统变得越来越复杂，例如，电子商务应用程序，安全协议，汽车计算机化转向模块，仅举几例，我们对这些系统如何相互作用和需要干预的理解是通过数学模型的构建来帮助的。本提案将研究适当的数学模型，以确保这些系统以可预测的方式运行，防止任何不良或危险行为的发生。

A discrete-event system is a special class of systems where the behaviour of interest is how particular instantaneous actions or interventions to drive various technological processes. For example, such actions include pressing a key on a keyboard or a traffic light changing colour. Other event-driven systems include communication networks, manufacturing facilities or the execution of a computer program. As event-driven systems get more complex, for example, electronic commerce applications, security protocols, computerized steering modules in cars, to name but a few systems, our understanding of how these systems interact and require intervention is aided by the construction of mathematical models. This proposal will investigate appropriate mathematical models for ensuring that these systems operate in predicatable ways, preventing any undesirable or dangerous behaviours from occurring.