C. Menelaou, S. Timotheou, P. Kolios, C.G. Panayiotou
{"title":"Efficient demand management for the on-time arrival problem: A convexified multi-objective approach assuming macroscopic traffic dynamics","authors":"C. Menelaou, S. Timotheou, P. Kolios, C.G. Panayiotou","doi":"10.1016/j.ejcon.2024.101057","DOIUrl":"10.1016/j.ejcon.2024.101057","url":null,"abstract":"<div><div>This work proposes a novel solution approach to address the On-Time Arrival (OTA) problem, considering macroscopic traffic dynamics. In this context, all drivers who intend to use the road infrastructure are required to communicate their origin–destination pair and desired arrival time to a central scheduler prior to starting their trip. In response, the scheduler assigns a departure time and a multi-regional route to each driver to make possible their on-time arrival at the destination. The OTA problem is formulated as a nonconvex, nonlinear, multi-objective optimization problem considering two objective criteria. The first criterion aims at minimizing the travel time of all drivers in the network to prevent congestion, while the second criterion seeks to minimize the discrepancy between the desired and actual arrival time. The proposed formulation is solved efficiently through an approximated convex solution<span> that leverages the Normal Boundary Intersection (NBI) method to efficiently generate a representative sample of the Pareto Front. Additionally, two solution methodologies based on “knee” solution and the Nash Bargaining Game is proposed which can be used to select a unique solution across all the Pareto points, that offers a reasonable trade-off between the two objective criteria. Finally, simulation results demonstrate that the proposed solution can significantly reduce congestion while ensuring that most drivers will arrive at their destination on their desired time.</span></div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101057"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Gauss–Newton Runge–Kutta integration for efficient discretization of optimal control problems with long horizons and least-squares costs","authors":"Jonathan Frey , Katrin Baumgärtner , Moritz Diehl","doi":"10.1016/j.ejcon.2024.101038","DOIUrl":"10.1016/j.ejcon.2024.101038","url":null,"abstract":"<div><div>This work proposes an efficient treatment of continuous-time optimal control problems with long horizons and nonlinear least-squares costs. In particular, we present the Gauss–Newton Runge–Kutta (GNRK) integrator which provides a high-order cost integration. Crucially, the Hessian of the cost terms required within an SQP-type algorithm is approximated with a Gauss–Newton Hessian. Moreover, <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> penalty formulations for constraints are shown to be particularly effective for optimization with GNRK. An efficient implementation of GNRK is provided in the open-source software framework <span>acados</span>. We demonstrate the effectiveness of the proposed approach and its implementation on an illustrative example showing a reduction of relative suboptimality by a factor greater than 10 while increasing the runtime by only 10%.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101038"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On ℓ2-performance of weakly-hard real-time control systems","authors":"Marc Seidel, Simon Lang, Frank Allgöwer","doi":"10.1016/j.ejcon.2024.101056","DOIUrl":"10.1016/j.ejcon.2024.101056","url":null,"abstract":"<div><div>This paper considers control systems with failures in the feedback channel, that occasionally lead to loss of the control input signal. A useful approach for modeling such failures is to consider window-based constraints on possible loss sequences, for example that at least <span><math><mi>r</mi></math></span> control attempts in every window of <span><math><mi>s</mi></math></span> are successful. A powerful framework to model such constraints are weakly-hard real-time constraints. Various approaches for stability analysis and the synthesis of stabilizing controllers for such systems have been presented in the past. However, existing results are mostly limited to asymptotic stability and rarely consider performance measures such as the resulting <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-gain. To address this problem, we adapt a switched system description where the switching sequence is constrained by a graph that captures the loss information. We present an approach for <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-performance analysis involving linear matrix inequalities (LMI). Further, leveraging a system lifting method, we propose an LMI-based approach for synthesizing state-feedback controllers with guaranteed <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-performance. The results are illustrated by a numerical example.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101056"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141530138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Xiao Tan , Antonis Papachristodoulou , Dimos V. Dimarogonas
{"title":"A contract negotiation scheme for safety verification of interconnected systems","authors":"Xiao Tan , Antonis Papachristodoulou , Dimos V. Dimarogonas","doi":"10.1016/j.ejcon.2024.101053","DOIUrl":"10.1016/j.ejcon.2024.101053","url":null,"abstract":"<div><div>This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101053"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hannah Häring , Dennis Gramlich , Christian Ebenbauer , Carsten W. Scherer
{"title":"Trajectory generation for the unicycle model using semidefinite relaxations","authors":"Hannah Häring , Dennis Gramlich , Christian Ebenbauer , Carsten W. Scherer","doi":"10.1016/j.ejcon.2024.101063","DOIUrl":"10.1016/j.ejcon.2024.101063","url":null,"abstract":"<div><div>We develop a convex relaxation for the minimum energy control problem of the well-known unicycle model in the form of a semidefinite program. Through polynomialization techniques, the infinite-dimensional optimal control problem is first reformulated as a non-convex, infinite-dimensional quadratic program which can be viewed as a trajectory generation problem. This problem is then discretized to arrive at a finite-dimensional, albeit, non-convex quadratically constrained quadratic program. By applying the moment relaxation method to this quadratic program, we obtain a hierarchy of semidefinite relaxations. We construct an approximate solution for the infinite-dimensional trajectory generation problem by solving the first- or second-order moment relaxation. A comprehensive simulation study provided in this paper suggests that the second-order moment relaxation is lossless.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101063"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Xiaobing Dai , Zewen Yang , Mengtian Xu , Sihua Zhang , Fangzhou Liu , Georges Hattab , Sandra Hirche
{"title":"Decentralized event-triggered online learning for safe consensus control of multi-agent systems with Gaussian process regression","authors":"Xiaobing Dai , Zewen Yang , Mengtian Xu , Sihua Zhang , Fangzhou Liu , Georges Hattab , Sandra Hirche","doi":"10.1016/j.ejcon.2024.101058","DOIUrl":"10.1016/j.ejcon.2024.101058","url":null,"abstract":"<div><div><span><span>Consensus control in multi-agent systems has received significant attention and practical implementation across various domains. However, managing consensus control under unknown dynamics remains a significant challenge for control design due to system uncertainties and environmental disturbances. This paper presents a novel learning-based distributed control law augmented by </span>auxiliary dynamics. </span>Gaussian<span> processes are harnessed to compensate for the unknown components of the multi-agent system. For continuous enhancement in the predictive performance of the Gaussian process model, a data-efficient online learning strategy with a decentralized event-triggered mechanism is proposed. Furthermore, the control performance of the proposed approach is ensured via the Lyapunov theory, based on a probabilistic guarantee for prediction error bounds. To demonstrate the efficacy of the proposed learning-based controller, a comparative analysis is conducted, contrasting it with both conventional distributed control laws and offline learning methodologies.</span></div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101058"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141408948","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jiayuan Liang , Yanwei Zang , Wenbiao Zhang , Chaohui Gong , Lachlan L.H. Andrew , Hanran Zhang , Weilin Wang
{"title":"Supervisory control under delayed observations of events and states","authors":"Jiayuan Liang , Yanwei Zang , Wenbiao Zhang , Chaohui Gong , Lachlan L.H. Andrew , Hanran Zhang , Weilin Wang","doi":"10.1016/j.ejcon.2024.101069","DOIUrl":"10.1016/j.ejcon.2024.101069","url":null,"abstract":"<div><div>In discrete event systems, it is often convenient and possible to observe directly whether or not the system is in a subset of the state space, typically after some delay, even if some event occurrences leading to the current state were not observed. We model supervisory control with the delayed observations of events and states and investigate the existence of a supervisor to obtain a given desired language accordingly. An existence verifier with polynomial run time is presented.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101069"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141717638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Riya Mathew , Juan G. Rueda-Escobedo , Johannes Schiffer
{"title":"Robust design of phase-locked loops in grid-connected power converters","authors":"Riya Mathew , Juan G. Rueda-Escobedo , Johannes Schiffer","doi":"10.1016/j.ejcon.2024.101055","DOIUrl":"10.1016/j.ejcon.2024.101055","url":null,"abstract":"<div><div>Phase-locked loop (PLL) algorithms are key elements for the successful integration of converter-interfaced renewable energy sources to the grid. Their main task is to estimate the phase angle of the terminal grid voltage with the aim to keep the converter output current synchronized to it. Yet, due to the increasing penetration of power-electronics-interfaced devices in power systems, the grid voltage signal becomes increasingly disturbed, making the reliable phase estimation a highly demanding task. To address this challenge, we present a robust design method based on matrix inequalities to tune the PLL gains, such that the estimation errors remain bounded in the presence of additive disturbances. Our design approach is formulated as a set of bilinear matrix inequalities (BMIs), which we then propose to solve using the P-K iteration method. This results in a convex problem to be solved at each step. Finally, the benefits of the proposed robust design are illustrated via a numerical example.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101055"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Christoforos N. Hadjicostis , Alejandro D. Domínguez-García
{"title":"Invariant properties of linear-iterative distributed averaging algorithms and application to error detection","authors":"Christoforos N. Hadjicostis , Alejandro D. Domínguez-García","doi":"10.1016/j.ejcon.2024.101035","DOIUrl":"10.1016/j.ejcon.2024.101035","url":null,"abstract":"<div><div>We consider the problem of average consensus in a distributed system comprising a set of nodes that can exchange information among themselves. We focus on a class of algorithms for solving such a problem whereby each node maintains a state and updates it iteratively as a linear combination of the states maintained by its in-neighbors, i.e., nodes from which it receives information directly. Averaging algorithms within this class can be thought of as discrete-time linear time-varying systems without external driving inputs and whose state matrix is column stochastic. As a result, the algorithms exhibit a global invariance property in that the sum of the state variables remains constant at all times. In this paper, we report on another invariance property for the aforementioned class of averaging algorithms. This property is local to each node and reflects the conservation of certain quantities capturing an aggregate of all the values received by a node from its in-neighbors and all the values sent by said node to its out-neighbors (i.e., nodes to which it sends information directly) throughout the execution of the averaging algorithm. We show how this newly-discovered invariant can be leveraged for detecting errors while executing the averaging algorithm.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101035"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the kite-platform interactions in offshore Airborne Wind Energy Systems: Frequency analysis and control approach","authors":"Sofia Trombini , Edoardo Pasta , Lorenzo Fagiano","doi":"10.1016/j.ejcon.2024.101065","DOIUrl":"10.1016/j.ejcon.2024.101065","url":null,"abstract":"<div><div>This study investigates deep offshore, pumping Airborne Wind Energy systems, focusing on the kite-platform interaction. The considered system includes a 360 m<span><math><msup><mrow></mrow><mrow><mn>2</mn></mrow></msup></math></span> soft-wing kite, connected by a tether to a winch installed on a 10-meter-deep spar with four mooring lines. Wind power is converted into electricity with a feedback controlled periodic trajectory of the kite and corresponding reeling motion of the tether. An analysis of the mutual influence between the platform and the kite dynamics, with different wave regimes, reveals a rather small sensitivity of the flight pattern to the platform oscillations; on the other hand, the frequency of tether force oscillations can be close to the platform resonance peaks, resulting in possible increased fatigue loads and damage of the floating and submerged components. A control design procedure is then proposed to avoid this problem, acting on the kite path planner. Simulation results confirm the effectiveness of the approach.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101065"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}