...
首页> 外文期刊>IEEE Control Systems Letters >Abstracting Partially Feedback Linearizable Systems Compositionally
【24h】

Abstracting Partially Feedback Linearizable Systems Compositionally

机译:部分抽象部分反馈线性化系统

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

摘要

Symbolic controller synthesis offers the ability to design controllers enforcing a rich class of specifications such as those expressible in temporal logic. Despite the promise of symbolic controller synthesis and correct-by-design control software, this design methodology is not yet widely applicable due to the complexity of constructing finite-state abstractions for large continuous systems. In this letter, we investigate a compositional approach to the construction of abstractions by exploiting the cascading structure of partially feedback linearizable systems. We show how the linearized part and the zero dynamics can be independently abstracted and subsequently composed to obtain an abstraction of the original continuous system. We also illustrate through examples how this compositional approach significantly reduces the time required for construction of abstractions.
机译:符号控制器综合功能提供了设计控制器的能力,这些控制器可以执行丰富的规范,例如在时间逻辑中可以表达的规范。尽管有符号控制器综合和按设计校正控制软件的承诺,但是由于为大型连续系统构造有限状态抽象的复杂性,该设计方法尚未广泛应用。在这封信中,我们通过利用部分反馈线性化系统的级联结构来研究抽象构造的组合方法。我们展示了如何线性化的部分和零动力学可以独立地抽象,然后组成以获得原始连续系统的抽象。我们还通过示例说明了这种组合方法如何显着减少构建抽象所需的时间。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号