In this work, we study a technique of exploiting open-loop-generated trajectories for a constrained control problem, using them to shape suitable nonquadratic control Lyapunov functions (CLFs). These trajectories, generated offline, allow detecting a suitable domain of attraction (DOA) in which a candidate Lyapunov function has a negative derivative. Given suitably constructed basis functions, our working machinery is based on linear programming; hence, the technique can be applied to problems of nontrivial size in terms of the number of basis functions and points in the state space. For linear systems, we seek convex Lyapunov functions, which are homogeneous polynomials. Simulation and experimental results for drone control are given.
{"title":"LP-Generated Control Lyapunov Functions With Application to Multicopter Control","authors":"Huu-Thinh Do;Franco Blanchini;Stefano Miani;Ionela Prodan","doi":"10.1109/TCST.2024.3396704","DOIUrl":"10.1109/TCST.2024.3396704","url":null,"abstract":"In this work, we study a technique of exploiting open-loop-generated trajectories for a constrained control problem, using them to shape suitable nonquadratic control Lyapunov functions (CLFs). These trajectories, generated offline, allow detecting a suitable domain of attraction (DOA) in which a candidate Lyapunov function has a negative derivative. Given suitably constructed basis functions, our working machinery is based on linear programming; hence, the technique can be applied to problems of nontrivial size in terms of the number of basis functions and points in the state space. For linear systems, we seek convex Lyapunov functions, which are homogeneous polynomials. Simulation and experimental results for drone control are given.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 6","pages":"2090-2101"},"PeriodicalIF":4.9,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141063275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Control barrier functions (CBFs) when paired with quadratic programming (QP) offer an increasingly popular framework for control considering critical safety constraints. However, being closely related to artificial potential fields, they suffer from the classical stable spurious equilibrium point problem, in which the controller can fail to drive the system to the goal. The main contribution of this article is showing that this problem can be mitigated by introducing a circulation inequality as a constraint, which forces the system to explicitly circulate obstacles under some conditions. This circulation is introduced in the configuration space and is simple to implement once we have the CBF-constraint, adding a negligible complexity to the resulting optimization problem. Theoretical guarantees are provided for this framework, indicating, under appropriate conditions, the feasibility of the resulting optimization problem, continuity of the control input, characterization of the equilibrium points, a weak form of Lyapunov stability, and uniqueness of the equilibrium points. The provided experimental studies showcase the overall properties and applicability in different scenarios.
{"title":"Control Barrier Functions With Circulation Inequalities","authors":"Vinicius Mariano Gonçalves;Prashanth Krishnamurthy;Anthony Tzes;Farshad Khorrami","doi":"10.1109/TCST.2024.3372802","DOIUrl":"10.1109/TCST.2024.3372802","url":null,"abstract":"Control barrier functions (CBFs) when paired with quadratic programming (QP) offer an increasingly popular framework for control considering critical safety constraints. However, being closely related to artificial potential fields, they suffer from the classical stable spurious equilibrium point problem, in which the controller can fail to drive the system to the goal. The main contribution of this article is showing that this problem can be mitigated by introducing a circulation inequality as a constraint, which forces the system to explicitly circulate obstacles under some conditions. This circulation is introduced in the configuration space and is simple to implement once we have the CBF-constraint, adding a negligible complexity to the resulting optimization problem. Theoretical guarantees are provided for this framework, indicating, under appropriate conditions, the feasibility of the resulting optimization problem, continuity of the control input, characterization of the equilibrium points, a weak form of Lyapunov stability, and uniqueness of the equilibrium points. The provided experimental studies showcase the overall properties and applicability in different scenarios.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 4","pages":"1426-1441"},"PeriodicalIF":4.9,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140150950","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-13DOI: 10.1109/TCST.2024.3395722
Xuze Liu;Abbas Fotouhi;Marco Cecotti;Daniel Auger
This article presents a new method to describe the aerodynamics slipstreaming effect on the downstream car. This new approach can be implemented in lap time simulations (LTSs) and used to study the optimal trajectory of a downstream car operating in the wake of an upstream car. Two different scenarios are investigated using this method. In the energy-saving scenario for electric racing cars, the result shows the optimal strategy varies depending on the upstream car’s pace and the initial gap between the two cars. Chasing to stay in the wake is less effective when the initial gap is relatively big. In the overtaking scenario on an oval track, it is shown that the wake of the upstream car benefits the downstream car’s acceleration but, meanwhile, reduces the lateral performance limit of the downstream car due to downforce loss. In order to maintain a competitive performance, it is essential for the downstream car to choose an alternative racing line to drive outside the wake when braking and passing through a corner.
{"title":"Optimal Control of Race Car With Aerodynamic Slipstreaming Effect","authors":"Xuze Liu;Abbas Fotouhi;Marco Cecotti;Daniel Auger","doi":"10.1109/TCST.2024.3395722","DOIUrl":"10.1109/TCST.2024.3395722","url":null,"abstract":"This article presents a new method to describe the aerodynamics slipstreaming effect on the downstream car. This new approach can be implemented in lap time simulations (LTSs) and used to study the optimal trajectory of a downstream car operating in the wake of an upstream car. Two different scenarios are investigated using this method. In the energy-saving scenario for electric racing cars, the result shows the optimal strategy varies depending on the upstream car’s pace and the initial gap between the two cars. Chasing to stay in the wake is less effective when the initial gap is relatively big. In the overtaking scenario on an oval track, it is shown that the wake of the upstream car benefits the downstream car’s acceleration but, meanwhile, reduces the lateral performance limit of the downstream car due to downforce loss. In order to maintain a competitive performance, it is essential for the downstream car to choose an alternative racing line to drive outside the wake when braking and passing through a corner.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 6","pages":"2136-2148"},"PeriodicalIF":4.9,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140933311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-13DOI: 10.1109/TCST.2024.3374152
Changyu Lee;Quoc Van Tran;Jinwhan Kim
This brief presents a cascade tube-based model predictive control (CTMPC) approach for safe ship berthing in the presence of unknown and bounded disturbances. The nonlinear dynamic model of a ship moving at low speeds is decomposed into a linear time-invariant (LTI) model for the surge system and a linear parameter-varying (LPV) model for the sway-yaw system, where the surge velocity is a scheduling parameter. The tube-based model predictive control (MPC) problems of these models are solved using the proposed CTMPC approach. The robust positively invariant (RPI) sets of the two subsystems and the geometry of the predefined separation area around the ship are considered to calculate the safe region of the ship under bounded disturbances. The proposed control architecture is shown to be both recursively feasible and stable, and simulation results are presented to verify its practical effectiveness.
{"title":"Safety-Guaranteed Ship Berthing Using Cascade Tube-Based Model Predictive Control","authors":"Changyu Lee;Quoc Van Tran;Jinwhan Kim","doi":"10.1109/TCST.2024.3374152","DOIUrl":"10.1109/TCST.2024.3374152","url":null,"abstract":"This brief presents a cascade tube-based model predictive control (CTMPC) approach for safe ship berthing in the presence of unknown and bounded disturbances. The nonlinear dynamic model of a ship moving at low speeds is decomposed into a linear time-invariant (LTI) model for the surge system and a linear parameter-varying (LPV) model for the sway-yaw system, where the surge velocity is a scheduling parameter. The tube-based model predictive control (MPC) problems of these models are solved using the proposed CTMPC approach. The robust positively invariant (RPI) sets of the two subsystems and the geometry of the predefined separation area around the ship are considered to calculate the safe region of the ship under bounded disturbances. The proposed control architecture is shown to be both recursively feasible and stable, and simulation results are presented to verify its practical effectiveness.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 4","pages":"1504-1511"},"PeriodicalIF":4.9,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140129101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-12DOI: 10.1109/TCST.2024.3370908
Qian Xiao;Lincheng Li;Jingrui Zhang;Ming Xu
This brief is devoted to the power-constrained low-thrust optimal control problem (OCP). First, a general model for a class of power constraints is proposed by defining a piecewise smooth function, which describes the discontinuities of the control system. Subsequently, a recursive smoothing function is proposed to smooth the generalized discontinuous terms leading to a family of smooth OCPs, whose solutions converge to the solution of the discontinuous power-constrained OCP. The distinguished feature is that the variations of the control bound, caused by the power constraints, are embedded into the smoothing function, and are retrieved gradually. Consequently, the constrained and unconstrained OCPs are seamlessly connected, allowing an easy start and convergence improvement of the continuation. Moreover, a homotopy is constructed to guarantee a smooth connection, providing a differential homotopy path-tracking process. Finally, by comparing with the existing methods, typical scenarios are simulated to demonstrate the convergence improvement and efficiency of the proposed generic homotopic smoothing method.
{"title":"Generic Homotopic Smoothing for Low-Thrust Optimal Control Problems With Power Constraints","authors":"Qian Xiao;Lincheng Li;Jingrui Zhang;Ming Xu","doi":"10.1109/TCST.2024.3370908","DOIUrl":"10.1109/TCST.2024.3370908","url":null,"abstract":"This brief is devoted to the power-constrained low-thrust optimal control problem (OCP). First, a general model for a class of power constraints is proposed by defining a piecewise smooth function, which describes the discontinuities of the control system. Subsequently, a recursive smoothing function is proposed to smooth the generalized discontinuous terms leading to a family of smooth OCPs, whose solutions converge to the solution of the discontinuous power-constrained OCP. The distinguished feature is that the variations of the control bound, caused by the power constraints, are embedded into the smoothing function, and are retrieved gradually. Consequently, the constrained and unconstrained OCPs are seamlessly connected, allowing an easy start and convergence improvement of the continuation. Moreover, a homotopy is constructed to guarantee a smooth connection, providing a differential homotopy path-tracking process. Finally, by comparing with the existing methods, typical scenarios are simulated to demonstrate the convergence improvement and efficiency of the proposed generic homotopic smoothing method.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 4","pages":"1487-1494"},"PeriodicalIF":4.9,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140116579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-12DOI: 10.1109/TCST.2024.3371620
Defeng He;Jie Luo;Haiping Du
This work addresses the issue of optimizing energy consumption and coordination of heterogeneous electric vehicle (EV) platoons. To achieve this, we propose a novel approach called dynamic negotiation (DN)-based distributed economic model predictive control (DEMPC) for the platoon. This method is tailored to the heterogeneous characteristics and coordination requirements of EVs, dynamically optimizing consensus speed trajectories through online negotiation of a multiobjective utopia point. Considering factors such as electricity consumption and travel time, the optimization yields an optimal accessible speed for the platoon. To ensure the EVs cooperatively follow the optimal accessible speed while minimizing their self-interested economical cost (i.e., energy savings), we design the local EMPC of each EV, incorporating contractive constraints. The simulation results demonstrate the advantages of the proposed method in electricity savings and battery lifespan extension.
{"title":"Dynamic Negotiation-Based Distributed EMPC With Varying Consensus Speeds of Heterogeneous Electric Vehicle Platoons","authors":"Defeng He;Jie Luo;Haiping Du","doi":"10.1109/TCST.2024.3371620","DOIUrl":"10.1109/TCST.2024.3371620","url":null,"abstract":"This work addresses the issue of optimizing energy consumption and coordination of heterogeneous electric vehicle (EV) platoons. To achieve this, we propose a novel approach called dynamic negotiation (DN)-based distributed economic model predictive control (DEMPC) for the platoon. This method is tailored to the heterogeneous characteristics and coordination requirements of EVs, dynamically optimizing consensus speed trajectories through online negotiation of a multiobjective utopia point. Considering factors such as electricity consumption and travel time, the optimization yields an optimal accessible speed for the platoon. To ensure the EVs cooperatively follow the optimal accessible speed while minimizing their self-interested economical cost (i.e., energy savings), we design the local EMPC of each EV, incorporating contractive constraints. The simulation results demonstrate the advantages of the proposed method in electricity savings and battery lifespan extension.","PeriodicalId":13103,"journal":{"name":"IEEE Transactions on Control Systems Technology","volume":"32 4","pages":"1495-1503"},"PeriodicalIF":4.9,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140116542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-12DOI: 10.1109/TCST.2024.3372308
Albertus Johannes Malan;Pol Jané-Soneira;Felix Strehle;Sören Hohmann
In this article, we propose a novel four-stage distributed controller for a dc microgrid that achieves proportional power sharing and average voltage regulation for the voltages at actuated and unactuated buses. The controller is presented for a dc microgrid comprising multiple distributed generation units (DGUs) with time-varying actuation states, dynamic $RLC$