...
首页> 外文期刊>IEEE Transactions on Automatic Control >Supervisory control of timed discrete-event systems
【24h】

Supervisory control of timed discrete-event systems

机译:定时离散事件系统的监督控制

获取原文
获取原文并翻译 | 示例
           

摘要

The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models. It is shown that the RW concept of controllability and the existence of maximally permissive supervisory controls can be suitably generalized. The enhanced setting admits subsystem composition and the concept of forcible event as an event that preempts the tick of a global clock. An example of a simple manufacturing cell illustrates how the new framework can be used to solve synthesis problems which may include logic-based, temporal and quantitative optimality specifications.
机译:通过将Ostroff的语义用于定时转换模型,对定时事件系统进行控制的Ramadge-Wonham框架得到了增强。结果表明,RW的可控性概念和最大允许监督控制的存在可以适当地推广。增强的设置允许子系统组成和强制事件的概念成为抢占全局时钟滴答的事件。一个简单的制造单元的示例说明了如何使用新框架来解决综合问题,其中可能包括基于逻辑的,时间上和定量上的最优性规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号