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

63rd IEEE Conference on Decision and control, CDC 2024

作者： Chen, Yu Yin, Xuanyuan Ye, Hao Li, Shaoyuan Yin, Xiang Shanghai Jiao Tong University Department of Automation and Key Laboratory of System Control and Information Processing Shanghai200240 China Nanyang Technological University School of Chemistry Chemical Engineering and Biotechnology Singapore Tsinghua University Department of Automation China

ISBN: (纸本)9798350316339

We investigate the problem of optimal control synthesis for Markov Decision Processes (MDPs), addressing both qualitative and quantitative objectives. Specifically, we require the system to fulfill a qualitative surveillance task in the sense that a specific region of interest can be visited infinitely often with probability one. Furthermore, to quantify the performance of the system, we consider the concept of efficiency, which is defined as the ratio between rewards and costs. This measure is more general than the standard long-run average reward metric as it aims to maximize the reward obtained per unit cost. Our objective is to synthesize a control policy that ensures the surveillance task while maximizes the efficiency. We provide an effective approach to synthesize a stationary control policy achieving -optimality by integrating state classifications of MDPs and perturbation analysis in a novel manner. Our results generalize existing works on efficiency-optimal control synthesis for MDP by incorporating qualitative surveillance tasks. © 2024 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A data selection method for matrix effects and uncertainty reduction for laser-induced breakdown spectroscopy

引用

Plasma Science and Technology 2023年第7期25卷 82-89页

作者：龙杰宋惟然侯宗余王哲 State Key Laboratory of Power System Operation and Control Systems International Joint Laboratory on Low Carbon Clean Energy InnovationDepartment of Energy and Power EngineeringTsinghua UniversityBeijing 100084People’s Republic of China Shanxi Research Institute for Clean Energy Tsinghua UniversityTaiyuan 030032People’s Republic of China

Severe matrix effects and high signal uncertainty are two key bottlenecks for the quantitative performance and wide applications of laser-induced breakdown spectroscopy(LIBS).Based on the understanding that the superposition of both matrix effects and signal uncertainty directly affects plasma parameters and further influences spectral intensity and LIBS quantification performance,a data selection method based on plasma temperature matching(DSPTM)was proposed to reduce both matrix effects and signal *** selecting spectra with smaller plasma temperature differences for all samples,the proposed method was able to build up the quantification model to rely more on spectra with smaller matrix effects and signal uncertainty,therefore improving final quantification *** applied to quantitative analysis of the zinc content in brass alloys,it was found that both accuracy and precision were improved using either a univariate model or multiple linear regression(MLR).More specifically,for the univariate model,the root-mean-square error of prediction(RMSEP),the determination coefficients(R^(2))and relative standard derivation(RSD)were improved from 3.30%,0.864 and 18.8%to 1.06%,0.986 and 13.5%,respectively;while for MLR,RMSEP,R^(2)and RSD were improved from 3.22%,0.871 and 26.2%to 1.07%,0.986 and 17.4%,*** results prove that DSPTM can be used as an effective method to reduce matrix effects and improve repeatability by selecting reliable data.

关键词： laser-induced breakdown spectroscopy(LIBS) quantification uncertainty univariate/multivariate analysis matrix effects temperature matching

来源：评论

学校读者我要写书评

暂无评论

Validation of Delayed Anesthesia Model Using Identification Methods and Correlation Analysis

引用

IFAC-PapersOnLine 2024年第27期58卷 172-177页

作者： Bora Ayvaz Erhan Yumuk Clara M. Ionescu Ali Fuat Ergenç Control and Automation Engineering Department Istanbul Technical University Istanbul 34469 Turkey Department of Electromechanics System and Metal Engineering Ghent University 9052 Ghent Belgium

Many successful control strategies for anesthetic processes do not adequately consider time delays despite potential 30-second delays from biophase and bispectral index (BIS) monitoring. This study introduces linear delayed Pharmacokinetic-Pharmacodynamic (PK-PD) patient models that correlate more to real patient outputs than common non-delayed models. The delayed models are obtained for both effect-site concentration (Ce) and BIS outputs. The model structures are identified using autoregressive exogenous input (ARX) and delayed-ARX (DARX) polynomial models and least squares estimations (LSE) using the real surgical data of the open-access database VitalDB. Validation of delayed PK-PD patient models involves using correlation analysis. Results indicate that PK-PD patient models with output delays exhibit higher correlations with real patient data, particularly when considering BIS output.

关键词： Time Delay Models General Anesthesia system Identification Correlation Analysis Closed-Loop control

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation of Streamer Discharge in Transformer Oil Under Various Ionization Energies 19th

Numerical Simulation of Streamer Discharge in Transformer Oi...

引用

19th Annual Conference of China Electrotechnical Society, ACCES 2024

作者： Bao, Yanyan Liang, Shaobin Wang, Feng Zhang, Guangdong Chen, Jianning Zhou, Yuanxiang State Grid Gansu Electric Power Research Institute Lanzhou730070 China State Key Laboratory of Power System Operation and Control Beijing100084 China Department of Electrical Engineering Tsinghua University Beijing100084 China

ISBN: (纸本)9789819613786

Discharge in transformer oil is one of the primary causes of transformer failures. The physical mechanisms of oil discharges are not yet fully understood. Scholars have simulated the discharge process with electrodynamics model, but there is limited research on how the ionization energy, which changes due to various factors such as components and temperature of transformer oil, affect the streamer discharge characteristic. To improve the mechanism of discharge in transformer oil, this paper adopts an electrohydrodynamic model to study the impact of different ionization energies on the streamer discharge characteristics of transformer oil, including initiation voltage, discharge voltage, development speed, and electric field strength. When the ionization energy is between 6.1 eV and 8.1 eV, the initiation voltage and discharge voltage increase linearly with the ionization energy. Within the range of 7.1 eV to 8.1 eV, the time in the streamer accumulation phase increases exponentially with the ionization energy, while the streamer development speed decreases. © Beijing Paike Culture Commu. Co., Ltd. 2025.

关键词： Electrohydrodynamics

来源：评论

学校读者我要写书评

暂无评论

Multi-Channel Based on Attention Network for Infrared Small Target Detection

引用

Journal of Shanghai Jiaotong university(Science) 2024年第3期29卷 414-427页

作者：张彦军王碧云蔡云泽 Department of Automation Shanghai Jiao Tong UniversityShanghai 200240China Shanghai Institute of Aerospace Control Technology Shanghai 201109China Infrared Detection Technology R&D Center of China Aerospace Science and Technology Corporation Shanghai 201109China Key Laboratory of System Control and Information Processing Ministry of Education of ChinaShanghai 200240China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai 200240China Key Laboratory of Marine Intelligent Equipment and System of Ministry of Education Shanghai Jiao Tong UniversityShanghai 200240China Institute of Marine Equipment Shanghai Jiao Tong UniversityShanghai 200240China

Infrared detection technology has the advantages of all-weather detection and good concealment,which is widely used in long-distance target detection and tracking ***,the complex background,the strong noise,and the characteristics of small scale and weak intensity of targets bring great difficulties to the detection of infrared small targets.A multi-channel based on attention network is proposed in this paper,aimed at the problem of high missed detection rate and false alarm rate of traditional algorithms and the problem of large model,high complexity and poor detection performance of deep learning ***,given the difficulty in extracting the features of infrared multiscale and small dim targets,the multiple channels are designed based on dilated convolution to capture multiscale target ***,the coordinate attention block is incorporated in each channel to suppress background clutters adaptively and enhance target *** addition,the fusion of shallow detail features and deep abstract semantic features is realized by synthesizing the contextual attention fusion ***,it is verified that,compared with other state-of-the-art methods based on the datasets SIRST and MDFA,the proposed algorithm further improves the detection effect,and the model size and computational complexity are smaller.

关键词： infrared image small target detection deep learning attention mechanism feature fusion

来源：评论

学校读者我要写书评

暂无评论

Optimal Configuration of Energy Storage Capacity in Wind-Storage Joint Frequency Regulation

Optimal Configuration of Energy Storage Capacity in Wind-Sto...

引用

2023 IEEE International Conference on Power Science and Technology, ICPST 2023

作者： Hao, Ling Xu, Fei Chen, Lei Chen, Qun Min, Yong Gu, Yi Chang, Yiming Tsinghua University State Key Laboratory of Power System Operation and Control Department of Electrical Engineering Beijing100084 China Tsinghua University Key Laboratory for Thermal Science and Power Engineering of Ministry of Education Department of Engineering Mechanics Beijing100084 China State Key Laboratory of Power System Operation and Control Department of Electrical Engineering Tsinghua University Beijing100084 China State Grid Liaoning Electric Power Co. Ltd. Liaoning 110055 China

ISBN: (纸本)9798350311358

We propose combining energy storage control with pitch control of wind turbines to give wind farms a primary frequency regulation capability similar to thermal power units. Using chance-constrained programming to handle the relationship between reliability and operating cost, and considering the full life-cycle cost of energy storage, we establish a chance-constrained programming model with the objective of minimizing the wind-storage joint frequency regulation operating cost. This achieves a trade-off between operating cost and reliability of the wind-storage frequency regulation system. We use the ant-lion algorithm to solve the model and obtain the optimal configuration of energy storage power and capacity for the wind farm, and compare the optimization results of the ant-lion algorithm with those of the particle swarm algorithm and the genetic algorithm. A case study is presented to verify the effectiveness of the proposed model and algorithm. © 2023 IEEE.

关键词： Wind power

来源：评论

学校读者我要写书评

暂无评论

Research on Satellite Attitude control Scheme with High Precision Pointing of Astronomical Target and Its Application in Orbit 23

Research on Satellite Attitude Control Scheme with High Prec...

引用

Proceedings of the 2023 8th International Conference on systems, control and Communications

作者： Mingqun Li Xiang Liu Gaojian Lyu Qinghua Jiang Yong Wang Research and Development Center Beijing Institute of Control Engineering China System Design Department Beijing Institute of Control Engineering China

ISBN: (纸本)9798400707810

Based on the background of the first pulsar navigation dedicated test satellite in China—X-ray pulsar navigation 1 (XPNAV-l), this paper analyzes the astronomical objects observation task of Low-Earth-Orbit satellites, studies the characteristics of astronomical object observation task and the requirements for satellite attitude control, proposes a satellite attitude control scheme, and further studies the problem of high-precision target pointing. A spiral segmented method for astronomical object search and pointing correction is proposed, which solves the problem of high-precision pointing of astronomical object by satellites without absolute reference in orbit. Through XPNAV-l on-orbit experiments, it is verified that the proposed scheme achieves high accuracy and meets the needs of astronomical exploration.

关键词： attitude control pointing correction pulsar detection spiral segmentation

来源：评论

学校读者我要写书评

暂无评论

Optimization Design and Dynamic Compensation Strategy of Inverter Parallel Virtual Impedance Based on Residual Generator 7

Optimization Design and Dynamic Compensation Strategy of Inv...

引用

7th IEEE Conference on Energy Internet and Energy system Integration, EI2 2023

作者： Hu, Changbin Huang, Haiyang Luo, Shanna Wang, Huiru Li, Xuecheng Lu, Heng North China University of Technology School of Electrical and Control Engineering Beijing China Beijing Kedong Electric Power Control System Co. Ltd Beijing China University of Duisburg-Essen Department of Automatic Control and Complex Systems Germany

ISBN: (纸本)9798350345094

To solve the power imbalance problem caused by the difference between the equivalent impedance of the inverter and the line impedance, and the power quality problem caused by the disturbance of load mutation, unbalanced load and nonlinear load, this paper proposes a closed-loop feedback dynamic compensation strategy based on the equivalent virtual impedance of the residual generator. Firstly, based on the parallel topology of inverters, a quasi-steady-state model is established on the dq axis. Based on the model, the power imbalance caused by the difference of output impedance and line impedance of different inverters and the power quality problems caused by load switching, unbalanced load, nonlinear load and other disturbances in parallel inverters are ***, a residual generator is established based on the inverter model. A virtual impedance equivalent controller Qvir(S) based on the residual generator is designed by the Luenberger observer principle. The disturbance information is fed back in real time through the feedback structure, and then the virtual impedance is adjusted to realize the power sharing of the inverter parallel system. Then, based on Euler parameterization and coprime factorization theory, a dynamic compensation architecture based on residual generator is designed. The transfer function of the dynamic compensation controller Qcom (S) is obtained by model matching to realize the steady-state operation of parallel inverters and the improvement of system power quality. Finally, the effectiveness of the proposed architecture is verified on the experimental platform. © 2023 IEEE.

关键词： Power quality

来源：评论

学校读者我要写书评

暂无评论

SiC MOSFET Crosstalk Modelling with Suppression Considering Impacts of dv/dt and di/dt 11

SiC MOSFET Crosstalk Modelling with Suppression Considering ...

引用

11th International Conference on Power Electronics - ECCE Asia, ICPE 2023-ECCE Asia

作者： Xie, Wenhao Ji, Shiqi Zhao, Zhengming Mo, Xin Tsinghua University State Key Laboratory of Control and Simulation of Power System and Generation Equipment Department of Electrical Engineering China Tsinghua Sichuan Energy Internet Research Institute China

ISBN: (纸本)9788957083505

Compared to Si IGBTs, SiC MOSFETs can reduce switching losses, achieve higher switching frequencies and enable smaller converter size. However, due to the high dv/dt of SiC MOSFETs, certain topologies, such as two SiC MOSFETs in a phase-leg configuration, are highly sensitive to crosstalk, which can slow down switching speed and even reduce gate oxide's lifetime. In this paper, an accurate model of crosstalk is established by considering the impacts of both dv/dt and di/dt in the power loop. The proposed model can simulate the gate-source voltage on bare die of SiC MOSFETs, allowing for a more accurate evaluation of the impact of crosstalk. Model verification is implemented using a double pulse test (DPT) platform and a gate driver with active miller clamp technology. Key parameters of the model are extracted from both 3D simulation models and measurement experiments. The DPT waveform of power loop is used as the excitation source in the simulation, and the simulated gate-source waveform shows good agreement with the experimental waveform. Based on the model, parameter sensitivity analysis is performed, and suggestions for improving crosstalk suppression are proposed. © 2023 The Korean Institute of Power Electronics.

关键词： Crosstalk

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：