• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Non-blocking Supervisory Control of Timed Automata using Forcible Events
【24h】

Non-blocking Supervisory Control of Timed Automata using Forcible Events

机译：使用强制事件的定时自动机的非阻塞监控控制

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Real-valued clocks make the state space of timed automata (TA) infinite. Conventional supervisory control synthesis techniques are only applicable to finite automata (FA). Therefore, to synthesize a supervisor for TA using conventional techniques, an abstraction of TA to FA is required. For many applications, the abstraction of real-time values results in an explosion in the finite state space. This paper presents a supervisory control synthesis technique applied directly to TA without any abstraction. The plant is given as a TA with a set of uncontrollable events and a set of forcible events that may preempt the passage of time. To obtain a non-blocking controlled system, a synthesis algorithm is proposed that delivers a supervisor (also as a TA) avoiding the blocking states. The algorithm works by (iteratively) strengthening the guards of edges labeled by controllable events and invariants of locations where time progress can be preempted by forcible events.
机译：实值时钟使定时自动机（TA）无限的状态空间。传统的监督控制合成技术仅适用于有限自动机（FA）。因此，为了使用常规技术合成TA的主管，需要对FA的抽象。对于许多应用程序，实时值的抽象导致有限状态空间中的爆炸。本文介绍了直接施加到TA的监控合成技术，没有任何抽象。该工厂作为TA，具有一组无法控制的事件和一组可能抢占时间流逝的强制事件。为了获得非阻塞控制系统，提出了一种综合算法，其提供避免阻塞状态的主管（也是TA）。该算法通过（迭代地）（迭代）加强由可控事件标记的边缘的警卫，并通过强制事件抢占时间进展的位置的不变性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号