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

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 Special Issue:“Co-optimization and mechanism design of multimodal energy systems under carbon constraints”

引用

Global Energy Interconnection 2025年第2期8卷 I0002-I0003页

作者： Lin Cheng Xiaojun Wan Department of Electrical Engineering Tsinghua University Planning and Design Research Center Energy Internet Research InstituteTsinghua University State Key Laboratory of Power System Operation and Control Tsinghua University School of Electrical Engineering Beijing Jiaotong University

Against the backdrop of active global responses to climate change and the accelerated green and low-carbon energy transition,the co-optimization and innovative mechanism design of multimodal energy systems have become a significant instrument for propelling the energy revolution and ensuring energy *** increasingly stringent carbon emission constraints,how to achieve multi-dimensional improvements in energy utilization efficiency,renewable energy accommodation levels,and system economics-through the intelligent coupling of diverse energy carriers such as electricity,heat,natural gas,and hydrogen,and the effective application of market-based instruments like carbon trading and demand response-constitutes a critical scientific and engineering challenge demanding urgent solutions.

关键词： multimodal energy systems renewable energy accommodation energy utilization efficiency co optimization carbon constraints climate change carbon emission constraintshow mechanism design

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Recent Progress in Reinforcement Learning and Adaptive Dynamic Programming for Advanced control Applications

引用

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 18-36页

作者： Ding Wang Ning Gao Derong Liu Jinna Li Frank L.Lewis IEEE the Faculty of Information Technology Beijing Key Laboratory of Computational Intelligence and Intelligent SystemBeijing Laboratory of Smart Environmental Protectionand Beijing Institute of Artificial IntelligenceBeijing University of TechnologyBeijing 100124China the School of System Design and Intelligent Manufacturing Southern University of Science and TechnologyShenzhen 518055China the Department of Electrical and Computer Engineering University of Illinois at ChicagoChicago IL 60607 USA the School of Information and Control Engineering Liaoning Petrochemical UniversityFushun 113001China the UTA Research Institute the University of Texas at ArlingtonArlington TX 76118 USA

Reinforcement learning(RL) has roots in dynamic programming and it is called adaptive/approximate dynamic programming(ADP) within the control community. This paper reviews recent developments in ADP along with RL and its applications to various advanced control fields. First, the background of the development of ADP is described, emphasizing the significance of regulation and tracking control problems. Some effective offline and online algorithms for ADP/adaptive critic control are displayed, where the main results towards discrete-time systems and continuous-time systems are surveyed, ***, the research progress on adaptive critic control based on the event-triggered framework and under uncertain environment is discussed, respectively, where event-based design, robust stabilization, and game design are reviewed. Moreover, the extensions of ADP for addressing control problems under complex environment attract enormous attention. The ADP architecture is revisited under the perspective of data-driven and RL frameworks,showing how they promote ADP formulation ***, several typical control applications with respect to RL and ADP are summarized, particularly in the fields of wastewater treatment processes and power systems, followed by some general prospects for future research. Overall, the comprehensive survey on ADP and RL for advanced control applications has d emonstrated its remarkable potential within the artificial intelligence era. In addition, it also plays a vital role in promoting environmental protection and industrial intelligence.

关键词： Adaptive dynamic programming(ADP) advanced control complex environment data-driven control event-triggered design intelligent control neural networks nonlinear systems optimal control reinforcement learning(RL)

来源：评论

学校读者我要写书评

暂无评论

Research on workflow recognition for liver rupture repair surgery

引用

Mathematical Biosciences and engineering 2024年第2期21卷 1844-1856页

作者： Men, Yutao Zhao, Zixian Chen, Wei Wu, Hang Zhang, Guang Luo, Feng Yu, Ming Tianjin Key Laboratory for Advanced Mechatronic System Design and Intelligent Control School of Mechanical Engineering Tianjin University of Technology Tianjin300384 China Medical Support Technology Research Department Systems Engineering Institute Academy of Military Sciences People’s Liberation Army Tianjin300161 China National Demonstration Center for Experimental Mechanical and Electrical Engineering Education Tianjin University of Technology Tianjin300384 China

Liver rupture repair surgery serves as one tool to treat liver rupture, especially beneficial for cases of mild liver rupture hemorrhage. Liver rupture can catalyze critical conditions such as hemorrhage and shock. Surgical workflow recognition in liver rupture repair surgery videos presents a significant task aimed at reducing surgical mistakes and enhancing the quality of surgeries conducted by surgeons. A liver rupture repair simulation surgical dataset is proposed in this paper which consists of 45 videos collaboratively completed by nine surgeons. Furthermore, an end-to-end SA-RLNet, a self attention-based recurrent convolutional neural network, is introduced in this paper. The self-attention mechanism is used to automatically identify the importance of input features in various instances and associate the relationships between input features. The accuracy of the surgical phase classification of the SA-RLNet approach is 90.6%. The present study demonstrates that the SA-RLNet approach shows strong generalization capabilities on the dataset. SA-RLNet has proved to be advantageous in capturing subtle variations between surgical phases. The application of surgical workflow recognition has promising feasibility in liver rupture repair surgery. ©2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons.

关键词： Image classification

来源：评论

学校读者我要写书评

暂无评论

An Attitude control Scheme for Low Redundancy Micro-nano Satellites without Gyroscopes

An Attitude Control Scheme for Low Redundancy Micro-nano Sat...

引用

IEEE International Conference of Intelligent Robotic and control engineering (IRCE)

作者： Mingqun Li Yongjun Lei Qinghua Jiang Research and Development Center Beijing Institute of Control Engineering Beijing China System Design Department Beijing Institute of Control Engineering Beijing China

ISBN: (数字)9798350352399

ISBN: (纸本)9798350352405

XX-1 satellite is a micro-nano satellite with low control system redundancy, equipped with only one set of three-axis gyroscopes. How to achieve attitude control during satellite failures has become an important issue in control scheme. This article proposes an attitude control scheme for low redundancy micro-nano satellites under the condition of no gyroscope. When high-value components in the satellite attitude control system, such as gyroscopes, fail and there are no redundant components, the satellite only uses magnetometers to reconstruct the attitude determination system, which can achieve attitude determination under any attitude conditions. This paper divides the working modes of micro-nano satellites into different modes based on the control tasks. Corresponding control laws are adopted in different modes, and magnetic torquers and momentum wheels are used to generate corresponding control torques, thus forming a complete satellite attitude control scheme. This paper further proposes effective discrimination conditions and parameter design methods for various working modes. Mathematical simulation shows that the proposed scheme enables micro-nano satellites to recover from any attitude to a stable operating state without gyroscope, and has the ability to operate stably in orbit for a long time. The attitude control accuracy is better than 2°, and the attitude stability is better than 0.003°/s, greatly improving the satellite's ability to operate safely in orbit.

关键词： Satellites Magnetic field measurement Attitude control Magnetometers Redundancy Position measurement Extraterrestrial measurements Orbits Stability analysis Gyroscopes

来源：评论

学校读者我要写书评

暂无评论

An asymmetrically substituted dithieno[3,2-b:2',3'-d]pyrrole organic small-molecule hole-transporting material for high-performance perovskite solar cells

引用

Chinese Journal of Chemical engineering 2022年第5期35卷 51-57页

作者： Jingwen Jia Yue Zhang Liangsheng Duan Quanping Wu Yu Chen Song Xue Tianjin Key Laboratory for Advanced Mechatronic System Design and Intelligent Control School of Mechanical EngineeringTianjin University of TechnologyTianjin 300384China Tianjin Key Laboratory of Organic Solar Cells and Photochemical Conversion Department of Applied ChemistryTianjin University of TechnologyTianjin 300384China

Hole-transporting materials play a vital role in terms of the performance of perovskite solar cells(PSCs).The dithieno[3,2-b:2’,3’-d]pyrrole(DTP),an S,N-heterocyclic building block,has been proved to be desirable for molecular design of hole-transporting materials in *** developed an asymmetrically substituted DTP small-molecule(JW12)and a reference compound(JW11).The asymmetrical structure of JW12 leads to different absorption properties and electron *** device in a planar n-i-p architecture using JW12 shows a much higher PCE(18.07%)than that based on JW11(15.46%),which is also better than the device based on spiro-OMe TAD(17.47%).We hope our research can provide a new perspective in molecular design of organic HTMs for perovskite solar cells.

关键词： Hole-transporting materials DTP Perovskite Photovoltaic performance

来源：评论

学校读者我要写书评

暂无评论

Some Use Cases of Security Constrained Economic Dispatch Problem for Outage Work Planning Collaboration system 13

Some Use Cases of Security Constrained Economic Dispatch Pro...

引用

13th IEEE Global Conference on Consumer Electronic, GCCE 2024

作者： Toyoshima, Ichiro Tatekoji, Takashi Mizutani, Ryota Sato, Hiroaki Toshiba Energy Systems & Solutions Corporation Infrastructure Service Development & Design Department Tokyo Japan Toshiba Energy Systems & Solutions Corporation Power Grid System Solutions Engineering Depattment Kawasaki Japan Toshiba Energy Systems & Solutions Corporation Power Control Computer Systems Department Tokyo Japan

ISBN: (纸本)9798350355079

Outage work planning has been essential to maintain the power grid system. For the operators, the planning is troublesome. It is caused by too complex process. The past few years, we have been developing Outage Work planning Collaboration system (OWCS) with some mathematical optimization techniques. Especially, Security Constrained Economic Dispatch(SCED) is extened in some ways to handle various power grid situations. © 2024 IEEE.

关键词： Constrained optimization

来源：评论

学校读者我要写书评

暂无评论

A Study of Two Types of Introductory Exercise Problems for Network Programming Learning with Python 23

A Study of Two Types of Introductory Exercise Problems for N...

引用

11th International Conference on Computer and Communications Management, ICCCM 2023

作者： Lu, Xiqin Funabiki, Nobuo Ueda, Kiyoshi Kao, Wen-Chung Department of Information and Communication Systems Distributed System Design Lab. Okayama University Okayama Japan Department of Computer Science Control Software Lab. Nihon University Koriyama Japan Department of Electrical Engineering National Taiwan Normal University Taipei Taiwan

ISBN: (纸本)9798400707735

Network programming is the act of writing computer codes for communications between programs or processes in different computers across networks. It is crucial for applications and services using networks, including e-commerce, gaming, and social media. However, university courses of educating it are very limited. As a result, it has become important to develop and offer IT tools to support self-studies of network programming by novices. In this paper, we present a study of two types of introductory exercise problems, namely, Grammar-concept Understanding Problem (GUP) and Comment Insertion Problem (CIP), for self-studies of five basic network protocols of TCP/IP, ARP, SMTP, POP3, and SSH with Python. A GUP instance requests to answer the keyword such as a library function in the given source code that corresponds to the grammar concept described in the question. A CIP instance requests to insert the comment at each blank of the code. String matching is adopted to mark any answer at the browser-based answer interface. Through solving them, it is expected to understand the meaning of important words and the code structure for network programming. As preliminary evaluations, we generated six GUP and CIP instances respectively, and assigned them to 10 students in Okayama University, Japan. The results confirmed that the proposal is proper for novices to learn network programming with Python. © 2023 ACM.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

A Method of Magnetometer Relative Reference Calibration for Micro-Nano Satellite and Its Application in Orbit

A Method of Magnetometer Relative Reference Calibration for ...

引用

IEEE International Conference of Intelligent Robotic and control engineering (IRCE)

作者： Mingqun Li Xiang Liu Shangshang Chen Kun Ma Qinghua Jiang Research and Development Center Beijing Institute of Control Engineering Beijing China System Design Department Beijing Institute of Control Engineering Beijing China

For a low-cost micro-nano satellite that uses magnetometer as the core sensor of attitude determination system, a calibration method of relative reference between multiple magnetometer is proposed. The influence of satellite magnetic environment on magnetic field intensity measurement is studied. After considering remanence, induction and installation deviation, an accurate measurement model of magnetometer is proposed. Without introducing other high-performance attitude sensors, the relative relationship between the measurement data of different magnetometer is derived, and a magnetometer relative reference calibration method based on the least square method is proposed. Mathematical simulation shows that the proposed method reduces the relative measurement error of the magnetometer from 2000 nT to 50 nT, and then uses the telemetry data of the satellite in orbit to calibrate several magnetometer of the satellite. After injecting new parameters, the attitude difference of satellites with different magnetometer as the reference decreases from 16 degrees to less than 2 degrees, indicating that the consistency of the magnetometer reference has been significantly improved, which verifies the effectiveness and practicality of the proposed method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：