{"title":"Supervisory control of quantitative Petri nets for fixed-initial-credit energy problems using a game structure","authors":"Yuling Zhang, Gaiyun Liu, Naiqi Wu, Zhiwu Li","doi":"10.1049/cth2.12638","DOIUrl":"10.1049/cth2.12638","url":null,"abstract":"<p>This work investigates quantitative supervisory control of discrete event systems modeled with Petri nets under the fixed-initial-credit energy objective. A weight function referred to as an energy function is defined on a Petri net to characterize the energy level of a transition. The proposed fixed-initial-credit energy problem aims to design a supervisor such that the energy level of a transition sequence in a supervised system is higher than 0 under a given initial energy level. The problem is eventually transformed into a two-player game between a system and a supervisor; supervisor synthesis is reduced to finding a winning strategy in the two-player game. Instead of enumerating the complete state space of the underlying Petri net, two information structures are utilized, namely the conventional basis reachability graph and the newly proposed essential marking graph, to construct two-player games based on each of them. It is shown that a winning strategy for a supervisor decoded from the game based on the basis reachability graph of the Petri net is a solution to the problem but is in general restrictive. Further, it is shown that the set of strategies for a supervisor in the game based on the essential marking graph is consistent with that from the game based on the reachability graph of a Petri net. The two developed approaches do not require an exhaustive exploration of the state space of a plant, thus achieving higher efficiency.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 8","pages":"1016-1031"},"PeriodicalIF":2.6,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12638","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140428613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Adaptive total energy shaping of a class of manipulators","authors":"M. Reza J. Harandi, Hamid D. Taghirad","doi":"10.1049/cth2.12637","DOIUrl":"10.1049/cth2.12637","url":null,"abstract":"<p>Point-to-point control of underactuated mechanical systems is a challenging problem, especially if some of the system's parameters are uncertain. A popular method to stabilize underactuated manipulators is total energy shaping, in which a new Hamiltonian function is assigned to the closed-loop system while a set of partial differential equations (PDEs) should be solved. In this study, an adaptive total energy shaping controller based on the approach called interconnection and damping assignment passivity-based control (IDA-PBC) for some underactuated robots is designed. The proposed method can overcome uncertainties in the dynamical parameters and also the parameters of the input mapping matrix under the satisfaction of the PDEs. The stability of the desired pose is ensured by the Lyapunov approach via suitable design of adaptation laws without the requirement for the persistence of excitation condition or other similar conditions. The results are applied to a 3-DOF underactuated manipulator and verified by simulations.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 8","pages":"1007-1015"},"PeriodicalIF":2.6,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12637","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140428088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Hybrid finite-time fault-tolerant consensus control of non-linear fractional order multi-agent systems based on fault detection and estimation","authors":"Mahmood Nazifi, Mahdi Pourgholi","doi":"10.1049/cth2.12627","DOIUrl":"10.1049/cth2.12627","url":null,"abstract":"<p>This paper addresses the problem of achieving finite-time fault-tolerant consensus control for a class of non-linear fractional-order multi-agent systems (NFO-MAS) using finite-time fault detection and estimation, as well as a finite-time state observer. To achieve this, a specific lemma is utilized to rewrite the high-order model of NFO-MAS as a lower-order NFO unique system. By employing new identification rules and introducing a fault estimation method, both the state variables and faults of the agents are estimated within a finite time. Subsequently, a finite-time sliding mode control law is designed based on the estimated fault and the state variables obtained from the proposed finite-time observer to achieve consensus within a finite time for the fractional-order non-linear MAS. The stability of the fault estimation, state observer, and consensus controller is proven using the finite-time Lyapunov theory. The effectiveness of the proposed approach is demonstrated through numerical simulations.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 7","pages":"921-938"},"PeriodicalIF":2.6,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12627","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139776884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A leader-follower communication protocol for motion planning in partially known environments under temporal logic specifications","authors":"Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan","doi":"10.1049/cth2.12636","DOIUrl":"10.1049/cth2.12636","url":null,"abstract":"<p>This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment. In this setting, the leader observes the environment information to satisfy its own local objective and and the follower completes its own local objective by estimating the states of the leader and communicating with the leader to update its knowledge about the environment when it is necessary, where the local objectives can be expressed in temporal logic. A verifier construction is built first to contain all possible communication protocols between the leaders and the followers. Then, a two-step synthesis procedure is proposed to capture all feasible communication protocol that satisfy the local objectives for the leader and follower, respectively. In the first step, a sub-verifier is synthesized to satisfy the objective of the follower. In the second step, based on the obtained sub-verifier, an iterative algorithm is proposed to extract communication protocols such that the objectives of the leader and follower are satisfied, respectively. A running example is provided to illustrate the proposed procedures.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 8","pages":"998-1006"},"PeriodicalIF":2.6,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12636","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139839776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exploring solar energy systems: A comparative study of optimization algorithms, MPPTs, and controllers","authors":"Aykut Fatih Güven","doi":"10.1049/cth2.12626","DOIUrl":"10.1049/cth2.12626","url":null,"abstract":"<p>This study elucidates the use of optimization algorithms to identify the controller parameters employed in adjusting the current and voltage values of loads powered by solar energy systems and battery groups. Parameters for these controllers were independently derived using a combination of ant colony optimization with Levy flight, hybrid firefly-particle swarm optimization, hybrid gravitation search algorithm-particle swarm optimization, alongside the implementation of Jaya and whale optimization algorithms. The results from each method were juxtaposed for thorough analysis. In addition, three distinct Maximum Power Point Tracker (MPPT) algorithms were employed in the system: perturbation and observation, open circuit voltage, and incremental conductance (IC). To assess the system’s adaptability to real-world conditions, it was tested against varying temperatures and sunlight levels. Moreover, potential changes in the loads were considered by varying the load. The efficacy of the controllers was examined by altering both the environment and load. The effectiveness of the controllers was examined by referring to the integral of time-weighted absolute error value. The system was simulated using MATLAB/Simulink software. This study demonstrates that the fractional-order PID controller achieves the most effective results, the Jaya algorithm provides the best controller parameters, and the IC technique exhibits the highest performance in MPPT.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 7","pages":"887-920"},"PeriodicalIF":2.6,"publicationDate":"2024-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12626","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139847078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Koopman fault-tolerant model predictive control","authors":"Mohammadhosein Bakhtiaridoust, Meysam Yadegar, Fatemeh Jahangiri","doi":"10.1049/cth2.12629","DOIUrl":"10.1049/cth2.12629","url":null,"abstract":"<p>This paper introduces a novel data-driven approach to develop a fault-tolerant model predictive controller (MPC) for non-linear systems. By adopting a Koopman operator-theoretic perspective, the proposed method leverages historical data from the system to construct a data-driven model that captures the non-linear behaviour and fault characteristics. The fault influence is addressed through an online estimation of a time-varying Koopman predictor, which allows for adjusting the MPC control law to counteract the fault effects. This estimation is performed in a higher dimensional Koopman feature space, where the dynamics behave linearly. As a result, the non-linear fault-tolerant MPC optimization problem can be replaced with a more practical and feasible linear time-varying one using the approximated Koopman predictor. Moreover, by incorporating the online update procedure, the time-varying Koopman predictor can represent the dynamics of the faulty system. Hence, the controller can adapt and compensate for the faults in real-time, integrating the fault diagnosis module in the MPC framework and eliminating the need for a separate fault detection unit. Finally, the efficacy of the proposed approach is demonstrated through case study results, which highlight the ability of the controller to mitigate faults and maintain desired system behaviour.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 7","pages":"939-950"},"PeriodicalIF":2.6,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12629","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139853022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hongjia Sha, Ju H. Park, Jun Chen, Mingbo Zhu, Chengjie Nan
{"title":"Stability analysis of discrete-time systems with a time-varying delay via improved methods","authors":"Hongjia Sha, Ju H. Park, Jun Chen, Mingbo Zhu, Chengjie Nan","doi":"10.1049/cth2.12632","DOIUrl":"10.1049/cth2.12632","url":null,"abstract":"<p>This paper is concerned with the stability analysis of discrete-time systems with a time-varying delay. The conservatism and computation burden are two important factors to evaluate a stability condition. By taking the relationship of two reciprocally convex parts into consideration, a new combined matrix-separation-based inequality is proposed that involves only a few free matrices. Moreover, an improved matrix-injection-based transformation lemma with the parameter varying within a closed interval is proposed by introducing only one free matrix. By constructing an appropriate Lyapunov–Krasovskii functional and applying the improved methods, a relaxed stability condition is consequently obtained with a small number of decision variables. Two numerical examples are given to show the merits of the proposed methods.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 7","pages":"951-959"},"PeriodicalIF":2.6,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12632","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139791958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Şükrü Ünver, Erman Selim, Enver Tatlıcıoğlu, Erkan Zergeroğlu, Musa Alcı
{"title":"Adaptive control of BLDC driven robot manipulators in task space","authors":"Şükrü Ünver, Erman Selim, Enver Tatlıcıoğlu, Erkan Zergeroğlu, Musa Alcı","doi":"10.1049/cth2.12631","DOIUrl":"10.1049/cth2.12631","url":null,"abstract":"<p>In this study, task space tracking control of robot manipulators driven by brushless DC (BLDC) motors is considered. Dynamics of actuators are taken into account and the entire electromechanical system (i.e. kinematic, dynamic, and electrical models) is assumed to include parametric/structured uncertainties. A novel adaptive controller is designed and the stability of the closed loop system is ensured via novel Lyapunov type tools. To demonstrate performance and applicability of the proposed method, a simulation study is conducted using the model of a two degree of freedom, planar robotic manipulator driven by BLDC motors.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 15","pages":"1910-1921"},"PeriodicalIF":2.2,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12631","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139860552","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interpolation of positive matrices by quantum-inspired optimal control","authors":"Chen Jiang, Yu Pan, Yi Yang, Daoyi Dong","doi":"10.1049/cth2.12625","DOIUrl":"10.1049/cth2.12625","url":null,"abstract":"<p>Interpolation of probability distributions can be formulated as an optimal transport problem. Positive matrix, which can be viewed as the generalization of probability distribution to higher dimension, is used in quantum theory to describe the state of a quantum system. Here, a quantum-inspired method for the interpolation of positive matrices is proposed. Particularly, this method employs the quantum state purification of the positive matrices in an extended space. Since pure state controllability can be easily achieved using open-loop coherent control, the continuous interpolation of positive matrices is given as a completely positive map induced by simulating the optimal control for pure state transfer. The quantum-inspired interpolation is shape-preserving with applications to tensor field processing.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 7","pages":"877-886"},"PeriodicalIF":2.6,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12625","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140480567","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fuzzy high order differentiator observer based resilient control for distributed battery energy storage systems against unbounded FDI attacks","authors":"Jianfeng Dai, Wenjian Chen, Xia Zhou","doi":"10.1049/cth2.12622","DOIUrl":"10.1049/cth2.12622","url":null,"abstract":"<p>This paper addresses the issue of frequency recovery in distributed battery energy storage systems (BESSs) and the balancing of the state of charge (SOC) after secondary control inputs have been subjected to false data injection attacks (FDI). A fuzzy high order differentiator (FHOD) observer based distributed resilient control is introduced with the aim of achieving frequency restoration and power adaptive allocation. In order to mitigate the performance degradation caused by the chattering of traditional sliding mode observers, a high order differentiator (HOD) is employed as an observer. By introducing fuzzy control logic to optimize the coefficients of the differentiator, the coefficient of the proposed differentiator is adjusted based on the tracking error, thereby reducing the transient overshoot of the observer when the attack signal changes, which approach effectively balances the response speed and observation accuracy. The simulation outcomes demonstrate that the suggested control strategy is able to mitigate the effects caused by complex and unbounded FDI attacks on the BESSs and exhibits superior transient performance compared to traditional HOD observer in response to changes in attack signal.</p>","PeriodicalId":50382,"journal":{"name":"IET Control Theory and Applications","volume":"18 16","pages":"2180-2191"},"PeriodicalIF":2.2,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/cth2.12622","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139598230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}