A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
批准号:
RGPIN-2015-05699
负责人:
Rudie, Karen
金额:
$1.6万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2015
资助国家:
加拿大
项目状态:
已结题
起止时间:
2015-01-01 至 2016-12-31
中文摘要
我的研究重点是开发数学模型来表示其行为可以被认为是事件或动作序列的系统,以便在此类离散事件系统中自动解决问题并测试潜在的解决方案。建模的目标是生成满足给定规范的控制器。控制器(可能是软件、硬件或人工策略)必须决定在不同的时间点禁用哪些事件,并且必须仅基于对系统的部分观察做出决定。该领域的先前工作使用的模型中,事件的可控性和可观察性是静态属性。相比之下,我提出的研究旨在建立动态控制和动态观察模型。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Keeping Secrets: Realizing the Potential of Decentralized Discrete-Event Systems
-
批准号:RGPIN-2020-04279
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2022
-
负责人:Rudie, Karen
-
依托单位:
Keeping Secrets: Realizing the Potential of Decentralized Discrete-Event Systems
-
批准号:RGPIN-2020-04279
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2021
-
负责人:Rudie, Karen
-
依托单位:
Keeping Secrets: Realizing the Potential of Decentralized Discrete-Event Systems
-
批准号:RGPIN-2020-04279
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2020
-
负责人:Rudie, Karen
-
依托单位:
A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
-
批准号:RGPIN-2015-05699
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2019
-
负责人:Rudie, Karen
-
依托单位:
A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
-
批准号:RGPIN-2015-05699
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2018
-
负责人:Rudie, Karen
-
依托单位:
Cyber Resilience for Networks
-
批准号:513936-2017
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2017
-
负责人:Rudie, Karen
-
依托单位:
A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
-
批准号:RGPIN-2015-05699
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2017
-
负责人:Rudie, Karen
-
依托单位:
A Framework for the Integration of Dynamic Observation, Control and Knowledge in Discrete-Event Systems
-
批准号:RGPIN-2015-05699
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2016
-
负责人:Rudie, Karen
-
依托单位:
A framework for decentralized, dynamic discrete-event systems
-
批准号:138887-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.13万
-
财政年份:2014
-
负责人:Rudie, Karen
-
依托单位:
Mobile fitness monitoring system
-
批准号:452140-2013
-
项目类别:Engage Grants Program
-
资助金额:$1.58万
-
财政年份:2013
-
负责人:Rudie, Karen
-
依托单位:
A framework for decentralized, dynamic discrete-event systems
-
批准号:138887-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.13万
-
财政年份:2013
-
负责人:Rudie, Karen
-
依托单位:
A framework for decentralized, dynamic discrete-event systems
-
批准号:138887-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.13万
-
财政年份:2012
-
负责人:Rudie, Karen
-
依托单位:
A framework for decentralized, dynamic discrete-event systems
-
批准号:138887-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.13万
-
财政年份:2011
-
负责人:Rudie, Karen
-
依托单位:
A framework for decentralized, dynamic discrete-event systems
-
批准号:138887-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.13万
-
财政年份:2010
-
负责人:Rudie, Karen
-
依托单位:
Communication, control, and knowledge for discrete-event systems
-
批准号:138887-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.86万
-
财政年份:2009
-
负责人:Rudie, Karen
-
依托单位:
Communication, control, and knowledge for discrete-event systems
-
批准号:138887-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.86万
-
财政年份:2007
-
负责人:Rudie, Karen
-
依托单位:
Communication, control, and knowledge for discrete-event systems
-
批准号:138887-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.86万
-
财政年份:2006
-
负责人:Rudie, Karen
-
依托单位:
Communication, control, and knowledge for discrete-event systems
-
批准号:138887-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.86万
-
财政年份:2005
-
负责人:Rudie, Karen
-
依托单位:
Communication, control, and knowledge for discrete-event systems
-
批准号:138887-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.86万
-
财政年份:2004
-
负责人:Rudie, Karen
-
依托单位:
Control of discrete-event and hybrid systems
-
批准号:138887-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2003
-
负责人:Rudie, Karen
-
依托单位:
海外基金