...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Automatic Control >Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
【24h】

Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

机译：使用基于优先级的离散事件系统的监督控制形式的实时调度

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this note, we formalize real-time task scheduling by applying an extension of supervisory control theory (SCT) of discrete-event systems to real-time models. The set of all possible timed traces of the system is specified by a discrete timed automaton where each transition is associated with an event occurrence or the passage of one unit of time. We introduce priorities to SCT, and apply them to the setting of discrete timed automata in order to develop a formal and unified framework for task scheduling on a single CPU.
机译：在本说明中，我们通过将离散事件系统的监督控制理论（SCT）的扩展应用于实时模型来形式化实时任务调度。系统的所有可能定时迹线的集合由离散定时自动机指定，其中每个过渡与事件发生或一个时间单位的过去相关。我们为SCT引入了优先级，并将其应用于离散定时自动机的设置，以便为单个CPU上的任务调度开发一个正式而统一的框架。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号