Nondeterministic Control of Discrete-Event Systems for Language or (Bi) Simulation Equivalence Specifications

语言或（双）仿真等效规范的离散事件系统的非确定性控制

• 批准号: 0424048
• 负责人: Ratnesh Kumar
• 金额: --
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2008-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0424048&HistoricalAwards=false
• 关键词: Nondeterministic; Control; Discrete; Event; Systems

The objective of this research is a comprehensive study of nondeterministic control of discrete event systems for language/simulation/bisimulation equivalence based specifications. Past work on supervisory control considered mainly the deterministic supervisors. To any end-user it does not matter whether the supervisor is deterministic or nondeterministic rather whether it fulfills the control task. In fact for nondeterministic plants (nondeterminism arises due to unmodeled dynamics, which may be intentional or unintentional), simulation/bisimulation equivalence based specification are more natural, and nondeterministic control may be the only option to enforce them. Also, even for language equivalence based specifications nondeterminism of control can offer several advantages (as reported in our recent work). The proposal is aimed toward developing further understanding of the advantages the nondeterministic control has to offer for supervisory control for language/simulation/bisimulation equivalence. The project includes experimentation with two educational discrete-event "plants" located in our controls laboratory. One is a manufacturing system whereas other is a chemical-process plant. We also propose to extend our existing supervisory control software to include the new algorithms of nodeterministic control synthesis. The broader impacts of the project lie in it's application areas of discrete-event systems including, manufacturing, telecommunications and networking, traffic and transportation, chemical process control, embedded system control, asynchronous hardware verification, and software verification. With such a wide spread applicability of event-driven systems, it is important to educate graduate students with discrete-event background, and this proposal will involve 2 PhD students. The PI teaches a course on Discrete-Event Systems each year through which the new results will be disseminated.

本研究的目的是全面研究离散事件系统的语言/仿真/互模拟等价规范的不确定性控制。 过去的监督控制工作主要考虑确定性监督者。 对于任何最终用户来说，监督程序是确定性的还是非确定性的并不重要，重要的是它是否完成了控制任务。 事实上，对于非确定性的植物（非确定性的出现，由于未建模的动态，这可能是有意或无意的），仿真/互模拟等价为基础的规范是更自然的，和非确定性控制可能是唯一的选择，以执行它们。 此外，即使对于基于语言等效性的规范，控制的不确定性也可以提供几个优点（正如我们最近的工作所报告的那样）。 该建议的目的是进一步了解的优势，非确定性控制提供监督控制的语言/仿真/互模拟等价。 该项目包括实验与两个教育离散事件“工厂”位于我们的控制实验室。 一个是制造系统，另一个是化学加工厂。 我们还建议扩展我们现有的监控软件，包括非确定性控制合成的新算法。 该项目的广泛影响在于其离散事件系统的应用领域，包括制造，电信和网络，交通和运输，化学过程控制，嵌入式系统控制，异步硬件验证和软件验证。 由于事件驱动系统的广泛适用性，培养具有离散事件背景的研究生非常重要，本提案将涉及2名博士生。 PI每年教授一门关于离散事件系统的课程，通过该课程将传播新的结果。