ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems <ce:cross-ref refid='fn1'> <ce:sup loc='post'>?</ce:sup> </ce:cross-ref>

Yinan Li; Zhibing Sun; Jun Liu

首页> 外文期刊>IFAC PapersOnLine >ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems ?

【24h】

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems ?

机译：Rocs 2.0：用于非线性动力系统的集成时间逻辑控制合成工具？

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper introduces ROCS 2.0, a control synthesis tool for nonlinear systems with control objectives given as temporal logic formulas. In addition to the basic invariance, reachability, Büchi, and co-Büchi specifications that can be handled in the previous version of ROCS, ROCS 2.0 provides a major upgrade to support the general class of linear temporal logic formulas that can be translated to deterministic Büchi automata. Moreover, ROCS 2.0 not only maintains and accelerates the kernel of its previous version—the engine based on the specification-guided control method—by more efficient implementation, but also integrates a second engine that implements the abstraction-based control method, which is optimized to gain time and memory efficiency. Such a feature gives the user the freedom to choose the control synthesis method that is more suitable for a specific control problem.

机译：本文介绍了Rocs 2.0，一种用于非线性系统的控制合成工具，具有作为时间逻辑公式给出的控制目标。除了在以前版本的Rocs中可以处理的基本不变性，可达性，Büchi和Co-Büchi规范，Rocs 2.0还提供了一个重大升级，以支持可以转化为确定性Büchi的一般线性时间逻辑公式自动机。此外，Rocs 2.0不仅根据规格引导的控制方法维护和加速其先前版本 - 引擎的内核 - 通过更有效的实现，还集成了实现基于抽象的控制方法的第二引擎，该方法是优化的获得时间和记忆效率。这样的特征使用户提供了选择控制合成方法的自由度，该方法更适合于特定的控制问题。

著录项

来源
《IFAC PapersOnLine》 |2021年第5期|共6页
作者
Yinan Li; Zhibing Sun; Jun Liu;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类
关键词
Formal methods in controlControl of constrained systemsTemporal logicverificationabstraction of hybrid systemsComputational tools;

机译：混合系统的受限系统时间逻辑算法的控制控制中的正式方法计算工具;

相似文献

外文文献
中文文献
专利

1. Ergodicity Conditions for Controlled Stochastic Nonlinear Systems under Information Constraints ? ? [J] . N. Garcia, C. Kawan, S. Yüksel IFAC PapersOnLine . 2021,第9期

机译：在信息约束下受控随机非线性系统的ergodicity条件？？
2. Event-triggered Dynamic Output Feedback Controller for Discrete-time LPV Systems with Constraints ? ? [J] . C. de Souza, S. Tarbouriech, E.B. Castelan, IFAC PapersOnLine . 2021,第9期

机译：事件触发的动态输出反馈控制器，用于带有约束的离散时间LPV系统？？
3. Formal Power Series Approach to Nonlinear Systems with Static Output Feedback ? ? [J] . G.S. Venkatesh, W. Steven Gray IFAC PapersOnLine . 2021,第9期

机译：具有静态输出反馈的非线性系统的正式电源序列？？
4. Enhanced systems dynamics model and post-processing tool for the efficient analysis of FACTS [C] . Temma, K., Kono, Electric Utility Deregulation, Restructuring and Power Technologies, 2004. (DRPT 2004). Proceedings of the 2004 IEEE International Conference on . 2004

机译：增强的系统动力学模型和后处理工具，可有效分析FACTS
5. EMPIRICAL PROCEDURE FOR DESIGNING OPTIMUM DYNAMIC CONTROL SYSTEMS FOR NONLINEAR PROCESSES BY MEANS OF NONLINEAR CONTROL ELEMENTS. [D] . JONES, CHARLES ANDREWS, III. 1962

机译：利用非线性控制元素的手段设计非线性过程最优动力控制系统的经验过程。
6. Microfluidic Pneumatic Logic Circuits and Digital Pneumatic Microprocessors for Integrated Microfluidic Systems [O] . Minsoung Rhee, Mark A. Burns -1

机译：微流控气动逻辑电路和数字微处理器的气动综合微流体系统
7. SymposiumSubspecialty Certification: Current Status of Orthopaedic Subspecialty Certification* [O] . Keith H. Bridwell 2006

机译：Symposium 亚专业认证：矫形亚专业证书的当前状态 * / cross-ref>
8. Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. [R] . Sadigh, D., Kim, E., Coogan, S., 2014

机译：基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems ?

摘要

著录项

相似文献

相关主题

期刊订阅