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

63rd IEEE Conference on Decision and control, CDC 2024

作者： Vlahakis, Eleftherios E. Lindemann, Lars Sopasakis, Pantelis Dimarogonas, Dimos V. Kth Royal Institute of Technology Division of Decision and Control Systems School of Electrical Engineering and Computer Science Stockholm10044 Sweden University of Southern California Viterbi School of Engineering Department of Computer Science Los AngelesCA90089 United States Queen's University School of Electronics Electrical Engineering and Computer Science Northern Ireland Belfast United Kingdom

ISBN: (纸本)9798350316339

We consider the control design of stochastic discrete-time linear multi-agent systems (MASs) under a global signal temporal logic (STL) specification to be satisfied at a predefined probability. By decomposing the dynamics into deterministic and error components, we construct a probabilistic reachable tube (PRT) as the Cartesian product of reachable sets of the individual error systems driven by disturbances lying in confidence regions (CRs) with a fixed probability. By bounding the PRT probability with the specification probability, we tighten all state constraints induced by the STL specification by solving tractable optimization problems over segments of the PRT, and relax the underlying stochastic problem with a deterministic one. This approach reduces conservatism compared to tightening guided by the STL structure. Additionally, we propose a recursively feasible algorithm to attack the resulting problem by decomposing it into agent-level subproblems, which are solved iteratively according to a scheduling policy. We demonstrate our method on a ten-agent system, where existing approaches are impractical. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Al-Biruni Based Optimization of Rainfall Forecasting in Ethiopia

引用

computer systems science & Engineering 2023年第6期45卷 2885-2899页

作者： El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Fadwa Alrowais Mostafa Abotaleb Abdelhameed Ibrahim Doaa Sami Khafaga Department of Communications and Elecronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science F aculty of Computer and Infomation SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah Bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of System Progamming South Ual State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt

Rainfall plays a significant role in managing the water level in the *** unpredictable amount of rainfall due to the climate change can cause either overflow or dry in the *** individuals,especially those in the agricultural sector,rely on rain *** rainfall is challenging because of the changing nature of the *** area of Jimma in southwest Oromia,Ethiopia is the subject of this research,which aims to develop a rainfall forecasting *** estimate Jimma's daily rainfall,we propose a novel approach based on optimizing the parameters of long short-term memory(LSTM)using Al-Biruni earth radius(BER)optimization algorithm for boosting the fore-casting accuracy.N ash-Sutcliffe model eficiency(NSE),mean square error(MSE),root MSE(RMSE),mean absolute error(MAE),and R2 were all used in the conducted experiments to assess the proposed approach,with final scores of(0.61),(430.81),(19.12),and(11.09),***,we compared the proposed model to current machine-learning regression models;such as non-optimized LSTM,bidirectional LSTM(BiLSTM),gated recurrent unit(GRU),and convolutional LSTM(ConvLSTM).It was found that the proposed approach achieved the lowest RMSE of(19.12).In addition,the experimental results show that the proposed model has R-with a value outperforming the other models,which confirms the superiority of the proposed *** the other hand,a statistical analysis is performed to measure the significance and stability of the proposed approach and the recorded results proved the expected perfomance.

关键词： Rainfall prediction long short-term memory Al-Biruni earth radius algorithm meta-heuristic optimization

来源：评论

学校读者我要写书评

暂无评论

Network Intrusion Detection Based on Feature Selection and Hybrid Metaheuristic Optimization

引用

computers, Materials & Continua 2023年第2期74卷 2677-2693页

作者： Reem Alkanhel El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Manal Abdullah Alohali Mostafa Abotaleb Doaa Sami Khafaga Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Information Systems Department College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of System Programming South Ural State UniversityChelyabinsk454080Russia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

Applications of internet-of-things(IoT)are increasingly being used in many facets of our daily life,which results in an enormous volume of *** computing and fog computing,two of the most common technologies used in IoT applications,have led to major security *** are on the rise as a result of the usage of these technologies since present security measures are *** artificial intelligence(AI)based security solutions,such as intrusion detection systems(IDS),have been proposed in recent *** technologies that require data preprocessing and machine learning algorithm-performance augmentation require the use of feature selection(FS)techniques to increase classification accuracy by minimizing the number of features *** the other hand,metaheuristic optimization algorithms have been widely used in feature selection in recent *** this paper,we proposed a hybrid optimization algorithm for feature selection in *** proposed algorithm is based on grey wolf(GW),and dipper throated optimization(DTO)algorithms and is referred to as *** proposed algorithm has a better balance between the exploration and exploitation steps of the optimization process and thus could achieve better *** the employed IoT-IDS dataset,the performance of the proposed GWDTO algorithm was assessed using a set of evaluation metrics and compared to other optimization approaches in 2678 CMC,2023,vol.74,no.2 the literature to validate its *** addition,a statistical analysis is performed to assess the stability and effectiveness of the proposed *** results confirmed the superiority of the proposed approach in boosting the classification accuracy of the intrusion in IoT-based networks.

关键词： Feature selection grey wolf optimization dipper throated optimization intrusion detection internet-of-things(IoT)

来源：评论

学校读者我要写书评

暂无评论

A General Framework for Verification and control of Dynamical Models Via Certificate Synthesis

SSRN

引用

SSRN 2024年

作者： Edwards, Alec Peruffo, Andrea Abate, Alessandro Department Of Computer Science Oxford United Kingdom Center for Systems and Control Delft Netherlands

An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control model, which is then analytically verified by means of a function-based proof. However, the synthesis of controllers abiding by these complex requirements is in general a non-trivial task and may elude the most expert control engineers. This results in a need for automatic techniques that are able to design controllers and to analyse a wide range of elaborate specifications. In this paper, we provide a general framework to encode system specifications and define corresponding certificates, and we present an automated approach to formally synthesise controllers and certificates. Our approach contributes to the broad field of safe learning for control, exploiting the flexibility of neural networks to provide candidate control and certificate functions, whilst using SAT-modulo-theory (SMT)-solvers to offer a formal guarantee of correctness. We test our framework by developing a prototype software tool, and assess its efficacy at verification via control and certificate synthesis over a large and varied suite of benchmarks. © 2024, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Method for Finding an Investment Strategy in the Case of a Sparse Covariance Matrix 17

Method for Finding an Investment Strategy in the Case of a S...

引用

17th International Conference on Management of Large-Scale System Development, MLSD 2024

作者： Gorelik, Victor Zolotova, Tatiana Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Department of Simulation Systems and Operations Research Moscow Russia Financial University under the Government of the Russian Federation Department of Data Analysis and Machine Learning Moscow Russia

An optimality principle is proposed for making investment decisions based on efficiency and risk assessments with a sparse covariance matrix. The method is implemented as a program with a graphical interface and demon... 详细信息

ISBN: (纸本)9798350375718

关键词： Marketplaces

来源：评论

学校读者我要写书评

暂无评论

Distributionally Robust control for Chance-Constrained Signal Temporal Logic Specifications 63

Distributionally Robust Control for Chance-Constrained Signa...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Kordabad, Arash Bahari Vlahakis, Eleftherios E. Lindemann, Lars Dimarogonas, Dimos V. Soudjani, Sadegh Max Planck Institute for Software Systems Kaiserslautern Germany Kth Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden University of Southern California Viterbi School of Engineering Thomas Lord Department of Computer Science Los Angeles United States

ISBN: (纸本)9798350316339

We consider distributionally robust optimal control of stochastic linear systems under signal temporal logic (STL) chance constraints when the disturbance distribution is unknown. By assuming that the underlying predicate functions are Lipschitz continuous and the noise realizations are drawn from a distribution having a concentration of measure property, we first formulate the underlying chance-constrained control problem as stochastic programming with constraints on expectations and propose a solution using a distributionally robust approach based on the Wasserstein metric. We show that by choosing a proper Wasserstein radius, the original chance-constrained optimization can be satisfied with a user-defined confidence level. A numerical example illustrates the efficacy of the method. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Recent Developments in Event-Triggered control of Nonlinear systems:An Overview

引用

无人系统（英文） 2023年第1期11卷 27-56页

作者： Pengpeng Zhang Tengfei Liu Jie Chen Zhong-Ping Jiang Department of Control Science & Engineering Frontiers Science Center for Intelligent Autonomous SystemsTongji UniversityShanghai 201804P.R.China State Key Laboratory of Synthetical Automation for Process Industries Northeastern UniversityShenyang 110819P.R.China Department of Electrical and Computer Engineering New York University370 Jay StreetBrooklynNY 11201USA

Event-triggered control is a most popular paradigm for transferring feedback information in an economical"as needed"*** study of event-triggered control can be traced back to the *** significant advances on the topic of control over networks and the topic of nonlinear control systems over the last two decades,event-triggered control has quickly emerged as a major theoretical subject in control *** of event-triggered control are wide-spread ranging from embedded control systems and industrial control processes to unmanned systems and cyber-physical transportation *** this paper,we first review developments in the synthesis of event-triggered sampling *** event triggering mechanisms,such as static event trigger,dynamic event trigger,time-regularized event trigger,and event trigger with positive threshold offsets,are systematically ***,we study how to design a stabilizing controller that is robust with respect to the sampling ***,we review some recent results in the directions of self-triggered control,event-triggered tracking control and cooperative control,and event-triggered control of stochastic systems and partial differential equation *** applications of event-triggered control are also discussed.

关键词： Event-triggered control event-triggered sampling mechanism event-triggered controller

来源：评论

学校读者我要写书评

暂无评论

Trust Establishment for the Role-Based Collaborative Multi-Robot systems

Trust Establishment for the Role-Based Collaborative Multi-R...

引用

2023 IEEE International Conference on systems, Man, and Cybernetics, SMC 2023

作者： Akbari, Behzad Zhu, Haibin Pan, Ya-Jun Dalhousie University Advanced Control and Mechatronics Laboratory Department of Mechanical Engineering HalifaxNS Canada Nipissing University Collaborative Systems Laboratory Department of Computer Science and Mathematics North BayON Canada

ISBN: (纸本)9798350337020

Trust evaluation and trust establishment play crucial roles in the management of trust within a multi-agent system. When it comes to collaboration systems, trust becomes directly linked to the specific roles performed by agents. The Role-Based Collaboration (RBC) methodology serves as a framework for assigning roles that facilitate agent collaboration. Within this context, the behavior of an agent with respect to a role is referred to as a process role. This research paper introduces a role engine that incorporates a trust establishment algorithm aimed at identifying optimal and reliable process roles. In our study, we define trust as a continuous value ranging from 0 to 1. To optimize trustworthy process roles, we have developed a consensus-based Gaussian Process Factor Graph (GPFG) tool. Our simulations and experiments validate the feasibility and efficiency of our proposed approach with autonomous robots in unsignalized intersections and narrow hallways. © 2023 IEEE.

关键词： Gaussian process factor graph Multi-Agent systems (MASs) Role-based collaboration Trust management systems

来源：评论

学校读者我要写书评

暂无评论

Convex Equilibrium-Free Stability and Performance Analysis of Discrete-Time Nonlinear systems

arXiv

引用

arXiv 2024年

作者： Koelewijn, Patrick J.W. Weiland, Siep Tóth, Roland Control Systems Group Department of Electrical Engineering Eindhoven University of Technology Netherlands Systems and Control Laboratory HUN-REN Institute for Computer Science and Control Hungary

This paper considers the equilibrium-free stability and performance analysis of discrete-time nonlinear systems. We consider two types of equilibrium-free notions. Namely, the universal shifted concept, which considers stability and performance w.r.t. all equilibrium points of the system, and the incremental concept, which considers stability and performance between trajectories of the system. In this paper, we show how universal shifted stability and performance of discrete-time systems can be analyzed by making use of the time-difference dynamics. Moreover, we extend the existing results for incremental dissipativity for discrete-time systems based on dissipativity analysis of the differential dynamics to more general state-dependent storage functions for less conservative results. Finally, we show how both these equilibrium-free notions can be cast as a convex analysis problem by making use of the linear parameter-varying framework, which is also demonstrated by means of an example. Copyright © 2024, The Authors. All rights reserved.

关键词： Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

An activated variable parameter gradient‐based neural network for time‐variant constrained quadratic programming and its applications

引用

CAAI Transactions on Intelligence Technology 2023年第3期8卷 670-679页

作者： Guancheng Wang Zhihao Hao Haisheng Li Bob Zhang PAMI Research Group Department of Computer and Information ScienceUniversity of MacaoTaipaMacaoChina China Industrial Control Systems Cyber Emergency Response Team BeijingChina Beijing Key Laboratory of Big Data Technology for Food Safety Beijing Technology and Business UniversityBeijingChina

This study proposes a novel gradient‐based neural network model with an activated variable parameter,named as the activated variable parameter gradient‐based neural network(AVPGNN)model,to solve time‐varying constrained quadratic programming(TVCQP)*** with the existing models,the AVPGNN model has the following advantages:(1)avoids the matrix inverse,which can significantly reduce the computing complexity;(2)introduces the time‐derivative of the time‐varying param-eters in the TVCQP problem by adding an activated variable parameter,enabling the AVPGNN model to achieve a predictive calculation that achieves zero residual error in theory;(3)adopts the activation function to accelerate the convergence *** solve the TVCQP problem with the AVPGNN model,the TVCQP problem is transformed into a non‐linear equation with a non‐linear compensation problem function based on the Karush Kuhn Tucker ***,a variable parameter with an activation function is employed to design the AVPGNN *** accuracy and convergence rate of the AVPGNN model are rigorously analysed in ***,numerical experiments are also executed to demonstrate the effectiveness and superiority of the proposed ***,to explore the feasibility of the AVPGNN model,appli-cations to the motion planning of a robotic manipulator and the portfolio selection of marketed securities are illustrated.

关键词： computational intelligence mathematics computing optimisation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：