【24h】

A Cooperative Design for Hybrid Control Systems

机译:混合控制系统的协同设计

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

摘要

In this paper, a hybrid system design method, based on cooperation between two disciplines - control theory and computing science, is presented. The method suggests to decompose a hybrid system into control loops and decision loops. The external behaviour of control loops are specified in a notation, which is understandable by the two disciplines, while designs of control loops employ theory of differential equations. The correctness of the designs of control loops is guaranteed by control engineers analytically or experimentally. Decision loops are designed by computing engineers, and, based on the specifications of control loops, the verification of system requirements can be done by a reasoning mechanism of the notation. Two examples of inverted pendulum are given for illustration, and the Mean Value Calculus is chosen as the formal notation for specifying control loops and designing decision loops.
机译:本文提出了一种基于控制理论和计算科学两个学科之间的合作的混合系统设计方法。该方法建议将混合系统分解为控制环和决策环。控制回路的外部行为以符号表示,这是两个学科都可以理解的,而控制回路的设计则采用微分方程的理论。控制回路设计的正确性由控制工程师通过分析或实验来保证。决策环由计算工程师设计,并且根据控制环的规范,可以通过符号的推理机制来完成系统需求的验证。给出了两个倒立摆的例子,并说明了平均值微积分作为形式化表示法,用于指定控制回路和设计决策回路。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号