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

arXiv 2024年

作者： Marchesini, Gregorio Liu, Siyuan Lindemann, Lars Dimarogonas, Dimos V. Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden Thomas Lord Department of Computer Science University of Southern California Los AngelesCA United States

In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph. Specifically, we propose to decompose tasks defined over multiple agents which require multi-hop communication, by a set of sub-tasks defined over the states of agents with 1-hop distance over the communication graph. To this end, we parameterize the predicates of the tasks to be decomposed as suitable hyper-rectangles. Then, we show that by solving a constrained convex optimization, optimal parameters maximising the volume of the predicate’s super-level sets can be computed for the decomposed tasks. In addition, we provide a formal definition of conflicting conjunctions of tasks for the considered STL fragment and a formal procedure to exclude such conjunctions from the solution set of possible decompositions. The proposed approach is demonstrated through simulations. Copyright © 2024, The Authors. All rights reserved.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Decentralized control of Multi-Agent systems Under Acyclic Spatio-Temporal Task Dependencies

arXiv

引用

arXiv 2024年

作者： Marchesini, Gregorio Liu, Siyuan Lindemann, Lars Dimarogonas, Dimos V. The Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden The Thomas Lord Department of Computer Science University of Southern California Los AngelesCA United States

We introduce a novel distributed sampled-data control method tailored for heterogeneous multi-agent systems under a global spatio-temporal task with acyclic dependencies. Specifically, we consider the global task as a conjunction of independent and collaborative tasks, defined over the absolute and relative states of agent pairs. Task dependencies in this form are then represented by a task graph, which we assume to be acyclic. From the given task graph, we provide an algorithmic approach to define a distributed sampled-data controller prioritizing the fulfilment of collaborative tasks as the primary objective, while fulfilling independent tasks unless they conflict with collaborative ones. Moreover, communication maintenance among collaborating agents is seamlessly enforced within the proposed control framework. A numerical simulation is provided to showcase the potential of our control framework. © 2024, CC BY.

关键词： Decentralized control

来源：评论

学校读者我要写书评

暂无评论

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent systems

arXiv

引用

arXiv 2024年

We consider the problem of decomposing a global task assigned to a multi-agent system, expressed as a formula within a fragment of Signal Temporal Logic (STL), under range-limited communication. Given a global task expressed as a conjunction of local tasks defined over the individual and relative states of agents in the system, we propose representing task dependencies among agents as edges of a suitably defined task graph. At the same time, range-limited communication naturally induces the definition of a communication graph that defines which agents have access to each other’s states. Within these settings, inconsistencies arise when a task dependency between a pair of agents is not supported by a corresponding communication link due to the limited communication range. As a result, state feedback control laws previously derived to achieve the tasks’ satisfaction can not be leveraged. We propose a task decomposition mechanism to distribute tasks assigned to pairs of non-communicating agents in the system as conjunctions of tasks defined over the relative states of communicating agents, thus enforcing consistency between task and communication graphs. Assuming the super-level sets of the predicate functions composing the STL tasks are bounded polytopes, our task decomposition mechanism can be cast as a parameter optimization problem and solved via state-of-the-art decentralized convex optimization algorithms. To guarantee the soundness of our approach, we present various conditions under which the tasks defined in the applied STL fragment are unsatisfiable, and we show sufficient conditions such that our decomposition approach yields satisfiable global tasks after decomposition. © 2024, CC BY-NC-SA.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Non-Axiomatic Reasoning for an Autonomous Mobile Robot

Non-Axiomatic Reasoning for an Autonomous Mobile Robot

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Patrick Hammer Peter Isaev Lei Feng Robert Johansson Jana Tumova Division of Robotics Perception and Learning KTH Royal Institute of Technology Stockholm Sweden Department of Computer and Information Systems Temple University Philadelphia PA USA Unit of Mechatronics and Embedded Control Systems KTH Royal Institute of Technology Stockholm Sweden Department of Psychology Stockholm University Stockholm Sweden

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

We present the integration of a Non-Axiomatic Reasoning System (NARS) with mobile robots for planning and decision making. NARS enables robots to effectively handle uncertainty in real-time with complete sensor and actuator integration, thereby ensuring adaptability to evolving scenarios. We discuss essential parts of the logic, the architecture and working principles of NARS, and the integration of NARS as a ROS node. A case study is provided demonstrating the system’s proficiency to carry out a garbage collection task in an open-air environment by operating a mobile robot with manipulator arm, and we demonstrate its ability to learn about the place-dependent accumulation of garbage items. Case study also reveals that our approach performs more effectively on the overall task than the Belief-Desire-Intention model we compared with.

关键词： Actuators Uncertainty Object detection Switches Robot sensing systems Manipulators Cognition

来源：评论

学校读者我要写书评

暂无评论

Application of Hybrid Variable Admittance Force Tracking and Fixed-time Position control for Robot Interaction Tasks

Application of Hybrid Variable Admittance Force Tracking and...

引用

International Conference on control, Mechatronics and Automation (ICCMA)

作者： Hong Zhan Chao Zeng Chenguang Yang Key Laboratory of Autonomous Systems and Networked Control College of Automation Science and Engineering South China University of Technology Guangzhou China Department of Computer Science University of Liverpool Liverpool UK

ISBN: (数字)9798331517519

ISBN: (纸本)9798331517526

This paper applies the proposed hybrid force and position control method to the physical robot system with interaction tasks to further improve our previous study. In the control scheme, the variable stiffness based on proportional integral derivative(PID) admittance control is adopted for interaction force tracking and the radial basis function neural network(RBFNN) based fixed-time control is designed to ensure position tracking. We have performed interaction tasks based on a Baxter robot for drawing on the plane and slope plane with different expected interaction forces and position trajectories. The experiment results indicate that the method performs well in terms of interaction force and trajectory tracking.

关键词： Mechatronics Automation Trajectory tracking Force Dynamics Position control Trajectory Robots Admittance control Convergence

来源：评论

学校读者我要写书评

暂无评论

Absolute longitudinal distance measurement verification of a standard polystyrene nanoparticle near a surface in water by means of multi-wavelength evanescent field 22

Absolute longitudinal distance measurement verification of a...

引用

22nd International Conference of the European Society for Precision Engineering and Nanotechnology, EUSPEN 2022

作者： Blattler, Aran Khajornrungruang, Panart Suzuki, Keisuke Baba, Akiyoshi Goto, Daiki Graduate School of Computer Science and System Engineering Mechanical Information Science and Technology Course Kyushu Institute of Technology Fukuoka Japan Department of Intelligent and Control Systems Advanced Mechanical Division Kyushu Institute of Technology Fukuoka Japan Center of Microelectronic System Kyushu Institute of Technology Fukuoka Japan School of Computer Science and System Engineering Advanced Mechanical Course Kyushu Institute of Technology Fukuoka Japan

ISBN: (纸本)9781998999118

In the wet semiconductor process, abrasive nanoparticles are widely used in the chemical mechanical polishing (CMP) process to polish wafer surfaces for high planarization. During polishing, nanoparticles move with a high-speed three-dimensional (3D) position in the solution. In the 3D particles's moving positions, Z is a perpendicular longitudinal distance between the surface to the nanoparticle that plays a significant role in polishing, which could not be measured by general microscopy without longitudinal scanning. To understand nanoparticle phenomena near-surface, we have proposed and developed the apparatus with real-time fastmotion tracking on optical multi-wavelength evanescent fields microscopy to measure the 3D motion of the nanoparticle in water without scanning. In euspen's 2020, we could verify the relative distance ?Z of nanoparticles in water, but the absolute distance Z is unknown yet. In this manuscript, we have therefore developed an invisible nano-step height in water to verify the absolute height Z of an individual nanoparticle. The invisible nano-step height in water is made from an optical resin with a refractive index of 1.35 that is close to a refractive index of water to avoid unnecessary light during experimental verification. The nano-step height was less than 100 nm on a glass surface, fabricated using nanoimprint lithography. Polystyrene f100 nm standard particles in water were used to verify the height Z. The results of height Z of nanoparticles could be measured less than 100 nm with the measurement uncertainty ±10 nm (2s), which is related to the interferometer result of the nano-step height. © European Society for Precision Engineering and Nanotechnology, Conference Proceedings - 22nd International Conference and Exhibition, EUSPEN 2022. All rights reserved.

关键词： Nanoparticles

来源：评论

学校读者我要写书评

暂无评论

Learning-Based Optimal control with Performance Guarantees for Unknown systems with Latent States

Learning-Based Optimal Control with Performance Guarantees f...

引用

European control Conference (ECC)

作者： Robert Lefringhausen Supitsana Srithasan Armin Lederer Sandra Hirche Chair of Information-oriented Control TUM School of Computation Information and Technology Technical University of Munich Germany Department of Computer Science ETH Zurich Learning and Adaptive Systems Group Switzerland

ISBN: (数字)9783907144107

ISBN: (纸本)9798331540920

As control engineering methods are applied to in-creasingly complex systems, data-driven approaches for system identification appear as a promising alternative to physics-based modeling. While the Bayesian approaches prevalent for safety-critical applications usually rely on the availability of state measurements, the states of a complex system are often not directly measurable. It may then be necessary to jointly estimate the dynamics and the latent state, making the quantification of uncertainties and the design of controllers with formal performance guarantees considerably more challenging. This paper proposes a novel method for the computation of an optimal input trajectory for unknown nonlinear systems with latent states based on a combination of particle Markov chain Monte Carlo methods and scenario theory. Probabilistic performance guarantees are derived for the resulting input trajectory, and an approach to validate the performance of arbitrary control laws is presented. The effectiveness of the proposed method is demonstrated in a numerical simulation.

关键词： Uncertainty Monte Carlo methods Optimal control Europe Probabilistic logic Numerical simulation Trajectory

来源：评论

学校读者我要写书评

暂无评论

Skeleton-Based Multi-Stream Adaptive Graph Convolutional Network for Indoor Scene Action Recognition

Skeleton-Based Multi-Stream Adaptive Graph Convolutional Net...

引用

2023 China Automation Congress, CAC 2023

作者： Li, Jiazhuo Chen, Luefeng Li, Min Wu, Min Pedrycz, Witold Hirota, Kaoru The School of Automation The Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems The Engineering Research Center of Intelligent Technology for Geo-Exploration Ministry of Education China University of Geosciences Wuhan430074 China The Department of Electrical and Computer Engineering University of Alberta EdmontonABT6G 2R3 Canada The Systems Research Institute Polish Academy of Sciences Warsaw00-901 Poland The Department of Computer Engineering Istinye University Sariyer Istanbul34396 Turkey The Tokyo Institute of Technology Tokyo226-8502 Japan

ISBN: (纸本)9798350303759

With the rapid advances in computer vision, human action recognition has gradually received attention, but the current methods still exhibit some problems in indoor environments. The human skeleton, as the framework of human motion, contains high-quality actional feature information, and the skeleton-based action recognition method effectively avoid the interference of interior background noise and has advantages in indoor action recognition. The outstanding effect of graph convolutional networks on graph structure data processing has led to its rapid development and wide application in skeleton-based action recognition. Second-order skeletal information also contains a large number of actional features but is not effectively utilized. The artificial predefined topology of the human skeleton map has limitations, and cannot reflect the interaction between limbs. To solve the above problems, this article designs an adaptive weighted multi-stream graph convolutional network (AM-GCN) based on skeletal information, using an attention mechanism to enhance the network's ability to extract actional features, and an adaptive layer to make the construction graph more flexible, incorporating second-order skeletal features through a dual-stream architecture. In this article, the NTU-RGB+D dataset has been used for the experiments, the results show that the method in this article has good results. © 2023 IEEE.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Maximizing social power in multiple independent Friedkin-Johnsen models

Maximizing social power in multiple independent Friedkin-Joh...

引用

European control Conference (ECC)

作者： Lingfei Wang Yu Xing Claudio Altafini Karl H. Johansson Division of Decision and Control Systems Digital Futures School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden Department of Electrical Engineering Division of Automatic Control Linköping University Linköping Sweden

ISBN: (数字)9783907144107

ISBN: (纸本)9798331540920

This paper investigates the problem of maximizing social power for a group of agents, who participate in multiple meetings described by independent Friedkin-Johnsen models. A strategic game is obtained, in which the action of each agent (or player) is her stubbornness over all the meetings, and the payoff is her social power on average. It is proved that, for all but some strategy profiles on the boundary of the feasible action set, each agent's best response is the solution of a convex optimization problem. Furthermore, even with the non-convexity on boundary profiles, if the underlying networks are given by a fixed complete graph, the game has a unique Nash equilibrium. For this case, the best response of each agent is analytically characterized, and is achieved in finite time by a proposed algorithm.

关键词： Network topology Europe Games Nash equilibrium Cost function Convex functions

来源：评论

学校读者我要写书评

暂无评论

Plate Shape Prediction Based on Data-Driven in Roll Quenching Process

Plate Shape Prediction Based on Data-Driven in Roll Quenchin...

引用

2023 China Automation Congress, CAC 2023

作者： Hu, Liu Chen, Luefeng Hu, Jie Wu, Min Pedrycz, Witold Hirota, Kaoru School of Automation Ministry of Education China University of Geosciences Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems The Engineering Research Center of Intelligent Technology for Geo-Exploration Wuhan430074 China University of Alberta Department of Electrical and Computer Engineering EdmontonABT6R 2G7 Canada Systems Research Institute Polish Academy of Sciences Warsaw00-901 Poland Istinye University The Department of Computer Engineering Istanbul Sariyer34396 Turkey Tokyo Institute of Technology Tokyo Yokohama226-8502 Japan

ISBN: (纸本)9798350303759

In the process of steel plate production, predicting the plate shape is of great significance for producing high-quality and consistently stable plate shapes. This paper presents a model that predicts both the defect types and flatness of the plate, providing theoretical support for setting process parameters in roller quenching production. First, the parameters of the quenching process are analyzed to identify their characteristics. Then, the K-Means clustering algorithm and correlation analysis are employed to process the quenching process parameters. A gradient boosting decision tree (GBDT) model is used to predict the defect types and flatness of the steel plates. Finally, industrial production data is utilized for experimental validation. The obtained experimental results verify the reliability of the proposed method. © 2023 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：