检索结果-南通市图书馆

Fuzzy Adaptive Control of a Fractional Order Chaotic System With Unknown Control Gain Sign Using a Fractional Order Nussbaum Gain

引用

IEEE/CAA Journal of Automatica Sinica 2019年第3期6卷 816-823页

作者： Khatir Khettab Samir Ladaci yassine bensafia IEEE the electrical engineering department University of Mohamed Boudiaf M’sila 28000 Algeria electrical engineering department University of Skikda the EEA department National Polytechnic School of Constantine B. P. 75 A Ali Mendjli 25000 Constantine Algeria SP-Lab Laboratory Department of Electronics Mentouri University yassine bensafia is with the electrical engineering department University of Bouira

In this paper we propose an improved fuzzy adaptive control strategy, for a class of nonlinear chaotic fractional order(SISO) systems with unknown control gain sign. The online control algorithm uses fuzzy logic sets for the identification of the fractional order chaotic system, whereas the lack of a priori knowledge on the control directions is solved by introducing a fractional order Nussbaum gain. Based on Lyapunov stability theorem, stability analysis is performed for the proposed control method for an acceptable synchronization error level. In this work, the Gr ¨unwald-Letnikov method is used for numerical approximation of the fractional order systems. A simulation example is given to illustrate the effectiveness of the proposed control scheme.

关键词： Adaptive fuzzy control chaos synchronization fractional order Nussbaum function Lyapunov stability nonlinear fractional order systems

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

NuMDG:A New Tool for Multiway Decision Graphs Construction

引用

Journal of Computer Science & Technology 2011年第1期26卷 139-152页

作者： Sa'ed Abed yassine Mokhtari Otmane Ait-Mohamed Sofiene Tahar department of Computer engineering Hashemite UniversityZarqaJordan department of electrical and Computer engineering Concordia UniversityMontrealCanada

Multiway Decision Graphs （MDGs） are a canonical representation of a subset of many-sorted first-order logic. This subset generalizes the logic of equality with abstract types and uninterpreted function symbols. The distinction between abstract and concrete sorts mirrors the hardware distinction between data path and control. Here we consider ways to improve MDGs construction. Efficiency is achieved through the use of the Generalized-If-Then-Else （GITE） commonly operator in Binary Decision Diagram packages. Consequently, we review the main algorithms used for MDGs verification techniques. In particular, Relational Product and Pruning by Subsumption are algorithms defined uniformly through this single CITE operator which will lead to a more efficient implementation. Moreover, we provide their correctness proof. This work can be viewed as a way to accommodate the ROBBD algorithms to the realm of abstract sorts and uninterpreted functions. The new tool, called NuMDG, accepts an extended SMV language, supporting abstract data sorts. Finally, we present experimental results demonstrating the efficiency of the NuMDG tool and evaluating its performance using a set of benchmarks from the SMV package.

关键词： infinite state model checking multiway decision graphs uninterpreted functions

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：