Path-dependent controller and estimator synthesis with robustness to delayed and missing data

This paper presents path-dependent feedback controllers and estimators with bounded tracking and estimation error guarantees for discrete-time affine systems with time-varying delayed and missing data, where the set of all temporal patterns for the missing or delayed data is constrained by a fixed-length language. In particular, we propose two controller/estimator synthesis approaches based on output feedback and output error feedback parameterizations such that the tracking or estimation errors satisfy a property known as equalized recovery, where the errors are guaranteed to satisfy a recovery level at the start and the end of a finite time horizon, but may temporarily increase (by a bounded amount) within the horizon. To achieve this, we introduce a mapping of the fixed-length delayed/missing data language onto a reduced event-based language, and present designs with feedback gain matrices that adapt based on the observed path in the reduced language, resulting in improved performance. Furthermore, we propose a word observer that finds the set of words (i.e., the delayed/missing data patterns) in the original fixed-length language that are compatible with the observed path. The effectiveness of the proposed approaches when compared to existing approaches is demonstrated using several illustrative examples.

[1]  Sze Zheng Yong,et al.  Bounded-Error Estimator Design with Missing Data Patterns via State Augmentation , 2019, 2019 American Control Conference (ACC).

[2]  Paulo Tabuada,et al.  Minimax control for cyber-physical systems under network packet scheduling attacks , 2013, HiCoNS '13.

[3]  Yuliang Bai,et al.  Cooperative target localization using multiple UAVs with out-of-sequence measurements , 2017 .

[4]  Eric C. Kerrigan,et al.  Output feedback receding horizon control of constrained systems , 2007, Int. J. Control.

[5]  Stephen P. Boyd,et al.  Design of Affine Controllers via Convex Optimization , 2010, IEEE Transactions on Automatic Control.

[6]  Raphaël M. Jungers,et al.  Optimal intermittent measurements for tumor tracking in x-ray guided radiotherapy , 2019, Medical Imaging.

[7]  Sze Zheng Yong,et al.  Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data , 2018, ADHS.

[8]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[9]  Sze Zheng Yong,et al.  Prefix-based Bounded-error Estimation with Intermittent Observations , 2019, 2019 American Control Conference (ACC).

[10]  Paulo Tabuada,et al.  Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks , 2012, IEEE Transactions on Automatic Control.

[11]  Jean-Philippe Vial,et al.  Robust Optimization , 2021, ICORES.

[12]  Sanjay Lall,et al.  A Characterization of Convex Problems in Decentralized Control$^ast$ , 2005, IEEE Transactions on Automatic Control.

[13]  Shuo Zhang,et al.  Optimal Update with Multiple Out-of-Sequence Measurements with Arbitrary Arriving Order , 2012, IEEE Transactions on Aerospace and Electronic Systems.

[14]  S. Lall,et al.  Decentralized control information structures preserved under feedback , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[15]  Alessandro Colombo,et al.  Measurement Scheduling for Control Invariance in Networked Control Systems , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[16]  Raphaël M. Jungers,et al.  Feedback stabilization of dynamical systems with switched delays , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[17]  Gang Feng,et al.  Linear estimation for random delay systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[18]  R.M. Murray,et al.  Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks , 2007, 2007 American Control Conference.

[19]  Constantine Caramanis,et al.  Theory and Applications of Robust Optimization , 2010, SIAM Rev..

[20]  Giorgio Battistelli,et al.  State estimation with remote sensors and intermittent transmissions , 2012, Syst. Control. Lett..

[21]  Sze Zheng Yong,et al.  Finite horizon constrained control and bounded-error estimation in the presence of missing data , 2020 .

[22]  Peter J Seiler,et al.  Analysis of communication losses in vehicle control problems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[23]  Bruno Sinopoli,et al.  Kalman filtering with intermittent observations , 2004, IEEE Transactions on Automatic Control.

[24]  Franco Blanchini,et al.  A convex optimization approach to synthesizing bounded complexity l∞ filters , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[25]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[26]  Nuno C. Martins,et al.  Information structures in optimal decentralized control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[27]  Alejandro Ribeiro,et al.  Opportunistic Control Over Shared Wireless Channels , 2015, IEEE Transactions on Automatic Control.

[28]  Emilio Frazzoli,et al.  Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems , 2017, ACM Trans. Cyber Phys. Syst..

[29]  S. Shankar Sastry,et al.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks , 2009, HSCC.

[30]  W. P. M. H. Heemels,et al.  Observability and Controllability Analysis of Linear Systems Subject to Data Losses , 2018, IEEE Transactions on Automatic Control.

[31]  C.M. Lagoa,et al.  Observer Design for a Class of Switched Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[32]  Sze Zheng Yong,et al.  Equalized Recovery State Estimators for Linear Systems With Delayed and Missing Observations , 2021, IEEE Control Systems Letters.