Nishanth Venkatesh , Aditya Dave , Ioannis Faros , Andreas A. Malikopoulos
{"title":"Stochastic control with distributionally robust constraints for cyber–physical systems vulnerable to attacks","authors":"Nishanth Venkatesh , Aditya Dave , Ioannis Faros , Andreas A. Malikopoulos","doi":"10.1016/j.ejcon.2024.101044","DOIUrl":"10.1016/j.ejcon.2024.101044","url":null,"abstract":"<div><div>In this paper, we investigate the control of a cyber–physical system (CPS) while accounting for its vulnerability to external attacks. We formulate a constrained stochastic problem with a robust constraint to ensure robust operation against potential attacks. We seek to minimize the expected cost subject to a constraint limiting the worst-case expected damage an attacker can impose on the CPS. We present a dynamic programming decomposition to compute the optimal control strategy in this robust-constrained formulation and prove its recursive feasibility. We also illustrate the utility of our results by applying them to a numerical simulation.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101044"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141530176","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}
Andrea Martin , Luca Furieri , Florian Dörfler , John Lygeros , Giancarlo Ferrari-Trecate
{"title":"Regret optimal control for uncertain stochastic systems","authors":"Andrea Martin , Luca Furieri , Florian Dörfler , John Lygeros , Giancarlo Ferrari-Trecate","doi":"10.1016/j.ejcon.2024.101051","DOIUrl":"10.1016/j.ejcon.2024.101051","url":null,"abstract":"<div><div>We consider control of uncertain linear time-varying stochastic systems from the perspective of regret minimization. Specifically, we focus on the problem of designing a feedback controller that minimizes the loss relative to a clairvoyant optimal policy that has foreknowledge of both the system dynamics and the exogenous disturbances. In this competitive framework, establishing robustness guarantees proves challenging as, differently from the case where the model is known, the clairvoyant optimal policy is not only inapplicable, but also impossible to compute without knowledge of the system parameters. To address this challenge, we embrace a scenario optimization approach, and we propose minimizing regret robustly over a finite set of randomly sampled system parameters. We prove that this policy optimization problem can be solved through semidefinite programming, and that the corresponding solution retains strong probabilistic out-of-sample regret guarantees in face of the uncertain dynamics. Our method naturally extends to include satisfaction of safety constraints with high probability. We validate our theoretical results and showcase the potential of our approach by means of numerical simulations.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101051"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141578081","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}
M. Batu Özmeteler , Deborah Bilgic , Guanru Pan , Alexander Koch , Timm Faulwasser
{"title":"Data-driven uncertainty propagation for stochastic predictive control of multi-energy systems","authors":"M. Batu Özmeteler , Deborah Bilgic , Guanru Pan , Alexander Koch , Timm Faulwasser","doi":"10.1016/j.ejcon.2024.101066","DOIUrl":"10.1016/j.ejcon.2024.101066","url":null,"abstract":"<div><div>Stochastic predictive control schemes that account for epistemic and aleatoric uncertainties, i.e. lack of model knowledge and stochastic disturbances, are of major interest for multi-energy systems. However, there exists a trade-off between model complexity, computational effort, and accuracy of uncertainty quantification. This paper attempts to assess this trade-off by comparing a recently proposed approach combining Willems’ fundamental lemma with polynomial chaos expansion to a model-based scheme that first propagates uncertainty with PCE and then considers chance constraints in the optimization. The simulation results show that the data-driven scheme yields similar performance and computational efficiency compared to the model-based scheme, with the advantage of avoiding the construction of explicit models.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101066"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141722045","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}
A. Pierron , J. Kreiss , M. Jungers , G. Millérioux , J. Dupont , M. Martig
{"title":"Uniform ultimate boundedness analysis for linear systems with asymmetric input backlash and dead-zone: A piecewise quadratic Lyapunov function approach","authors":"A. Pierron , J. Kreiss , M. Jungers , G. Millérioux , J. Dupont , M. Martig","doi":"10.1016/j.ejcon.2024.101059","DOIUrl":"10.1016/j.ejcon.2024.101059","url":null,"abstract":"<div><div>This paper deals with the interconnection between a linear system and a nonlinear operator consisting of asymmetric input backlash and asymmetric dead-zone. The uniform ultimate boundedness of the system is studied. A piecewise quadratic Lyapunov function, suitable with the polyhedral description of the nonlinear operator is proposed. The conservatism of existing results is therefore reduced. The effectiveness and improvement of the results are assessed using a numerical example.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101059"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141398824","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}
Tomas L. de Oliveira , Pieter van Goor , Tarek Hamel , Robert Mahony , Claude Samson
{"title":"Pitot tube measure-aided air velocity and attitude estimation in GNSS denied environment","authors":"Tomas L. de Oliveira , Pieter van Goor , Tarek Hamel , Robert Mahony , Claude Samson","doi":"10.1016/j.ejcon.2024.101070","DOIUrl":"10.1016/j.ejcon.2024.101070","url":null,"abstract":"<div><div><span>This paper addresses the problem of estimating air velocity and gravity direction for small autonomous fixed-wing drones in GNSS</span><span><span><sup>1</sup></span></span><span>-denied environments. The proposed solution uses a minimal sensor suite, relying on Pitot tube<span> measurements and Inertial Measurement Unit (IMU) signals, including only gyrometers and accelerometers. The approach combines the Riccati observer and Equivariant Filter designs, using an over-parametrization technique to design an observer on </span></span><span><math><mrow><mi>SO</mi><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow><mo>×</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></mrow></math></span> and subsequently re-project to <span><math><mrow><msup><mrow><mi>S</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>×</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></mrow></math></span> to estimate the gravity direction. The system’s observability is analyzed, and local exponential stability of the origin of the observer error is demonstrated as long as the aircraft attitude is persistently exciting. The observer was evaluated using simulated and real flight data to showcase the estimator’s performance.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101070"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141414196","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":"Special Issue on the 2024 European Control Conference","authors":"Thomas Parisini (Editor-in-Chief EJC)","doi":"10.1016/j.ejcon.2024.101123","DOIUrl":"10.1016/j.ejcon.2024.101123","url":null,"abstract":"","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101123"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142664032","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}
Luca Claude Gino Lebon , Francesco Lo Iudice , Claudio Altafini
{"title":"On controllability of temporal networks","authors":"Luca Claude Gino Lebon , Francesco Lo Iudice , Claudio Altafini","doi":"10.1016/j.ejcon.2024.101046","DOIUrl":"10.1016/j.ejcon.2024.101046","url":null,"abstract":"<div><div>Temporality has been recently identified as a useful feature to exploit when controlling a complex network. Empirical evidence has in fact shown that, with respect to their static counterparts, temporal networks (i) are often endowed with larger reachable sets and (ii) require less control energy when steered towards an arbitrary target state. However, to date, we lack conditions guaranteeing that the dimension of the controllable subspace of a temporal network is larger than that of its static counterpart. In this work, we consider the case in which a static network is input connected but not controllable. We show that when the structure of the graph underlying the temporal network remains the same throughout each temporal snapshot while the (nonvanishing) edge weights vary, then the temporal network will be completely controllable almost always, even when its static counterpart is not. An upper bound on the number of snapshots needed to achieve controllability is also provided.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101046"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510765","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":"Data-driven reduced-order unknown-input observers","authors":"Giorgia Disarò, Maria Elena Valcher","doi":"10.1016/j.ejcon.2024.101034","DOIUrl":"10.1016/j.ejcon.2024.101034","url":null,"abstract":"<div><div>In this paper we propose a data-driven approach to the design of reduced-order unknown-input observers (rUIOs). We first recall the model-based solution, by assuming a problem set-up slightly different from those traditionally adopted in the literature, in order to be able to easily adapt it to the data-driven scenario. Necessary and sufficient conditions for the existence of a reduced-order unknown-input observer, whose matrices can be derived from a sufficiently rich set of collected historical data, are first derived and then proved to be equivalent to the ones obtained in the model-based framework. Finally, a numerical example is presented, to validate the effectiveness of the proposed scheme.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101034"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510766","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}
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}