Pub Date : 2024-08-02DOI: 10.1109/TSMC.2024.3430265
Guangzhu Peng;Tao Li;Chenguang Yang;C. L. Philip Chen
Humans are able to compliantly interact with the environment by adapting its motion trajectory and contact force. Robots with the human versatility can perform contact tasks more efficiently with high motion precision. Motivated by multiple capabilities, we develop an approximation-based admittance control strategy that adapts and tracks the trajectory with guaranteed performance for the robots interacting with unknown environments. In this strategy, the robot can adapt and compensate its feedforward force and stiffness to interact with the unknown environment. In particular, a reference trajectory is generated through the admittance control to achieve a desired interaction level. To improve the interaction performance, a tracking error bound for both the transient and steady states is prespecified, and a controller is designed to ensure the tracking control performance. In the presence of unknown robot dynamics, neural networks are integrated into tracking controller to compensate uncertainties. The stability and convergence conditions of the closed-loop system are analysed by the Lyapunov theory. The effectiveness of the proposed control method is demonstrated on the Baxter robot.
{"title":"Approximation-Based Admittance Control of Robot-Environment Interaction With Guaranteed Performance","authors":"Guangzhu Peng;Tao Li;Chenguang Yang;C. L. Philip Chen","doi":"10.1109/TSMC.2024.3430265","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3430265","url":null,"abstract":"Humans are able to compliantly interact with the environment by adapting its motion trajectory and contact force. Robots with the human versatility can perform contact tasks more efficiently with high motion precision. Motivated by multiple capabilities, we develop an approximation-based admittance control strategy that adapts and tracks the trajectory with guaranteed performance for the robots interacting with unknown environments. In this strategy, the robot can adapt and compensate its feedforward force and stiffness to interact with the unknown environment. In particular, a reference trajectory is generated through the admittance control to achieve a desired interaction level. To improve the interaction performance, a tracking error bound for both the transient and steady states is prespecified, and a controller is designed to ensure the tracking control performance. In the presence of unknown robot dynamics, neural networks are integrated into tracking controller to compensate uncertainties. The stability and convergence conditions of the closed-loop system are analysed by the Lyapunov theory. The effectiveness of the proposed control method is demonstrated on the Baxter robot.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142235683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-02DOI: 10.1109/TSMC.2024.3431033
Yang Wang;Junpeng Wang;Jin-Kao Hao;Jianguang Feng
We study a sensor-weapon–target assignment (S-WTA) problem that considers the desired probability of target destruction and aims to minimize the total cost of combat resources. Lower and upper bounds for the S-WTA problem are obtained by constructing linear approximation models. We also propose an adaptive large neighborhood search (ALNS) algorithm characterized by a model-driven repair phase to solve this problem. The destruction phase adaptively selects a destruction operator to remove partial resource assignments and produces an incomplete reference solution. For the destroyed solution, the repair phase generates a reduced subproblem that optimizes only the destroyed parts while keeping the other parts fixed. Each subproblem is formulated as a mixed integer programming model and solved by a general-purpose solver to repair the destroyed solution. Computational experiments show that the approximation formulations can obtain tight lower and upper bounds for most problem instances. Moreover, our proposed ALNS algorithm is competitive with the solver for small instances and effectively solves large instances. In addition, we experimentally demonstrate that our ALNS outperforms state-of-the-art algorithms in the literature, and the proposed model-driven solution repair phase outperforms the traditional heuristic repair operators.
{"title":"Efficient Adaptive Large Neighborhood Search for Sensor–Weapon–Target Assignment","authors":"Yang Wang;Junpeng Wang;Jin-Kao Hao;Jianguang Feng","doi":"10.1109/TSMC.2024.3431033","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3431033","url":null,"abstract":"We study a sensor-weapon–target assignment (S-WTA) problem that considers the desired probability of target destruction and aims to minimize the total cost of combat resources. Lower and upper bounds for the S-WTA problem are obtained by constructing linear approximation models. We also propose an adaptive large neighborhood search (ALNS) algorithm characterized by a model-driven repair phase to solve this problem. The destruction phase adaptively selects a destruction operator to remove partial resource assignments and produces an incomplete reference solution. For the destroyed solution, the repair phase generates a reduced subproblem that optimizes only the destroyed parts while keeping the other parts fixed. Each subproblem is formulated as a mixed integer programming model and solved by a general-purpose solver to repair the destroyed solution. Computational experiments show that the approximation formulations can obtain tight lower and upper bounds for most problem instances. Moreover, our proposed ALNS algorithm is competitive with the solver for small instances and effectively solves large instances. In addition, we experimentally demonstrate that our ALNS outperforms state-of-the-art algorithms in the literature, and the proposed model-driven solution repair phase outperforms the traditional heuristic repair operators.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-02DOI: 10.1109/TSMC.2024.3432000
Styliani I. Kampezidou;Justin Romberg;Kyriakos G. Vamvoudakis;Dimitri N. Mavris
In the pathway to 2030 electricity generation decarbonization and 2050 net-zero economies, scalable integration of distributed load can support environmental goals and also help alleviate smart grid operational issues through its electricity market participation. In this work, a novel Stackelberg game theoretic framework is proposed for trading the energy bidirectionally between the demand-response (DR) aggregator and the prosumers (distributed load). This formulation allows for flexible energy arbitrage and additional monetary rewards while ensuring that the prosumers’ desired daily energy demand is met. Then, a scalable (linear with the number of prosumers and the number of learning samples), the decentralized privacy-preserving algorithm is proposed to find approximate equilibria with online sampling and learning of the prosumers’ cumulative best response, which finds applications beyond this energy game. Moreover, cost bounds are provided on the quality of the approximate equilibrium solution. Finally, the real data from the California day-ahead market and the UC Davis campus building energy demands are utilized to demonstrate the efficacy of the proposed framework and the algorithm.
{"title":"Decentralized and Privacy-Preserving Learning of Approximate Stackelberg Solutions in Energy Trading Games With Demand Response Aggregators","authors":"Styliani I. Kampezidou;Justin Romberg;Kyriakos G. Vamvoudakis;Dimitri N. Mavris","doi":"10.1109/TSMC.2024.3432000","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3432000","url":null,"abstract":"In the pathway to 2030 electricity generation decarbonization and 2050 net-zero economies, scalable integration of distributed load can support environmental goals and also help alleviate smart grid operational issues through its electricity market participation. In this work, a novel Stackelberg game theoretic framework is proposed for trading the energy bidirectionally between the demand-response (DR) aggregator and the prosumers (distributed load). This formulation allows for flexible energy arbitrage and additional monetary rewards while ensuring that the prosumers’ desired daily energy demand is met. Then, a scalable (linear with the number of prosumers and the number of learning samples), the decentralized privacy-preserving algorithm is proposed to find approximate equilibria with online sampling and learning of the prosumers’ cumulative best response, which finds applications beyond this energy game. Moreover, cost bounds are provided on the quality of the approximate equilibrium solution. Finally, the real data from the California day-ahead market and the UC Davis campus building energy demands are utilized to demonstrate the efficacy of the proposed framework and the algorithm.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-01DOI: 10.1109/TSMC.2024.3428707
Pooja;Sandeep Kumar Sood
The rapid proliferation of quantum information technologies, spanning theoretical investigations to practical experiments, has generated a number of research papers and documents in quantum algorithms. Consequently, the current research serves as a gateway for interested readers to comprehend the status quo of quantum algorithms, with a specific focus on vehicular network optimization. It aims to explore the research patterns and latest trends by analyzing the dataset sourced from the Scopus and Web of Science databases. The scientometric implications offer valuable insights into publication patterns, keyword co-occurrence, author co-citation, country collaboration, and burst reference. These analyses delineate the temporal progression, prominent research topics, emerging research areas, leading collaborative nations, prolific authors, and research trends within this knowledge domain. The results reveal that smart power grids, traveling salesman problem, electric vehicle charging, battery life estimation, and air traffic control are emerging research areas. Similarly, quantum approximate optimization algorithms, adiabatic quantum computing, quantum-inspired evolutionary algorithms, and quantum annealing emerge as prominent quantum algorithms employed for vehicular network optimization problems. In addition, systematic literature analysis is objectively conducted to discern key insights, research challenges and future research directions in the current knowledge domain.
从理论研究到实际实验,量子信息技术的迅速发展催生了大量量子算法方面的研究论文和文献。因此,当前的研究为感兴趣的读者提供了一个了解量子算法现状的途径,特别是在车载网络优化方面。本研究旨在通过分析 Scopus 和 Web of Science 数据库中的数据集,探索研究模式和最新趋势。科学计量学的意义在于对发表模式、关键词共现、作者共引、国家合作和突发参考文献提供有价值的见解。这些分析勾勒出该知识领域的时间进程、突出研究课题、新兴研究领域、主要合作国家、多产作者和研究趋势。结果显示,智能电网、旅行推销员问题、电动汽车充电、电池寿命估计和空中交通管制是新兴研究领域。同样,量子近似优化算法、绝热量子计算、量子启发的进化算法和量子退火也成为车载网络优化问题的主要量子算法。此外,还客观地进行了系统的文献分析,以找出当前知识领域的关键见解、研究挑战和未来研究方向。
{"title":"Scientometric Analysis of Quantum Algorithms for VANET Optimization","authors":"Pooja;Sandeep Kumar Sood","doi":"10.1109/TSMC.2024.3428707","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3428707","url":null,"abstract":"The rapid proliferation of quantum information technologies, spanning theoretical investigations to practical experiments, has generated a number of research papers and documents in quantum algorithms. Consequently, the current research serves as a gateway for interested readers to comprehend the status quo of quantum algorithms, with a specific focus on vehicular network optimization. It aims to explore the research patterns and latest trends by analyzing the dataset sourced from the Scopus and Web of Science databases. The scientometric implications offer valuable insights into publication patterns, keyword co-occurrence, author co-citation, country collaboration, and burst reference. These analyses delineate the temporal progression, prominent research topics, emerging research areas, leading collaborative nations, prolific authors, and research trends within this knowledge domain. The results reveal that smart power grids, traveling salesman problem, electric vehicle charging, battery life estimation, and air traffic control are emerging research areas. Similarly, quantum approximate optimization algorithms, adiabatic quantum computing, quantum-inspired evolutionary algorithms, and quantum annealing emerge as prominent quantum algorithms employed for vehicular network optimization problems. In addition, systematic literature analysis is objectively conducted to discern key insights, research challenges and future research directions in the current knowledge domain.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-01DOI: 10.1109/TSMC.2024.3422925
Yihui Hu;Ziyue Ma;Ruotian Liu;Maria Pia Fanti;Zhiwu Li
This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.
{"title":"Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications","authors":"Yihui Hu;Ziyue Ma;Ruotian Liu;Maria Pia Fanti;Zhiwu Li","doi":"10.1109/TSMC.2024.3422925","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3422925","url":null,"abstract":"This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-31DOI: 10.1109/TSMC.2024.3408473
You Zhao;Xing He;Mingliang Zhou;Junzhi Yu;Tingwen Huang
This article investigates a fully distributed inertial neurodynamic approach for sparse recovery. The approach is based on proximal operators and inertia items. It aims to solve the $L_{1}$