{"title":"Guaranteed Privacy-Preserving H∞-Optimal Interval Observer Design for Nonlinear Discrete-Time Systems","authors":"Mohammad Khajenejad","doi":"10.1109/LCSYS.2025.3580783","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580783","url":null,"abstract":"We propose a novel guaranteed privacy-preserving (GP) interval observer design for perturbed nonlinear discrete-time bounded-error systems. Unlike stochastic differential privacy, guaranteed privacy offers strict bounds on the proximity between the ranges of two sets of estimated data. Our approach relies on synthesizing an interval observer for a perturbed nonlinear bounded-error system. The design procedure incorporates a bounded noise perturbation factor computation and observer gains synthesis based on solving tractable semi-definite programs. Consequently, the observer simultaneously provides GP and stable interval-valued estimates for the desired variable. We demonstrate the optimality of our design by minimizing the <inline-formula> <tex-math>${mathcal {H}}_{infty }$ </tex-math></inline-formula> norm of the observer error system. Further, we assess the accuracy of our proposed mechanism by quantifying the loss incurred when considering GP specifications. Simulations illustrate the outperformance of the proposed approach to differential privacy.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1453-1458"},"PeriodicalIF":2.4,"publicationDate":"2025-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144606202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Resilient Consensus in Open Multi-Agent Systems","authors":"Yuanyi Tang;Yuezu Lv;Jialing Zhou;Maciej Ogorzałek","doi":"10.1109/LCSYS.2025.3580518","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580518","url":null,"abstract":"The advancements in resilient consensus research largely relied on the assumption of a time-invariant agent set, limiting their applicability in dynamic environments. This letter extends the resilient consensus problem to a more dynamic setting by incorporating agent arrivals and departures, modeling an open multi-agent system. To ensure resilient consensus in such systems, we propose a novel algorithm that separately designs update schemes for cooperative remaining agents and newly joining agents. Furthermore, we establish and analyze the sufficient condition for resilient consensus under malicious attacks in open multi-agent systems. Numerical examples are provided to validate the effectiveness of our theoretical findings.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1261-1266"},"PeriodicalIF":2.4,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144581741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lucas A. L. Oliveira;Kevin Guelton;Koffi M. D. Motchon;Valter J. S. Leite
{"title":"Sampled-Data Control of LPV Systems With Magnitude and Rate Saturating Actuators","authors":"Lucas A. L. Oliveira;Kevin Guelton;Koffi M. D. Motchon;Valter J. S. Leite","doi":"10.1109/LCSYS.2025.3580489","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580489","url":null,"abstract":"This letter presents the parameter-dependent aperiodic sampled-data state feedback controller design for linear parameter varying (LPV) systems with actuators subject to magnitude and rate saturation, using Linear Matrix Inequalities (LMIs). The proposed method integrates the looped-functional approach and a parameter-dependent generalized sector condition. The local stabilization is verified through a new definite negativeness lemma for second-order matrix polynomials. The proposed conditions can be simplified to recover a robust controller design whenever the time-varying parameter is unavailable. Two numerical examples demonstrate the effectiveness of the proposed method, highlighting less conservative stability conditions compared to existing approaches.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1165-1170"},"PeriodicalIF":2.4,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11037951","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144589366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Finite-Sample Bound for Identifying Partially Observed Linear Switched Systems From a Single Trajectory","authors":"Dániel Rácz;Mihály Petreczky;Bálint Daróczy","doi":"10.1109/LCSYS.2025.3580519","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580519","url":null,"abstract":"We derive a finite-sample probabilistic bound on the parameter estimation error of a system identification algorithm for Linear Switched Systems. The algorithm estimates Markov parameters from a single trajectory and applies a variant of the Ho-Kalman algorithm to recover the system matrices. Our bound guarantees statistical consistency under the assumption that the true system exhibits quadratic stability. The proof leverages the theory of weakly dependent processes. To the best of our knowledge, this is the first finite-sample bound for this algorithm in the single-trajectory setting.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1790-1795"},"PeriodicalIF":2.4,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11038920","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144671282","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dayse M. Cavalcanti;Publio M. M. Lima;Max H. de Queiroz;Felipe G. Cabral
{"title":"Recovery of Discrete Event Systems After Active Cyberattacks","authors":"Dayse M. Cavalcanti;Publio M. M. Lima;Max H. de Queiroz;Felipe G. Cabral","doi":"10.1109/LCSYS.2025.3580455","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580455","url":null,"abstract":"In active cyberattacks, an intruder can alter the nominal system behavior to cause damage to devices and/or users. Although many works in the literature propose techniques to mitigate active attacks from the perspective of the discrete event supervisory control system, there is limited discussion on the recovery of the system’s nominal behavior after an attack is detected and isolated by a cyberdefense mechanism. In this letter, we formulate a recovery structure and define a recoverability property, based on which we propose a method for the synthesis of a nonblocking supervisory control that drives the discrete event system from a state estimate after an extinguished attack back to its nominal closed-loop behavior in a finite number of observations while avoiding unsafe states.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1171-1176"},"PeriodicalIF":2.4,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144589415","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Igor Novais;Matheus Marinatto;Fernando Lizarralde;Alessandro Jacoud Peixoto
{"title":"Hard Prioritization Control Allocation: Dealing With the Priority Inversion Phenomenon","authors":"Igor Novais;Matheus Marinatto;Fernando Lizarralde;Alessandro Jacoud Peixoto","doi":"10.1109/LCSYS.2025.3580493","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580493","url":null,"abstract":"This letter proposes the novel hard prioritization control allocation algorithm for systems with task priorities based on a recursive feasible region intersection algorithm that guarantees strict task priority. Hard prioritization addresses the key limitation of the priority inversion phenomenon that arises in a well-known class of task prioritization methods, referred to as soft prioritization algorithms. The worst-case computational cost is shown to be linear with respect to the number of tasks for a generic case. Furthermore, soft and hard prioritization approaches are evaluated through a case study of velocity closed-loop control of an underwater vehicle, demonstrating that correcting the priority inversion phenomenon could improve the transient performance of the primary task.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1429-1434"},"PeriodicalIF":2.4,"publicationDate":"2025-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144606208","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Juan Pablo Arango;Lucien Etienne;Eric Duviella;Kokou Langueh;Pablo Segovia;Vicenç Puig
{"title":"A Novel Unknown Input Observer Design for Nonlinear LPV Systems","authors":"Juan Pablo Arango;Lucien Etienne;Eric Duviella;Kokou Langueh;Pablo Segovia;Vicenç Puig","doi":"10.1109/LCSYS.2025.3580325","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580325","url":null,"abstract":"This letter presents the design of an unknown input observer (UIO) for linear parameter-varying (LPV) systems, including nonlinearities that are assumed to fulfill one-sided Lipschitz quadratically inner-bounded (OSL-QIB) conditions. The proposed approach introduces a novel extension of conventional LPV frameworks by directly incorporating nonlinear terms, aiming to improve observer performance and reduce the modeling errors typically introduced during the transformation of a nonlinear system into its LPV counterpart. A key contribution of this letter is the development of a UIO design that avoids the state transformation step, which is often highly complex and only valid under restrictive assumptions such as a constant unknown input matrix D. By eliminating this constraint, the proposed observer design significantly enhances scalability and applicability to a broader class of systems. The performance and effectiveness of the approach are demonstrated through both a numerical example and a well-established open-channel flow benchmark: the Corning channel in California, USA.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1658-1663"},"PeriodicalIF":2.4,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144634776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Eirik L. Foseid;Henrik M. Schmidt-Didlaukies;Erlend A. Basso;Kristin Y. Pettersen;Jan Tommy Gravdahl
{"title":"Line-of-Sight Guidance: Learning to Look Ahead in Three Dimensions","authors":"Eirik L. Foseid;Henrik M. Schmidt-Didlaukies;Erlend A. Basso;Kristin Y. Pettersen;Jan Tommy Gravdahl","doi":"10.1109/LCSYS.2025.3579758","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3579758","url":null,"abstract":"This letter investigates line-of-sight (LOS) guidance algorithms for three-dimensional path-following. We prove that a spatial LOS guidance algorithm ensures input-to-state stability (ISS) of the closed-loop system with respect to the lateral velocity. Building on this theoretical foundation, we propose an enhanced LOS algorithm where the lookahead distance is parameterized using a neural network. This approach optimizes performance based on vehicle states and local path characteristics, which serve as inputs to the neural network, while preserving the stability guarantees. The effectiveness of our proposed method is validated through a simulation study using a high-fidelity six degree-of-freedom model of an autonomous underwater vehicle (AUV), demonstrating improved path-following performance while maintaining the stability guarantees of the original approach.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1387-1392"},"PeriodicalIF":2.4,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144606255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Estimator-Based Encoder-Decoder for Reducing Communications Demands in Event-Triggered Networked Control Systems","authors":"Andrés Villamil;Jonathan Casas;Gerhard Fettweis","doi":"10.1109/LCSYS.2025.3580348","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580348","url":null,"abstract":"Wireless networks are vital for implementing flexible Networked Controlled Systems (NCS) in distributed applications, yet they introduce sampling errors, delays, and packet losses that can compromise control performance. While emerging communication services such as Ultra-Reliable Low Latency Communications (URLLC) can mitigate these issues, they consume more shared network resources and may not be efficient if the NCS does not manage its transmissions. Event Triggered Control (ETC) addresses this challenge by determining when an update is needed, thereby specifying a Minimum Inter-Event Time (MIET) and Maximum Allowable Delay (MAD) to ensure a prescribed <inline-formula> <tex-math>$mathcal {L}_{2}$ </tex-math></inline-formula> norm condition or robust stability criterion. This letter proposes an Encoder-Decoder (E/D) architecture for NCS that requires that a control signal is transmitted over a wireless link. Instead of sending the original control signal whenever a trigger occurs, this method transmits an error signal produced by the comparison between the original control signal and a locally estimated signal. This estimated signal is assumed to be locally available at the transmitter and receiver to be used as the encoder and decoder, respectively. Assuming that the estimated signal is correlated to the original control signal, the transmitted error has a lower magnitude than the original transmitted signal. As a result, the NCS can guarantee its robust stability criterion while increasing the achievable MIET, thus reducing network resource usage. This approach is validated in a Cooperative Adaptive Cruise Control (CACC) setup, demonstrating an at least 20% improvement in MIET compared to conventional ETC, while maintaining <inline-formula> <tex-math>$mathcal {L}_{2}$ </tex-math></inline-formula> (string) stability and robust performance with fewer transmissions","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1718-1723"},"PeriodicalIF":2.4,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144662031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Robust Stability of Interval Systems With Impulses","authors":"Xinyi He;Yuhan Wang;Huaicheng Yan;Xiaodi Li","doi":"10.1109/LCSYS.2025.3580049","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3580049","url":null,"abstract":"This letter investigates the robust stability of uncertain interval systems subject to impulsive effects, with comprehensive consideration given to uncertainties in both the system dynamics and the impulse time sequence. A novel interval matrices method is proposed, and techniques that decouple uncertainties in system dynamics are developed. These approaches establish dwell-time-based conditions to ensure the global asymptotic stability of interval systems, accommodating scenarios involving both stabilizing and destabilizing impulses. A numerical example is presented to illustrate the validity and effectiveness of the theoretical results.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"1099-1104"},"PeriodicalIF":2.4,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144589363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}