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

Soft Safety Analysis of Interconnected Systems

IEEE Transactions on Automatic control 2024年

作者： Zhang, Weihao Zhao, Di Liang, Shu Tongji University Department of Control Science and Engineering Shanghai Institute of Intelligent Science and Technology Shanghai201804 China Tongji University National Key Laboratory of Autonomous Intelligent Unmanned Systems Frontiers Science Center for Intelligent Autonomous Systems Shanghai201804 China

This paper introduces the concept of soft safety for nonlinear dynamical systems, examined from an input-output perspective, and establishes criteria for verifying soft safety in interconnected systems. Diverging from traditional safety approaches that enforce rigid/hard constraints on system states, our proposal involves integrating soft barrier functions with respect to system inputs and outputs to characterize soft safety. Particularly, when the soft barrier function takes a quadratic form with a constant QSR multiplier - later extended to a dynamic multiplier - we further define QSR safety for a class of nonlinear systems subject to quadratic constraints on input-output signals. The paper presents methods for analyzing QSR safety in both open-loop systems with state-space representations and interconnected systems, with these methods subsequently employed to design QSR soft safe systems meeting prescribed safety and stability requirements. Numerical and simulation examples are provided to illustrate the rationality of the concept and the efficacy of the results. © 1963-2012 IEEE.

关键词： State space methods

来源：评论

学校读者我要写书评

暂无评论

An Efficient Impersonation Attack Detection Method in Fog Computing

引用

computers, Materials & Continua 2021年第7期68卷 267-281页

作者： Jialin Wan Muhammad Waqas Shanshan Tu Syed Mudassir Hussain Ahsan Shah Sadaqat Ur Rehman Muhammad Hanif Engineering Research Center of Intelligent Perception and Autonomous Control Faculty of Information TechnologyBeijing University of TechnologyBeijing100124China Faculty of Computer Science and Engineering Ghulam Ishaq Khan Institute of Engineering Sciences and TechnologyTopi23460Pakistan Department of Electronics Engineering FICTBalochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Computer Science Namal InstituteMianwali42200Pakistan

Fog computing paradigm extends computing,communication,storage,and network resources to the network’s *** the fog layer is located between cloud and end-users,it can provide more convenience and timely services to ***,in fog computing(FC),attackers can behave as real fog nodes or end-users to provide malicious services in the *** attacker acts as an impersonator to impersonate other legitimate ***,in this work,we present a detection technique to secure the FC ***,we model a physical layer key generation based on wireless channel *** generate the secret keys between the legitimate users and avoid impersonators,we then consider a Double Sarsa technique to identify the impersonators at the receiver *** compare our proposed Double Sarsa technique with the other two methods to validate our work,i.e.,Sarsa and *** simulation results demonstrate that the method based on Double Sarsa outperforms Sarsa and Q-learning approaches in terms of false alarm rate(FAR),miss detection rate(MDR),and average error rate(AER).

关键词： Fog computing double Sarsa attack detection physical layer key security

来源：评论

学校读者我要写书评

暂无评论

Feedback Stability Under Mixed Gain and Phase Uncertainty

arXiv

引用

arXiv 2024年

作者： Liang, Jiajin Zhao, Di Qiu, Li The Googol Technology Guangdong Shenzhen China The Department of Control Science and Engineering National Key Laboratory of Autonomous Intelligent Unmanned Systems Frontiers Science Center for Intelligent Autonomous Systems Tongji University Shanghai China The Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong

In this study, we investigate the robust feedback stability problem for multiple-input-multiple-output linear time-invariant systems involving sectored-disk uncertainty, namely, dynamic uncertainty subject to simultaneous gain and phase constraints. This problem is thereby called a sectored-disk problem. Employing a frequency-wise analysis approach, we derive a fundamental static matrix problem that serves as a key component in addressing the feedback stability. The study of this matrix problem heavily relies on the Davis-Wielandt (DW) shells of matrices, providing a profound insight into matrices subjected to simultaneous gain and phase constraints. This understanding is pivotal for establishing a less conservative sufficient condition for the matrix sectored-disk problem, from which we formulate several robust feedback stability conditions against sectored-disk uncertainty. Finally, several conditions based on linear matrix inequalities are developed for efficient computation and verification of feedback robust stability against sectored-disk uncertainty. Copyright © 2024, The Authors. All rights reserved.

关键词： Linear time-invariant system

来源：评论

学校读者我要写书评

暂无评论

Motion Planning at Intersections with Safe Differential Games based on control Barrier Function

Motion Planning at Intersections with Safe Differential Game...

引用

IEEE Symposium on Intelligent Vehicle

作者： Peng Yi Wenyuan Wang Qingwen Liu Yiguang Hong Shanghai Research Institute for Intelligent Autonomous Systems Tongji University National Key Laboratory of Autonomous Intelligent Unmanned Systems Frontiers Science Center for Intelligent Autonomous Systems Ministry of Education Department of Control Science and Engineering Tongji University

ISBN: (数字)9798350348811

ISBN: (纸本)9798350348828

Motion planning at intersections is a challenging problem in autonomous driving due to the complicated interactions. The existing pipeline of "planning after predicting" is too conservative, can reduce traffic efficiency. Using game theory to model the non-cooperative coupling relationships between multiple vehicles can resolve the above problems, but such methods cannot guarantee safety without collision. This paper presents motion planning for autonomous driving with safe differential games based on control Barrier Function (CBF), and also provides a safety-critical generalized Nash equilibrium seeking algorithm. We handle the hard CBF constraints through augmented Lagrangian multiplier method. Motivated by iterative Linear-Quadratic Game (iLQG) algorithm, we use the Taylor expansion method to approximate the model into an Linear-Quadratic (LQ) structure, and then incrementally solve this problem with an iterative feedback LQ game algorithm. Through Carla simulation and hardware testing, our results indicate that the algorithm can find a balance between safety and efficiency while maintaining real-time implementation performance.

关键词： Differential games Games Approximation algorithms Real-time systems Iterative algorithms Hardware Planning

来源：评论

学校读者我要写书评

暂无评论

Hybrid Visual Inertial Odometry for Robust Underwater Estimation

Hybrid Visual Inertial Odometry for Robust Underwater Estima...

引用

OCEANS

作者： Bharat Joshi Chanaka Bandara Ioannis Poulakakis Herbert G. Tanner Ioannis Rekleitis Department of Computer Science and Engineering University of South Carolina Center for Autonomous and Robotic Systems University of Delaware

Vision-based state estimation is challenging in underwater environments due to color attenuation, low visibility and floating particulates. All visual-inertial estimators are prone to failure due to degradation in image quality. However, underwater robots are required to keep track of their pose during field deployments. We propose robust estimator fusing the robot's dynamic and kinematic model with proprioceptive sensors to propagate the pose whenever visual-inertial odometry (VIO) fails. To detect the VIO failures, health tracking is used, which enables switching between pose estimates from VIO and a kinematic estimator. Loop closure implemented on weighted posegraph for global trajectory optimization. Experimental results from an Aqua2 autonomous Underwater Vehicle field deployments demonstrates the robustness of our approach over different underwater environments such as over shipwrecks and coral reefs. The proposed hybrid approach is robust to VIO failures producing consistent trajectories even in harsh conditions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Data Transmission Approach Based on Ant Colony Optimization and Threshold Proxy Re-encryption in WSNs

引用

Journal of Artificial Intelligence and Technology 2022年第1期2卷 23-31页

作者： Jing Liu Zenghui Liu Chenyu Sun Junxi Zhuang College of Computer Science Faculty of Information TechnologyBeijing University of TechnologyBeijing 100124China Engineering Research Center of Intelligent Perception and Autonomous Control Ministry of EducationBeijing 100124China College of Automation Engineering Beijing PolytechnicBeijing 100176China

Wireless sensor networks(WSNs)have become increasingly popular due to the rapid growth of the Internet of *** open wireless transmission media are easy to attack,security is one of the primary design concerns for *** solutions consider routing and data encryption as two isolated issues,providing incomplete ***,in this paper,we divide the WSN communication process into a data path selection phase and a data encryption *** propose an improved transmission method based on ant colony optimization(ACO)and threshold proxy re-encryption for WSNs,and we named it as *** method resists internal and external attacks and ensures safe and efficient data *** the data path selection stage,the ACO algorithm is used for network *** improvement of the pheromone concentration is *** order to resist attacks from external attackers,proxy re-encryption is extended to WSN in the data encryption *** threshold secret sharing algorithm is introduced to generate a set of re-encryption key fragments composed of random numbers at the source *** confirm the performance of our model via simulation studies.

关键词： wireless sensors network ant colony optimization pheromone proxy re-encryption threshold

来源：评论

学校读者我要写书评

暂无评论

Secure Recursive State Estimation of Networked Systems Against Eavesdropping: A Partial-Encryption-Decryption Method

引用

IEEE Transactions on Automatic control 2024年第6期70卷 3681-3694页

作者： Zou, Lei Wang, Zidong Shen, Bo Dong, Hongli Donghua University College of Information Science and Technology Engineering Research Center of Digitalized Textile and Fashion Technology Ministry of Education Shanghai201620 China Brunel University London Department of Computer Science UxbridgeUB8 3PH United Kingdom Northeast Petroleum University Artificial Intelligence Energy Research Institute Heilongjiang Provincial Key Laboratory of Networking and Intelligent Control Daqing163318 China

This paper addresses the problem of secure recursive state estimation for a networked linear system, which may be vulnerable to interception of transmitted measurement data by eavesdroppers. To effectively protect information security, an encryption-decryption-based communication scheme can be used, but encrypting all the measurement data from sensors can result in significant computational costs. To address this issue, a partial-encryption-decryption (PED) mechanism is proposed to enhance information security with relatively low computational costs. In this mechanism, only part of the transmitted measurement signals are encrypted, and the remaining signals are transmitted directly to the estimator. A Jordan-canonical-form-based approach is developed to select the appropriate parameter for the PED mechanism, and recursive formulas for the state estimator are designed based on the principle of minimum mean squared error. Sufficient conditions are derived to guarantee the ultimate boundedness of the estimation error variance matrix. Finally, the proposed PED-based recursive state estimation scheme is evaluated through two simulation examples to demonstrate its effectiveness. © 1963-2012 IEEE.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

Trust Recognition in Human-Robot Cooperation Using EEG

Trust Recognition in Human-Robot Cooperation Using EEG

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Caiyue Xu Changming Zhang Yanmin Zhou Zhipeng Wang Ping Lu Bin He Department of Control Science and Engineering College of Electronics and Information Engineering Tongji University Shanghai China National Key Laboratory of Autonomous Intelligent Unmanned Systems Shanghai China Frontiers Science Center for Intelligent Autonomous Systems Shanghai China

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

Collaboration between humans and robots is becoming increasingly crucial in our daily life. In order to accomplish efficient cooperation, trust recognition is vital, empowering robots to predict human behaviors and make trust-aware decisions. Consequently, there is an urgent need for a generalized approach to recognize human-robot trust. This study addresses this need by introducing an EEG-based method for trust recognition during human-robot cooperation. A human-robot cooperation game scenario is used to stimulate various human trust levels when working with robots. To enhance recognition performance, the study proposes an EEG Vision Transformer model coupled with a 3-D spatial representation to capture the spatial information of EEG, taking into account the topological relationship among electrodes. To validate this approach, a public EEG-based human trust dataset called EEGTrust is constructed. Experimental results indicate the effectiveness of the proposed approach, achieving an accuracy of 74.99% in slice-wise cross-validation and 62.00% in trial-wise cross-validation. This outperforms baseline models in both recognition accuracy and generalization. Furthermore, an ablation study demonstrates a significant improvement in trust recognition performance of the spatial representation. The source code and EEGTrust dataset are available at https://***/CaiyueXu/EEGTrust.

关键词： Adaptation models computer vision Solid modeling Accuracy Source coding Brain modeling Transformers

来源：评论

学校读者我要写书评

暂无评论

Online, Target-Free LiDAR-Camera Extrinsic Calibration via Cross-Modal Mask Matching

arXiv

引用

arXiv 2024年

作者： Huang, Zhiwei Zhang, Yikang Chen, Qijun Fan, Rui The Department of Control Science & Engineering The College of Electronics & Information Engineering Shanghai Institute of Intelligent Science and Technology Shanghai Research Institute for Intelligent Autonomous Systems The State Key Laboratory of Intelligent Autonomous Systems Frontiers Science Center for Intelligent Autonomous Systems Tongji University Shanghai201804 China

LiDAR-camera extrinsic calibration (LCEC) is crucial for data fusion in intelligent vehicles. Offline, target-based approaches have long been the preferred choice in this field. However, they often demonstrate poor adaptability to real-world environments. This is largely because extrinsic parameters may change significantly due to moderate shocks or during extended operations in environments with vibrations. In contrast, online, target-free approaches provide greater adaptability yet typically lack robustness, primarily due to the challenges in cross-modal feature matching. Therefore, in this article, we unleash the full potential of large vision models (LVMs), which are emerging as a significant trend in the fields of computer vision and robotics, especially for embodied artificial intelligence, to achieve robust and accurate online, target-free LCEC across a variety of challenging scenarios. Our main contributions are threefold: we introduce a novel framework known as MIAS-LCEC, provide an open-source versatile calibration toolbox with an interactive visualization interface, and publish three real-world datasets captured from various indoor and outdoor environments. The cornerstone of our framework and toolbox is the cross-modal mask matching (C3M) algorithm, developed based on a state-of-the-art (SoTA) LVM and capable of generating sufficient and reliable matches. Extensive experiments conducted on these real-world datasets demonstrate the robustness of our approach and its superior performance compared to SoTA methods, particularly for the solid-state LiDARs with super-wide fields of view. Our toolbox and datasets are publicly available at ***/MIAS-LCEC. Copyright © 2024, The Authors. All rights reserved.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

X-Tacformer : Spatio-tempral Attention Model for Tactile Recognition

X-Tacformer : Spatio-tempral Attention Model for Tactile Rec...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Jiarui Hu Yanmin Zhou Zhipeng Wang Xin Li Yongkang Jiang Bin He Department of Control Science and Engineering College of Electronics and Information Engineering Tongji University Shanghai China National Key Laboratory of Autonomous Intelligent Unmanned Systems Shanghai China Frontiers Science Center for Intelligent Autonomous Systems Shanghai China

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

Recently, tactile sensing has attracted great interests in robotics, especially for exploring unstructured objects. Sensor arrays play an important role in the exploration, which generates rich spatio-temporal information. In this work, we propose an efficient tactile recognition model, X-Tacformer. This model pays attention to both spatial and temporal features of tactile sequences from sensor arrays, which is verified by four public datasets, Ev-Objects, Ev-Containers, Augment8000 and BioTac-Dos. Comparative studies show that our model has resulted in a significant improvement of the recognition accuracy by 0.0223, 0.1416, 0.2735 and 0.1592 in these datasets. In order to verify its performances on dataset with rich spatio-temporal features, a self-designed dataset, ALU-Textures, was constructed with 10 fabrics from everyday textiles, aiming to extend the data collection action modes of current datasets by simulating human rubbing movements with the thumb and index fingers of an Allegro hand. Our model also demonstrates efficient salient feature learning capabilities on ALU-Textures, which is further augmented by tactile data augmentation methods.

关键词： Image recognition Accuracy Three-dimensional displays Biological system modeling Thumb Robot sensing systems Data augmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：