Pub Date : 2024-06-14DOI: 10.1109/LCSYS.2024.3414977
Edwin Baum;Zonglin Liu;Olaf Stursberg
This letter introduces two novel methods to synthesize distributed observers for time-varying communication graphs which are modeled as continuous-time Markov processes. The first method obtains all design parameters in a centralized step by solving a system of coupled LMI, while the second method utilizes an observability decomposition to design the parameters locally by partitioning into observable and unobservable system parts. For both methods, this letter provides sufficient conditions for the existence of distributed observers which asymptotically achieve omniscience almost surely. A numerical example to compare the two methods is provided in addition.
{"title":"Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs","authors":"Edwin Baum;Zonglin Liu;Olaf Stursberg","doi":"10.1109/LCSYS.2024.3414977","DOIUrl":"https://doi.org/10.1109/LCSYS.2024.3414977","url":null,"abstract":"This letter introduces two novel methods to synthesize distributed observers for time-varying communication graphs which are modeled as continuous-time Markov processes. The first method obtains all design parameters in a centralized step by solving a system of coupled LMI, while the second method utilizes an observability decomposition to design the parameters locally by partitioning into observable and unobservable system parts. For both methods, this letter provides sufficient conditions for the existence of distributed observers which asymptotically achieve omniscience almost surely. A numerical example to compare the two methods is provided in addition.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141602457","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}
Pub Date : 2024-06-14DOI: 10.1109/LCSYS.2024.3414972
Ahmad Hafez;Frank J. Jiang;Karl H. Johansson;Amr Alanwar
This letter presents a novel approach for reachability analysis of using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of reachable states using a recently introduced set representation called polynomial logical zonotopes, enabling computationally efficient and exact reachability analysis on logical systems. Notably, polynomial logical zonotopes address the “curse of dimensionality” when analyzing the reachability of logical systems since the set representation can represent $2^{h}$