Invariance feedback entropy of nondeterministic control systems

DOI10.1145/3049797.3049801MaRDI QIDQ5275322zbMATH OpenOpenAlexFDO

Authors Matthias Rungger, Majid Zamani

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.05242

zbMATH Keywords

data rate theorementropyinvariancemean-payoff gamesnondeterministic control systemsuniversal bounds

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03)

Abstract: We introduce a novel notion of invariance feedback entropy to quantify the state information that is required by any controller that enforces a given subset of the state space to be invariant. We establish a number of elementary properties, e.g. we provide conditions that ensure that the invariance feedback entropy is finite and show for the deterministic case that we recover the well-known notion of entropy for deterministic control systems. We prove the data rate theorem, which shows that the invariance entropy is a tight lower bound of the data rate of any coder-controller that achieves invariance in the closed loop. We analyze uncertain linear control systems and derive a universal lower bound of the invariance feedback entropy. The lower bound depends on the absolute value of the determinant of the system matrix and a ratio involving the volume of the invariant set and the set of uncertainties. Furthermore, we derive a lower bound of the data rate of any static, memoryless coder-controller. Both lower bounds are intimately related and for certain cases it is possible to bound the performance loss due to the restriction to static coder-controllers by $1$ bit/time unit. We provide various examples throughout the paper to illustrate and discuss different definitions and results.

Recommendations

• Invariance Entropy for Control Systems
• Invariance entropy for deterministic control systems. An introduction
• Upper and lower estimates for invariance entropy
• Numerical over-approximation of invariance entropy via finite abstractions
• Measure-theoretic invariance entropy for control systems

Cited in

(18)

• Numerical over-approximation of invariance entropy via finite abstractions
• Invariance pressure dimensions for control systems
• Invariance entropy for deterministic control systems. An introduction
• Two extensions of topological feedback entropy
• Invariance entropy of hyperbolic control sets
• Remote state estimation problem: towards the data-rate limit along the avenue of the second Lyapunov method
• Invariant cover: existence, cardinality bounds, and computation
• scientific article; zbMATH DE number 4200115 (Why is no real title available?)
• Invariance Entropy for Control Systems
• Invariance Feedback Entropy of Uncertain Control Systems
• The feedback invariant measures of distance to uncontrollability and unobservability
• Estimation Entropy, Lyapunov Exponents, and Quantizer Design for Switched Linear Systems
• Invariance entropy for uncertain control systems
• Quantizer design for switched linear systems with minimal data-rate
• Equi-invariability and bounded invariance complexity for control systems
• The measurable data rate theorem for discrete-time control systems
• Recurrence of nonlinear control systems: entropy, bit rates, and finite alphabet controllers
• Recurrence of nonlinear control systems: entropy and bit rates

This page was built for publication: Invariance feedback entropy of nondeterministic control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275322)