Supervisory control of discrete-event systems

离散事件系统的监督控制

• 批准号: 7399-2011
• 负责人: Wonham, Walter
• 金额: $ 5.03万
• 依托单位: University of Toronto
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=568515
• 关键词: Supervisory; control; discrete; event; systems

Our proposed research lies in the branch of engineering and applied mathematics called "automatic control" or sometimes "cybernetics", namely the science and technology of feedback systems. Such systems are designed to maintain some critical variable or variables within an acceptable range. For instance, an aircraft's automatic pilot corrects for wind disturbances which might otherwise drive the plane off course, perhaps disastrously. Of specific interest to us are systems, like traffic systems, which must respond to sudden "events", like the arrival in a service queue of a vehicle; and manufacturing systems, which must respond to a new part order or machine breakdown. Another example is the pushbutton system in a modern automobile which, although "randomly" activated by the motorist, should be designed never to commit a logical error like "hangup" or blocking. Such "discrete-event" systems and their control call for new and specialized techniques at the interface of control theory and computer science. A major challenge is that these systems can be very large and complex. For instance, the automobile pushbutton system may potentially enter many millions of different internal "states" or logical configurations. This may lead to almost overwhelming requirements on the computing power for control engineering design. We are developing ways of decomposing such systems into components or logical "layers", like the levels of management in a business or government organization, so that the design of controls can be rendered tractable. We are also exploring how such architectural principles can be combined with advanced computing techniques. The expected payoff from this research is powerful systematic design procedures which guarantee that the controlled system will behave as desired. Such guarantees translate ultimately into higher levels of protection against malfunction, and therefore into improved reliability and economic performance.

我们的研究方向是工程和应用数学的分支，称为“自动控制”，有时也称为“控制论”，即反馈系统的科学和技术。 这种系统被设计成将一些关键变量或多个关键变量保持在可接受的范围内。 例如，一架飞机的自动驾驶仪可以修正风的干扰，否则它可能会使飞机偏离航线，甚至造成灾难。 我们特别感兴趣的是系统，如交通系统，它必须对突然的“事件”做出响应，如车辆进入服务队列;和制造系统，它必须对新的零件订单或机器故障做出响应。 另一个例子是现代汽车中的自动挂断系统，尽管它是由驾驶员“随机”激活的，但它的设计应该永远不会犯“挂断”或阻塞等逻辑错误。 这种“离散事件”系统及其控制要求在控制理论和计算机科学的接口新的和专门的技术。 一个主要的挑战是，这些系统可能非常庞大和复杂。 例如，汽车ECU系统可能潜在地进入数百万个不同的内部“状态”或逻辑配置。 这可能导致对控制工程设计的计算能力的几乎压倒性的要求。 我们正在开发将这些系统分解为组件或逻辑“层”的方法，就像企业或政府组织中的管理层一样，这样控制的设计就可以变得易于处理。 我们还在探索如何将这些架构原则与先进的计算技术相结合。从这项研究的预期回报是强大的系统设计程序，保证受控系统将按照预期的行为。 这种保证最终转化为更高水平的故障保护，从而提高可靠性和经济性能。