首页> 外文OA文献 >Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications
【2h】

Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications

机译:具有安全规范的商业应用开关电力系统反应控制方案的合成

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

This paper presents a method for the reactive synthesis of fault-tolerant optimal control protocols for a finite deterministic discrete event system subject to safety specifications. A Deterministic Finite State Machine (DFSM) and Behavior Tree (BT) were used to model the system. The synthesis procedure involves formulating the policy problem as a shortest path dynamic programming problem. The procedure evaluates all possible states when applied to the DFSM, or over all possible actions when applied to the BT. The resulting strategy minimizes the number of actions performed to meet operational objectives without violating safety conditions. The effectiveness of the procedure on DFSMs and BTs is demonstrated through three examples of switched electrical power systems for commercial application and analyzed using run-time complexity analysis. The results demonstrated that for large order system BTs provided a tractable model to synthesize an optimal control policy.
机译:本文提出了一种用于有限的确定性离散事件系统的容错合成对容错性最佳控制协议的反应合成的方法。确定性有限状态机(DFSM)和行为树(BT)用于模拟系统。合成程序涉及将策略问题作为最短路径动态编程问题。该过程在应用于DFSM时或应用于BT时的所有可能的动作时,评估所有可能的状态。结果策略最小化了在不违反安全条件的情况下达到运营目标的行动次数。通过用于商业应用的开关电力系统的三个例子,证明了DFSMS和BTS上的程序的有效性,并使用运行时间复杂性分析分析。结果表明,对于大型订单系统,BTS提供了一种易于扫描最佳控制策略的模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号