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.