skip to main content
10.1145/3178126.3178150acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article
Public Access

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates

Published: 11 April 2018 Publication History

Abstract

Finding the minimal bit rate needed for state estimation of a dynamical system is a fundamental problem in control theory. In this paper, we present a notion of topological entropy, to lower bound the bit rate needed to estimate the state of a nonlinear dynamical system, with unknown bounded inputs, up to a constant error ε. Since the actual value of this entropy is hard to compute in general, we compute an upper bound. We show that as the bound on the input decreases, we recover a previously known bound on estimation entropy - a similar notion of entropy - for nonlinear systems without inputs [10]. For the sake of computing the bound, we present an algorithm that, given sampled and quantized measurements from a trajectory and an input signal up to a time bound T > 0, constructs a function that approximates the trajectory up to an ε error up to time T. We show that this algorithm can also be used for state estimation if the input signal can indeed be sensed in addition to the state. Finally, we present an improved bound on entropy for systems with linear inputs.

References

[1]
Karl Johan Astrom and Richard M. Murray. 2008. Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton, NJ, USA.
[2]
F. Colonius and C. Kawan. 2009. Invariance entropy for control systems. SIAM J. Control Optim. 48 (2009), 1701--1721.
[3]
F. Colonius, C. Kawan, and G. Nair. 2013. A note on topological feedback entropy and invariance entropy. Systems Control Lett. 62 (2013), 377--381.
[4]
Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra. 2016. Locally Optimal Reach Set Over-approximation for Nonlinear Systems. In Proceedings of the 13th International Conference on Embedded Software (EMSOFT '16). ACM, New York, NY, USA, Article 6, 10 pages.
[5]
Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra. 2017. Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17, 1, Article 21 (Dec. 2017), 28 pages.
[6]
X. Gao, D. Liberzon, J. Liu, and T. Basar. 2015. Connections between stability conditions for slowly time-varying and switched linear systems. In 2015 54th IEEE Conference on Decision and Control (CDC). 2329--2334.
[7]
J. P. Hespanha and A. S. Morse. 1999. Stability of switched systems with average dwell-time. In Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), Vol. 3. 2655--2660 vol.3.
[8]
Zhenqi Huang, Chuchu Fan, and Sayan Mitra. 2017. Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Analysis: Hybrid Systems 23 (2017), 211--229.
[9]
A. Katok and B. Hasselblatt. 1995. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press.
[10]
Daniel Liberzon and Sayan Mitra. 2016. Entropy and minimal data rates for state estimation and model detections. In HSCC 2016. ACM, Vienna.
[11]
Daniel Liberzon and Sayan Mitra. 2018. Entropy and minimal bit rates for state estimation and model detection. IEEE Transactions on Automatic Control (TAC) (2018).
[12]
G. N. Nair, R. J. Evans, I. M. Y. Mareels, and W. Moran. 2004. Topological feedback entropy and nonlinear stabilization. IEEE Trans. Automat. Control 49 (2004), 1585--1597.
[13]
G. N. Nair, F. Fagnani, S. Zampieri, and R. J. Evans. 2007. Feedback Control Under Data Rate Constraints: An Overview. 95 (2007), 108--137.
[14]
Matthias Rungger and Majid Zamani. 2017. Invariance Feedback Entropy of Non-deterministic Control Systems. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (HSCC '17). ACM, New York, NY, USA, 91--100.
[15]
A. V. Savkin and I. R. Petersen. 2003. Set-valued state estimation via a limited capacity communication channel. IEEE Trans. Automat. Control 48, 4 (April 2003), 676--680.
[16]
James Schmidt. 2016. Topological entropy bounds for switched linear systems with Lie structure. Master's thesis. Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign.
[17]
Hussein Sibai and Sayan Mitra. 2017. Optimal data rate for state estimation of switched nonlinear systems. Association for Computing Machinery, Inc, 71--80.
[18]
Guosong Yang and Daniel Liberzon. 2015. Stabilizing a switched linear system with disturbance by sampled-data quantized feedback. In American Control Conference (ACC), 2015. IEEE, 2193--2198.
[19]
Guosong Yang and Daniel Liberzon. 2016. Finite data-rate stabilization of a switched linear system with unknown disturbance**This work was supported by the NSF grants CNS-1217811 and ECCS-1231196. IFAC-PapersOnLine 49, 18 (2016), 1085--1090. 10th IFAC Symposium on Nonlinear Control Systems NOLCOS 2016.

Cited By

View all
  • (2024)Recurrence of Nonlinear Control Systems: Entropy and Bit RatesProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3650121(1-9)Online publication date: 14-May-2024
  • (2024)Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample GuidanceIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2024.344722643:11(3756-3767)Online publication date: Nov-2024
  • (2024)Remote State Estimation of Steered Systems With Limited Communications: An Event-Triggered ApproachIEEE Transactions on Automatic Control10.1109/TAC.2023.331879269:7(4199-4214)Online publication date: Jul-2024
  • Show More Cited By

Index Terms

  1. State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
        April 2018
        296 pages
        ISBN:9781450356428
        DOI:10.1145/3178126
        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Sponsors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 11 April 2018

        Permissions

        Request permissions for this article.

        Check for updates

        Author Tags

        1. Bit Rates
        2. Discrepancy Functions
        3. Entropy
        4. Nonlinear Systems
        5. State Estimation

        Qualifiers

        • Research-article
        • Research
        • Refereed limited

        Funding Sources

        • National Science Foundations
        • AFOSR

        Conference

        HSCC '18
        Sponsor:

        Acceptance Rates

        Overall Acceptance Rate 153 of 373 submissions, 41%

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • Downloads (Last 12 months)55
        • Downloads (Last 6 weeks)5
        Reflects downloads up to 02 Mar 2025

        Other Metrics

        Citations

        Cited By

        View all
        • (2024)Recurrence of Nonlinear Control Systems: Entropy and Bit RatesProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3650121(1-9)Online publication date: 14-May-2024
        • (2024)Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample GuidanceIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2024.344722643:11(3756-3767)Online publication date: Nov-2024
        • (2024)Remote State Estimation of Steered Systems With Limited Communications: An Event-Triggered ApproachIEEE Transactions on Automatic Control10.1109/TAC.2023.331879269:7(4199-4214)Online publication date: Jul-2024
        • (2023)State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched SystemsIEEE Transactions on Automatic Control10.1109/TAC.2023.325051068:12(7041-7056)Online publication date: Dec-2023
        • (2022)An event-triggered observation scheme for systems with perturbations and data rate constraintsAutomatica10.1016/j.automatica.2022.110512145(110512)Online publication date: Nov-2022
        • (2021)Observing a Unicycle Robot with Data Rate Constraints: a Case Study2021 60th IEEE Conference on Decision and Control (CDC)10.1109/CDC45484.2021.9683052(1765-1770)Online publication date: 14-Dec-2021
        • (2020)Event-triggered Data-efficient Observers of Perturbed SystemsIFAC-PapersOnLine10.1016/j.ifacol.2020.12.95153:2(2820-2825)Online publication date: 2020
        • (2020)A Novel Approach for Solving the BMI Problem in Barrier Certificates GenerationComputer Aided Verification10.1007/978-3-030-53288-8_29(582-603)Online publication date: 14-Jul-2020
        • (2018)Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth ConstraintsProceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)10.1145/3178126.3187002(279-280)Online publication date: 11-Apr-2018

        View Options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Login options

        Figures

        Tables

        Media

        Share

        Share

        Share this Publication link

        Share on social media