A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems

我的研究重点是开发数学模型来表示其行为可以被认为是事件或动作序列的系统，以便在此类离散事件系统中自动解决问题并测试潜在的解决方案。建模的目标是生成满足给定规范的控制器。控制器（可能是软件、硬件或人工策略）必须决定在不同的时间点禁用哪些事件，并且必须仅基于对系统的部分观察做出决定。该领域的先前工作使用的模型中，事件的可控性和可观察性是静态属性。相比之下，我提出的研究旨在建立动态控制和动态观察模型。****此外，正如人类不仅基于对物理世界的直接观察，而且基于他们对其他人所知的推断做出决策一样，自动化代理也应该基于他们对其他代理所知的了解做出决策。因此，我的研究将集中在观察、控制和“知识”之间的相互作用。我将把代理知识的正式模型合并到我的框架中。******我们看待观察和控制的方式的根本转变是在拟议的研究计划中预期的。将动态观察与控制相结合，建立面向服务计算应用的服务组合监督控制理论模型。我的研究还将对分散的配电系统产生影响，例如在电力市场，当自主代理（家庭，电动汽车，私人发电机）将生产和消耗电力时，未来的现状将不再可行。我对以知识为基础的控制模型的研究可以应用于个体行为主体在激励的引导下以产生某些总体预期结果的方式行事的策略。******最雄心勃勃的是，我的研究将应用于解决计算机安全问题，在这些问题中，敌对代理对系统只有部分观察，但却试图对系统施加控制，以收集秘密信息。有了更精确的离散事件系统模型——基于动态观察和动态控制，并使用基于知识的推理——我们可以开发出控制器，防止对手能够辨别出打算保密的信息。我将研究攻击者可以控制和改变系统行为的场景。我将考虑控制器可能采取的应对措施。我希望确定限制系统的行为还是阻止攻击者控制某些事件更有利。例如，这将对加拿大的银行和信用卡公司产生影响，在这些公司中，保护信息隐私是最重要的。***该研究将培养10名HQP

My research focuses on developing mathematical models to represent systems whose behaviour can be thought of as sequences of events or actions in order to automate problem-solving and test potential solutions in such discrete-event systems. The goal of the modeling is to generate controllers to meet given specifications. Controllers, which may be software, hardware or human strategies, must make decisions about which events to disable at various points in time and they must make their decisions based only on partial observations of the system. Prior work in the field uses models where controllability and observability of an event are static properties. In contrast, my proposed research aims to model dynamic control and dynamic observation.****Furthermore, just as humans make decisions based not only on their direct observations of the physical world, but also based on inferences they make about what other people know, so too should automated agents make decisions based on what they know about what other agents know. Consequently, my research will focus on the interaction between observation, control, and "knowledge". I will incorporate formal models of agent knowledge into my framework. ******Fundamental shifts in the way we view observation and control are anticipated in the proposed research program. By incorporating dynamic observation and control, a supervisory control theory model of service composition will be developed for service-oriented computing applications. My research will also have an impact in decentralized distribution systems, for example in electricity markets where the status quo will no longer be viable in the future, when autonomous agents (homes, electric vehicles, private generators) will produce and consume electricity. My research into knowledge-based models for control can be applied to strategies where individual agents are guided by incentives to act in a way that produces some overall desired results. ******Most ambitiously, my research will be applied to solve computer security problems in which adversarial agents have only partial observation of a system and yet try to exert control over the system to glean secret information. With more accurate models of discrete-event systems-based on dynamic observation and dynamic control and using knowledge-based reasoning-we can develop controllers that prevent adversaries from being able to discern information that is intended to be kept private. I will investigate scenarios where the attacker can control and change the system's behaviour. I will consider possible responses a controller can take. I hope to determine whether it is more advantageous to restrict the behaviour of the system or to prevent the attacker from controlling some events. This will have an impact, for example, on Canadian banking and credit card companies, where protecting the privacy of information is of paramount concern.***The research will train 10 HQP.**