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

On Approximate Opacity of Stochastic control systems

IEEE Transactions on Automatic control 2024年第6期70卷 3846-3861页

作者： Liu, Siyuan Yin, Xiang Dimarogonas, Dimos V. Zamani, Majid Kth Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Shanghai Jiao Tong University and Key Lab of System Control & Information Processing Ministry of Education Department of Automation Shanghai China University of Colorado Boulder Computer Science Department CO80309 United States Ludwig Maximilian University of Munich Computer Science Department Germany

This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior (a subset of the system's behavior that is considered to be critical) can be kept from outside observers. Existing works on opacity for control systems only provide a binary characterization of the system's security level by determining whether the system is opaque or not. In this work, we introduce a quantifiable measure of opacity that considers the likelihood of satisfying opacity for stochastic control systems modeled as general Markov decision processes (gMDPs). We also propose verification methods tailored to the new notions of opacity for finite gMDPs by using value iteration techniques. Then, a new notion called approximate opacity-preserving stochastic simulation relation is proposed, which captures the distance between two systems' behaviors in terms of preserving opacity. Based on this new system relation, we show that one can verify opacity for stochastic control systems using their abstractions (modeled as finite gMDPs). We also discuss how to construct such abstractions for a class of gMDPs under certain stability conditions. © 1963-2012 IEEE.

关键词： Stochastic control systems

来源：评论

学校读者我要写书评

暂无评论

Model-Based Optimization of Vaccination Strategies in Different Phases of Pandemic Virus Spread 18th

Model-Based Optimization of Vaccination Strategies in Diff...

引用

18th International Conference on Informatics in control, Automation and Robotics, ICINCO 2021

作者： Liu, Zonglin Omayrat, Muhammed Stursberg, Olaf Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Kassel Germany

ISBN: (纸本)9783031264733

This paper aims at applying optimal control principles to investigate optimal vaccination strategies in different phases of a pandemic. Background of the study is that many countries have started their vaccination procedures against the COVID-19 disease in the beginning of 2021, but supply shortages for the vaccines prevented that everyone could be vaccinated immediately. At the beginning of 2022, in contrast, the vaccine supply was ample, but the effectiveness of different existing vaccines to avoid infection by new virus variants was in doubt, as well as the acceptance of booster doses decreased over time. To account for these effects, two formulations of optimization tasks based on different epidemic models are proposed in this paper. The solution of these tasks determines optimal distribution strategies for available vaccines, and optimized vaccination schemes to reduce the need of booster doses for later phase. Effectiveness of these strategies compared with other popular strategies (as applied in practice) is demonstrated through a series of simulations © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Vaccines

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Temporal-Magnitude Based Sampling for Event-Based control 3

A Hybrid Temporal-Magnitude Based Sampling for Event-Based C...

引用

3rd IEEE Industrial Electronics Society Annual On-Line Conference, ONCON 2024

作者： Miguel-Escrig, Oscar Sanchez-Moreno, Jose Romero-Perez, Julio-Ariel Dormido-Bencomo, Sebastian Universitat Jaume I Department of System Engineering and Design Castelló de la Plana Spain Department of Computer Science and Automatic Control Madrid Spain

ISBN: (纸本)9798331540319

In the current industrial environment, which is shifting towards an event-based control prone paradigm, sampling strategies in use must be revisited. Both temporal and magnitude dependent sampling strategies have been demonstrated to be suitable for control systems, reporting benefits in different categories. However, these sampling strategies also present some drawbacks, discussed in this contribution. Aiming to address some of these drawbacks, a new sampling strategy is proposed gathering characteristics of both predecessors. © 2024 IEEE.

关键词： Decentralized control

来源：评论

学校读者我要写书评

暂无评论

Error Dependent Sampling to Reduce Transient Events in Event Based control 3

Error Dependent Sampling to Reduce Transient Events in Event...

引用

3rd IEEE Industrial Electronics Society Annual On-Line Conference, ONCON 2024

作者： Miguel-Escrig, Oscar Romero-Perez, Julio-Ariel Sanchez-Moreno, Jose Dormido-Bencomo, Sebastian Universitat Jaume I Department of System Engineering and Design Castelló de la Plana Spain Department of Computer Science and Automatic Control Madrid Spain

ISBN: (纸本)9798331540319

One of the objectives of event-based control is the reduction of generated events to perform an appropriate process control. Among the event generation techniques used to this end, those quantifying the error signal can be found more frequently for its simplicity of implementation. However, they entail a drawback in the form of trade-off between event generation and performance. Aiming to reduce the number of events, specifically in the transient response, without degrading the performance, an error dependent sampling scheme is studied in this work. © 2024 IEEE.

关键词： Electromagnetic transients

来源：评论

学校读者我要写书评

暂无评论

Secure-by-Construction Synthesis for control systems

引用

IEEE Transactions on Automatic control 2025年第6期70卷 4170-4177页

作者： Zhong, Bingzhuo Liu, Siyuan Caccamo, Marco Zamani, Majid Thrust of Artificial Intelligence Information Hub The Thrust of Intelligent Transportation System Hub China KTH Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Technical University of Munich TUM School of Engineering and Design Germany University of Colorado Boulder Department of Computer Science United States Ludwig Maximilian University Department of Computer Science Munich Germany

In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property called opacity, which characterizes the system's ability to maintain plausible deniability of its secret behavior in the presence of an intruder. These controllers are synthesized based on a concept of so-called (augmented) control barrier functions. We propose conditions that facilitate the construction of the desired (augmented) control barrier functions and their corresponding secure-by-construction controllers. To compute these functions, we propose an iterative scheme that leverages iterative sum-of-square programming techniques. This approach enables efficient computation of these functions, particularly for polynomial systems. Finally, we validate the effectiveness of our results through a case study of a vehicle. © 1963-2012 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Receding-Horizon control of Constrained Switched systems with Neural Networks as Parametric Function Approximators

引用

SN computer science 2023年第1期4卷 62页

作者： Markolf, Lukas Stursberg, Olaf Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Wilhelmshöher Allee 71-73 Kassel 34121 Germany

This work studies receding-horizon control of discrete-time switched linear systems subject to polytopic constraints for the continuous states and inputs. The objective is to approximate the optimal receding-horizon control strategy for cases in which the online computation is intractable due to the necessity of solving mixed-integer quadratic programs in each discrete time instant. The proposed approach builds upon an approximated optimal finite-horizon control law in closed-loop form with guaranteed constraint satisfaction. The paper derives the properties of recursive feasibility and asymptotic stability for the proposed approach. A numerical example is provided for illustration and evaluation of the approach. © 2022, The Author(s).

关键词： Model approximation Neural networks Online control Optimization Reinforcement learning Stability

来源：评论

学校读者我要写书评

暂无评论

Model Based Automatic control Design for the T-FLEX Demonstrator Using RCE Environment

Model Based Automatic Control Design for the T-FLEX Demonstr...

引用

AIAA SciTech Forum and Exposition, 2023

作者： Takarics, Béla Patartics, Bálint Luspay, Tamás Vanek, Bálint Poussot-Vassal, Charles Vuillemin, Pierre Wüstenhagen, Matthias Systems and Control Lab Institute for Computer Science and Control Budapest1111 Hungary Onera - The French Aerospace Lab ToulouseF-31055 France Department of System Dynamics and Control DLR - Institute of System Dynamics and Control Wessling82234 Germany

ISBN: (数字)9781624106996

ISBN: (纸本)9781624106996

The main goal of the paper is to develop automatic control design methods for flexible aircraft. The motivation for the research is that such automatic control generation enables the inclusion of the control design algorithms into the multidisciplinary design optimization (MDO) of aircraft design. In such an extended MDO framework, called co-design, the sizing, structural dynamics, aerodynamics and the controllers of the aircraft are optimized in one single step. This way control technologies can be included early-on in the preliminary design stage of aircraft design. Since the control design is model based, first a control oriented aeroservoelastic (ASE) model needs to be developed. The modeling is done via the bottomup modelling approach. The model generation also needs to be automatic due to parameter changes resulting from the MDO process. The research focuses on flexible aircraft, therefore, the control algorithms include baseline, manoeuvre load alleviation, gust load alleviation and flutter suppression controllers. All of these algorithms needs to be developed in such way that they can automatically executed in the MDO process. The overall MDO framework is implemented in the Remote Component Environment (RCE) and the aircraft investigated is the T-Flex demonstrator of the FLIPASED project. The paper presents the main concepts of the modeling and control synthesis, analysis for the above mentioned four controllers and the most important aspects of integrating such automatic control design methods into the RCE environment. © 2023, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： controllers

来源：评论

学校读者我要写书评

暂无评论

Modeling and Optimal control for Resource Allocation in the Epidemic Monitoring of a Multi-group Population

引用

SN computer science 2024年第1期5卷 121页

作者： Di Giamberardino, Paolo Iacoviello, Daniela Papa, Federico Department of Computer Control and Management Engineering “A. Ruberti” Sapienza University of Rome Via Ariosto 25 Rome 00185 Italy Institute for System Analysis and Computer Science “A. Ruberti” CNR Via dei Taurini 19 Rome 00185 Italy

In the last 3 years, the entire world has been facing the sanitary emergency due to the SARS-CoV2;it has been stressed the mutual interdependence of the human populations, as well as the strong impact of specific conditions, such as age, work, habits, on the disease spread among subgroups of a given population. Moreover, the high percentage of asymptomatic individuals, especially among young subjects, improves the infection spread among groups with higher probability of fatal consequences. The vaccination campaign has strongly contributed to reduce mortality, so bringing the epidemic scenario probably closer to the endemic state. Nevertheless, the loss of the vaccination protection, the appearance of new variants and the mixing of moving people require a surveillance action to reduce new virus waives. By suitable modeling and optimal control design, this paper addresses the planning of a swab test campaign for the surveillance of the disease spread within a given multi-group population, when resource limitation and distinctive epidemiological characteristics of the subgroups are present. The proposed approach, applied on a case study in which the population is split into four groups, stresses the importance of a suitable tuned swab test campaign, saving a significant number of infections (and therefore of human lives), by scheduling the surveillance effort on the different populations. The determination of this kind of control is useful not only in the endemic condition, but also as general surveillance strategy at the beginning of an epidemic spread, with limitations in material and logistic resources. © 2023, The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd.

关键词： Epidemic monitoring Mathematical modeling of epidemics Optimal control Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets

引用

computers, Materials & Continua 2023年第2期74卷 4531-4545页

作者： Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences 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 Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt

Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of features using typical *** a result,a new metaheuristicsbased feature selection method based on the dipper-throated and grey-wolf optimization(DTO-GW)algorithms has been developed in this *** can result when the selection of features is subject to metaheuristics,which can lead to a wide range of ***,we adopted hybrid optimization in our method of optimizing,which allowed us to better balance exploration and harvesting chores more *** propose utilizing the binary DTO-GW search approach we previously devised for selecting the optimal subset of *** the proposed method,the number of features selected is minimized,while classification accuracy is *** test the proposed method’s performance against eleven other state-of-theart approaches,eight datasets from the UCI repository were used,such as binary grey wolf search(bGWO),binary hybrid grey wolf,and particle swarm optimization(bGWO-PSO),bPSO,binary stochastic fractal search(bSFS),binary whale optimization algorithm(bWOA),binary modified grey wolf optimization(bMGWO),binary multiverse optimization(bMVO),binary bowerbird optimization(bSBO),binary hysteresis optimization(bHy),and binary hysteresis optimization(bHWO).The suggested method is superior 4532 CMC,2023,vol.74,no.2 and successful in handling the problem of feature selection,according to the results of the experiments.

关键词： Metaheuristics dipper throated optimization grey wolf optimization binary optimizer feature selection

来源：评论

学校读者我要写书评

暂无评论

Sigma-Mixed Unscented Kalman Filter-Based Fault Detection for Traction systems in High-Speed Trains

引用

Chinese Journal of Electronics 2023年第5期32卷 982-991页

作者： CHENG Chao WANG Weijun MENG Xiangxi SHAO Haidong CHEN Hongtian Department of Computer Science and Technology Changchun University of Technology Department of Mathematics and Statistics Changchun University of Technology Institute of System Research China Industrial Control Systems Cyber Emergency Response Team Department of Mechanical and Vehicle Engineering Hunan University Department of Chemical and Materials Engineering University of Alberta

Fault detection(FD) for traction systems is one of the active topics in the railway and academia because it is the initial step for the running reliability and safety of high-speed trains. Heterogeneity of data and complexity of systems have brought new challenges to the traditional FD methods. For addressing these challenges, this paper designs an FD algorithm based on the improved unscented Kalman filter(UKF) with consideration of performance degradation. It is derived by incorporating a degradation process into the state-space *** network topology of traction systems is taken into consideration for improving the performance of state estimation. We first obtain the mixture distribution by the mixture of sigma points in UKF. Then, the Lévy process with jump points is introduced to construct the degradation model. Finally, the moving average interstate standard deviation(MAISD) is designed for detecting *** the proposed methods via a traction systems in a certain type of trains obtains satisfactory results.

关键词： Degradation Network topology Fault detection Rail transportation State-space methods Safety Kalman filters

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：