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

离散事件系统中动态观测、控制和知识集成的框架

• 批准号: RGPIN-2015-05699
• 负责人: Rudie, Karen
• 金额: $ 1.6万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=590585
• 关键词: Framework; Integration; Dynamic; Observation; Control

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.

我的研究重点是开发数学模型来表示系统，其行为可以被认为是事件或动作的序列，以自动解决问题，并在这种离散事件系统中测试潜在的解决方案。建模的目标是生成满足给定规格的控制器。 控制器，可以是软件、硬件或人工策略，必须决定在不同的时间点禁用哪些事件，并且必须仅基于对系统的部分观察来做出决定。在该领域的先前工作中使用的模型中，事件的可控性和可观测性是静态属性。相比之下，我提出的研究旨在建立动态控制和动态观察模型。