检索结果-南通市图书馆

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using dynamic quantization

IEEE/CAA Journal of Automatica Sinica 2024年第10期11卷 2082-2098页

作者： Wei Ren Zhuo-Rui Pan Weiguo Xia Xi-Ming Sun the Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education Dalian University of Technology the School of Control Science and Engineering Dalian University of TechnologyDalian 116024China

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 *** this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL *** on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis ***,we develop a dynamic quantization based approach to verify the realization of the accepting *** realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller ***,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control *** abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational *** each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing ***,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.

关键词： Abstraction-based control design dynamic quantization formal methods linear temporal logic(LTL)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Nonfragile fuzzy tracking control for nonlinear systems with input and output dynamic quantization

Nonfragile fuzzy tracking control for nonlinear systems with...

引用

第40届中国控制会议

作者： Zhi-Min Li Jianling Qi Guobao Liu School of Electronic and Control Engineering North China Institute of Aerospace Engineering Hebei Engineering Research Center for Assembly and Inspection Robot North China Institute of Aerospace Engineering School of Electrical and Automation Nanjing Normal University

This paper investigates the nonfragile H output feedback tracking control problem for a class of nonlinear systems with input and output dynamic quantization based on T-S fuzzy model *** measurement output and the control input signals will be quantized by dynamic quantizers before them being transmitted to the controller and the actuator,*** attention of this paper is focused on the design of the observer-based nonfragile H output feedback tracking controller to asymptotically stabilize the nonlinear system and achieve the prescribed H tracking performance according to linear matrix inequality(LMI) *** results are provided to show the effectiveness of the developed design method.

关键词： Nonlinear systems T-S fuzzy systems dynamic quantization Nonfragile H∞ tracking control Linear matrix inequality(LMI)

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

DoS attack intensity adaptive Actor-Critic scheme for distributed secondary control of DC microgrid under digital quantization

DoS attack intensity adaptive Actor-Critic scheme for distri...

引用

第43届中国控制会议

作者： Qing Zhang Jian Sun School of Electronic and Information Engineering Southwest University

An adaptive DoS attack intensity secondary control scheme based on dynamic quantization and reinforcement learning is proposed for islanded DC *** to the limited bandwidth resources of the DC microgrid network,it is necessary to quantize the control ***,DoS attacks block the transmission of quantized signals,causing the quantizer to diverge.A dynamic quantizer encodes the optimal secondary control signal to reduce the quantization error caused by the quantizer *** designing the adaptive quantization parameter,the dynamic quantizer changes the quantization step size and quantization range according to the output of the Actor-Critic network to ensure that the quantizer remains *** addition,the cost function of the current sharing error and voltage error is constructed using the predicted attack *** minimizing the cost function of the Actor-Critic network,the optimal secondary control signals under different attack intensities are obtained to reduce the impact of the DoS attack on the DC microgrid's current sharing and voltage *** effectiveness of the scheme is verified by simulation on MATLAB/SIMULINK.

关键词： DC microgrid dynamic quantization DoS attack Actor-Critic Secondary control

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Output Quantized Feedback with Bounded System Noise

Output Quantized Feedback with Bounded System Noise

引用

第26届中国控制与决策会议

作者： Yuqiang Long Qiang Ling Zhe Yan Feng Li Song Wang University of Science and Technology of China

It is of great value to study control systems employing sensors and actuators which are geographically separated. In this paper, we study a system with bounded noise and stabilize it under output quantized feedback. Some people have done research on full-state observable linear systems. Here we consider the general（not necessarily fullstate observable） output feedback situation with system noise. We use dynamic quantization strategy and prove the quantized system with a state observer can achieve practical stability at the same minimum bit rate in the full-state ***, we give an upper bound of the estimation error. At last, we show simulation result of the state of output feedback control on the system.

关键词： Bounded noise output feedback dynamic quantization quantization.

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：