ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI:10.1145/3178126.3187006

Yinan Li, Jun Liu

引用次数: 2

Abstract

This demo abstract presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. The functionality and usability of ROCS will be illustrated through examples.

查看原文本刊更多论文

非线性动力系统的鲁棒完整控制综合工具

本演示摘要介绍了非线性动力系统的算法控制综合工具ROCS。与其他形式控制综合工具不同的是，它保证对非线性系统根据鲁棒可实现规范生成控制策略。将通过示例说明ROCS的功能和可用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

自引率

0.00%

发文量