首页|期刊导航|自动化学报（英文版）|Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Wei Ren Zhuo-Rui Pan Weiguo Xia Xi-Ming Sun

自动化学报（英文版）2024，Vol.11Issue(10)：2082-2098,17.

自动化学报（英文版）2024，Vol.11Issue(10)：2082-2098,17.DOI:10.1109/JAS.2024.124473

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Wei Ren ¹Zhuo-Rui Pan ¹Weiguo Xia ¹Xi-Ming Sun¹

作者信息

1. Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education||School of Control Science and Engineering,Dalian University of Technology,Dalian l16024,China
折叠

摘要

关键词

Abstraction-based control design/dynamic quanti-zation/formal methods/linear temporal logic(LTL)

Key words

Abstraction-based control design/dynamic quanti-zation/formal methods/linear temporal logic(LTL)

引用本文复制引用

Wei Ren,Zhuo-Rui Pan,Weiguo Xia,Xi-Ming Sun..Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization[J].自动化学报（英文版）,2024,11(10):2082-2098,17.

基金项目

This work was supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090),the National Natural Science Foundation of China(61890920,61890921,62122016,08120003),and Liaoning Science and Technology Program(2023JH2/101700361). （DUT22RT(3）

自动化学报（英文版）

OACSTPCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航