...
首页> 外文期刊>IEEE Transactions on Automatic Control >An Approximate Simulation Approach to Symbolic Control
【24h】

An Approximate Simulation Approach to Symbolic Control

机译:符号控制的近似仿真方法

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

摘要

This paper introduces a methodology for the symbolic control of nonlinear systems based on an approximate notion of simulation relation. This notion generalizes existing exact notions of simulation and is completely characterized in terms of known stabilizability concepts. Equipped with this notion we show how, under certain stabilizability assumptions, we can construct finite or symbolic models for nonlinear control systems. Synthesizing controllers for the original control system can then be done by using supervisory control techniques on the finite models and by refining the resulting finite controllers to hybrid controllers enforcing the specification on the original continuous control system. The proposed design methodology can be seen as a correct-by-design way of obtaining both the feedback control laws as well as the control software responsible for deciding which law is executed and when.
机译:本文介绍了一种基于仿真关系近似概念的非线性系统符号控制方法。该概念概括了现有的精确仿真概念,并根据已知的稳定性概念进行了完全特征化。配备此概念后,我们将说明在特定的稳定性假设下,如何为非线性控制系统构造有限或符号模型。然后,可以通过在有限模型上使用监督控制技术,并将得到的有限控制器细化为对原始连续控制系统执行规范的混合控制器,来完成原始控制系统的综合控制器。所提出的设计方法可以看作是一种获得反馈控制定律以及负责决定执行哪条定律和何时执行的控制软件的正确设计方法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号