检索结果-内蒙古大学图书馆

Verification analysis of self-verifying automata via semi-tensor product of matrices

The Journal of China Universities of Posts and Telecommunications 2014年第4期21卷 96-104页

作者： YAN Yong-yi CHEN Zeng-qiang LIU Zhong-xin College of Computer and Control Engineering Nankai University College of Science Civil Aviation University of China

The semi-tensor product （STP） of matrices was used in the article, as a new matrix analysis tool, to investigate the problem of verification of self-verifying automata （SVA）. SVA is a special variant of finite automata which is essential to nondeterministic communication with a limited number of advice bits. The status, input and output symbols are expressed in vector forms, the dynamic behaviour of SVA is modelled as matrix product is STP. By such algebraic formulation, three an algebraic equation of the states and inputs, in which the necessary and sufficient conditions are presented for the verification problem, by which three algorithms are established to find out all the strings which are accepted, rejected, or unrecognized by a SVA. Testing examples show the correctness of the results.

关键词： SVA recognition power matrix approach STP matrices

来源：评论

学校读者我要写书评

暂无评论

An approach to designing the fuzzy IF-THEN rules for fuzzy-controlled static var compensator (FCSVC)

引用

INFORMATION scienceS 1997年第3-4期101卷 249-260页

作者： Yamakawa, T Uchino, E Takayama, M Department of Computer Science and Control Engineering Kyushu Institute of Technology Iizuka Fukuoka 820 Japan

This paper describes an approach to designing-fuzzy if-then rules for the fuzzy-controlled static var compensator (FCSVC) in a three-phase electric power system. In general, it is very difficult to control the rms line voltage in the three-phase ac circuit. We propose the FCSVC system to control the voltage. FCSVC is an rms line voltage stabilizer using three static var compensators (SVC) which are controlled by a fuzzy logic controller (FLC). Moreover, we propose an easier and more efficient approach to designing the fuzzy if-then rules of FCSVC. The effectiveness of the FCSVC described in this paper is verified by the experimental results. (C) Elsevier science Inc. 1997.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Affine formation maneuver tracking control of multiple second-order agents with time-varying delays

引用

science China(Technological sciences) 2019年第4期62卷 665-676页

作者： XU Yang LI DongYu LUO DeLin YOU YanCheng School of Aerospace Engineering Xiamen University Department of Electrical and Computer Engineering National University of Singapore Department of Control Science and Engineering Harbin Institute of Technology

This paper considers an affine maneuver tracking control problem for leader-follower type second-order multi-agent systems in the presence of time-varying delays, where the interaction topology is directed. Using the property of the affine transformation,this paper gives the sufficient and necessary conditions of achieving the affine localizability and extends it to the second-order condition. Under the(n + 1)-reachable condition of the given n-dimensional nominal formation with n + 1 leaders, a formation of agents can be reshaped in arbitrary dimension by only controlling these leaders. When the neighboring positions and velocities are available, a formation maneuver tracking control protocol with time-varying delays is constructed with the form of linear systems, where the tracking errors of the followers can be specified. Based on Lyapunov-Krasovskii stability theory, sufficient conditions to realize affine maneuvers are proposed and proved, and the unknown control gain matrix can be solved only by four linear matrix inequalities independent of the number of agents. Finally, corresponding simulations are carried out to verify the theoretical results, which show that these followers can track the time-varying references accurately and continuously.

关键词： formation control affine transformation multi-agent systems second-order dynamics time-varying delays

来源：评论

学校读者我要写书评

暂无评论

Analysis of Look-ahead control on Traffic Flow

引用

IFAC-PapersOnLine 2016年第3期49卷 261-266页

作者： Németh, Balázs Gáspár, Péter Mihály, András Bokor, József Institute for Computer Science and Control Hungarian Academy of Sciences Budapest Hungary Institute for Computer Science and Control Hungarian Academy of Sciences and MTA-BME Control Engineering Research Group Budapest Hungary

The paper analyzes the relationship between the traffic flow and the look-ahead control. The purpose of the analysis is to map the impact of the unique speed profiles used by the look-ahead controlled vehicles on the traffic flow consisting of conventional vehicles. The analysis is carried out by considering different traffic volumes, penetration rates of the look-ahead vehicles and the energy-scaling parameter of the look-ahead optimization algorithm. The analysis is evaluated both in the Matlab simulation environment and in the microscopic traffic simulation environment VISSIM using COM interface. © 2016

关键词： Street traffic control MATLAB Numerical control systems Vehicles Energy scaling Look ahead control Matlab simulations Microscopic traffic simulation Optimization algorithms Penetration rates Speed profile Traffic volumes

来源：评论

学校读者我要写书评

暂无评论

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks

arXiv

引用

arXiv 2025年

作者： Stella, Leonardo Bauso, Dario Blanchini, Franco Colaneri, Patrizio School of Computer Science College of Engineering and Physical Sciences University of Birmingham BirminghamB15 2TT United Kingdom Jan C. Willems Center for Systems and Control ENTEG Faculty of Science and Engineering University of Groningen Netherlands Dipartimento di Ingegneria University of Palermo Italy Dipartimento di Matematica e Informatica Università degli Studi di Udine Italy Dipartimento di Elettronica Informazione e Bioingeneria IEIIT-CNR Politecnico di Milano Milano20133 Italy

Cascading failures, such as bankruptcies and defaults, pose a serious threat for the resilience of the global financial system. Indeed, because of the complex investment and cross-holding relations within the system, failures can occur as a result of the propagation of a financial collapse from one organization to another. While this problem has been studied in depth from a static angle, namely, when the system is at an equilibrium, we take a different perspective and study the corresponding dynamical system. The contribution of this paper is threefold. First, we carry out a systematic analysis of the regions of attraction and invariance of the system orthants, defined by the positive and negative values of the organizations’ equity. Second, we investigate periodic solutions and show through a counterexample that there could exist periodic solutions of period greater than 2. Finally, we study the problem of finding the smallest cash injection that would bring the system to the maximal invariant region of the positive orthant. © 2025, CC BY.

关键词： Decentralized finance

来源：评论

学校读者我要写书评

暂无评论

RHC-Based Consensus of Multi-Agent Systems with Simultaneous Packet Dropout and Input Delay

引用

Journal of Systems science & Complexity 2022年第4期35卷 1262-1277页

作者： XU Juanjuan ZHANG Zhaorong School of Control Science and Engineering Shandong UniversityJinan250061China School of Electrical Engineering and Computer Science University of NewcastleNewcastleCallaghanNSW2308Australia

This paper is concerned with the multi-agent systems with both packet dropout and input delay.A novel receding horizon control(RHC)based consensus protocol is proposed by solving a distributed RHC based optimization *** novelty of the optimization problem lines in the involvement of the neighbours’predictor information in the cost *** on the derived RHC based consensus protocol,the necessary and sufficient condition for the mean-square consensus is *** addition,the authors give a specific sufficient condition to guarantee the mean-square consensus.

关键词： Consensus delay packet dropout predictor-like protocol receding horizon control

来源：评论

学校读者我要写书评

暂无评论

Tissue P Systems with Look-ahead Mode

引用

Chinese Journal of Electronics 2014年第1期23卷 81-86页

作者： JIANG Yun SONG Tao ZHANG Zheng School of Computer Science and Information Engineering Chongqing Technology and Business University Image Processing and Intelligent Control Key Laboratory of Education Ministry of China Department of Control Science and Engineering Huazhong University of Science and Technology

Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system with look-ahead mode, is discussed for decreasing the inherent non-determinism of tissue P systems and helping implementing tissue P systems on computers. Such systems are proved to be universal by simulating register machine, and they are also proved to be able to efficiently solve computationally hard problems by means of a spacetime tradeoff, which is illustrated with a polynomial solution to 3-coloring problem.

关键词： Tissue P system Look-ahead mode Recursively enumerable language Cell separation 3-Coloring

来源：评论

学校读者我要写书评

暂无评论

Dexterous Manipulation through Imitation Learning: A Survey

arXiv

引用

arXiv 2025年

作者： An, Shan Meng, Ziyu Tang, Chao Zhou, Yuning Liu, Tengyu Ding, Fangqiang Zhang, Shufang Mu, Yao Song, Ran Zhang, Wei Hou, Zeng-Guang Zhang, Hong School of Electrical and Information Engineering Tianjin University Tianjin300072 China School of Control Science and Engineering Shandong University Jinan250061 China State Key Laboratory of General Artificial Intelligence Beijing100086 China Department of Mechanical and Process Engineering ETH Zurich Zurich8092 Switzerland Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen518055 China School of Informatics University of Edinburgh EH8 9AB United Kingdom Department of Computer Science University of Hong Kong 999077 Hong Kong State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences Beijing100190 China School of Artificial Intelligence University of Chinese Academy of Sciences Beijing100049 China CASIA-MUST Joint Laboratory of Intelligence Science and Technology Institute of Systems Engineering Macau University of Science and Technology 999078 China

Dexterous manipulation, which refers to the ability of a robotic hand or multi-fingered end-effector to skillfully control, reorient, and manipulate objects through precise, coordinated finger movements and adaptive force modulation, enables complex interactions similar to human hand dexterity. With recent advances in robotics and machine learning, there is a growing demand for these systems to operate in complex and unstructured environments. Traditional model-based approaches struggle to generalize across tasks and object variations due to the high-dimensionality and complex contact dynamics of dexterous manipulation. Although model-free methods such as reinforcement learning (RL) show promise, they require extensive training, large-scale interaction data, and carefully designed rewards for stability and effectiveness. Imitation learning (IL) offers an alternative by allowing robots to acquire dexterous manipulation skills directly from expert demonstrations, capturing fine-grained coordination and contact dynamics while bypassing the need for explicit modeling and large-scale trial-and-error. This survey provides an overview of dexterous manipulation methods based on imitation learning (IL), details recent advances, and addresses key challenges in the field. Additionally, it explores potential research directions to enhance IL-driven dexterous manipulation. Our goal is to offer researchers and practitioners a comprehensive introduction to this rapidly evolving domain. Copyright © 2025, The Authors. All rights reserved.

关键词： Grippers

来源：评论

学校读者我要写书评

暂无评论

Intelligent Orchestrating of IoT Microservices Based on Reinforcement Learning

引用

Chinese Journal of Electronics 2022年第5期31卷 930-937页

作者： WU Yuqin SHEN Congqi CHEN Shuhan WU Chunming LI Shunbin WEI Ruan College of Computer Science and Technology Zhejiang University College of Information and Electrical Engineering Ningde Normal University Zhejiang Lab College of Control Science and Engineering Zhejiang University

With the recent increase in the number of Internet of things(IoT) services, an intelligent scheduling strategy is needed to manage these services. In this paper, the problem of automatic choreography of microservices in IoT is explored. A type of reinforcement learning(RL) algorithm called TD3 is used to generate the optimal choreography policy under the framework of a softwaredefined network. The optimal policy is gradually reached during the learning procedure to achieve the goal, despite the dynamic characteristics of the network environment. The simulation results show that compared with other methods, the TD3 algorithm converges faster after a certain number of iterations, and it performs better than other non-RL algorithms by obtaining the highest reward. The TD3 algorithm can effciently adjust the traffic transmission path and provide qualified IoT services.

关键词： software-defined network telecommunication scheduling intelligent orchestrating nonRL algorithms reinforcement learning software defined networking optimal choreography policy reinforcement learning algorithm Internet of things services network environment IoT microservices TD3 algorithm traffic transmission path Internet of Things qualified IoT services intelligent scheduling strategy dynamic characteristics

来源：评论

学校读者我要写书评

暂无评论

A Task-Oriented Hybrid Cloud Architecture with Deep Cognition Mechanism for Intelligent Space

引用

computers, Materials & Continua 2023年第8期76卷 1385-1408页

作者： Yongcheng Cui Guohui Tian Xiaochun Cheng School of Control Science and Engineering Shandong UniversityJinanChina Computer Science Department Swansea UniversityWalesUK

Intelligent Space(IS)is widely regarded as a promising paradigm for improving quality of life through using service task *** the field matures,various state-of-the-art IS architectures have been *** of the IS architectures designed for service robots face the problems of fixedfunction modules and low scalability when performing service *** this end,we propose a hybrid cloud service robot architecture based on a Service-Oriented Architecture(SOA).Specifically,we first use the distributed deployment of functional modules to solve the problem of high computing resource ***,the Socket communication interface layer is designed to improve the calling efficiency of the function ***,the private cloud service knowledge base and the dataset for the home environment are used to improve the robustness and success rate of the robot when performing ***,we design and deploy an interactive system based on Browser/Server(B/S)architecture,which aims to display the status of the robot in real-time as well as to expand and call the robot *** system is integrated into the private cloud framework,which provides a feasible solution for improving the quality of ***,it also fully reveals how to actively discover and provide the robot service mechanism of service tasks in the right *** results of extensive experiments show that our cloud system provides sufficient prior knowledge that can assist the robot in completing service *** is an efficient way to transmit data and reduce the computational burden on the *** using our cloud detection module,the robot system can save approximately 25% of the averageCPUusage and reduce the average detection time by 0.1 s compared to the locally deployed system,demonstrating the reliability and practicality of our proposed architecture.

关键词： Service robot intelligent space cloud robot interactive robot system robot cloud service framework

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：