云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=Abstraction-based "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization: 《IEEE/CAA Journal of Automatica Sinica》2024年第10期2082-2098,共17页Wei Ren Zhuo-Rui Pan Weiguo Xia Xi-Ming Sun; supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090);the National Natural Science Foundation of China(61890920,61890921,62122016,08120003);Liaoning Science and Technology Program(2023JH2/101700361).; Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...; 关键词：Abstraction-based control design dynamic quantization formal methods linear temporal logic(LTL)

全选清除导出

共1页<1>