Numerical over-approximation of invariance entropy via finite abstractions
From MaRDI portal
Publication:2107631
Abstract: For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information above which a given compact subset of the state space can be made invariant. There exist different versions of this quantity for deterministic and uncertain systems, which are equivalent in the deterministic case. In this work, we present algorithms for the numerical computation of these two quantities. In particular, given a subset of the state set, we first partition it. Then a controller, in the form of a lookup table that assigns a set of control values to each cell of the partition, is computed to enforce invariance of . After determinizing the controller, a weighted directed graph is constructed. For deterministic systems, the logarithm of the spectral radius of a transition matrix obtained from the graph gives an upper bound of the entropy. For uncertain systems, the maximum mean cycle weight of the graph upper bounds the entropy. With three deterministic examples, for which the exact value of the invariance entropy is known or can be estimated by other means, we demonstrate that the upper bound obtained by our algorithm is of the same order of magnitude as the actual value. Additionally, our algorithm provides a static coder-controller scheme corresponding to the obtained data-rate bound. Finally, we present the computed upper bounds of invariance entropy for an uncertain linear control system as well.
Recommendations
Cites work
- A note on topological feedback entropy and invariance entropy
- A Subgradient Algorithm for Data-Rate Optimization in the Remote State Estimation Problem
- An introduction to symbolic dynamics and coding
- Analysis and synthesis of networked control systems: topological entropy, observability, robustness and optimal control
- Control and estimation under information constraints: toward a unified theory of control, computation and communications
- dtControl
- Elements of information theory for networked control systems
- Entropy and Minimal Bit Rates for State Estimation and Model Detection
- Equilibrium states and the ergodic theory of Anosov diffeomorphisms
- Estimation and control over communication networks
- Fifty years of entropy in dynamics: 1958 -- 2007
- Invariance Entropy for Control Systems
- Invariance entropy for deterministic control systems. An introduction
- Invariance feedback entropy of nondeterministic control systems
- Invariance Properties of Controlled Stochastic Nonlinear Systems Under Information Constraints
- Invariant cover: existence, cardinality bounds, and computation
- Measure-theoretic invariance entropy for control systems
- Metric invariance entropy and conditionally invariant measures
- Minimal bit rates and entropy for exponential stabilization
- Network Entropy and Data Rates Required for Networked Control
- Numerical approximation of the data-rate limit for state estimation under communication constraints
- Numerical over-approximation of invariance entropy via finite abstractions
- Observation of nonlinear systems via finite capacity channels: constructive data rate limits
- Observation of nonlinear systems via finite capacity channels. II: Restoration entropy and its estimates
- On an asymptotic optimization problem in finite, directed, weighted graphs
- On Optimal Coding of Non-Linear Dynamical Systems
- Optimal data rate for state estimation of switched nonlinear systems
- Rigorous computation of topological entropy with respect to a finite partition
- SCOTS: a tool for the synthesis of symbolic controllers
- Stochastic networked control systems. Stabilization and optimization under information constraints
- Topological Feedback Entropy and Nonlinear Stabilization
- Using Ulam's method to calculate entropy and other dynamical invariants
Cited in
(9)- Numerical over-approximation of invariance entropy via finite abstractions
- Invariant cover: existence, cardinality bounds, and computation
- Invariance feedback entropy of nondeterministic control systems
- Invariance entropy for uncertain control systems
- Equi-invariability and bounded invariance complexity for control systems
- Invariance pressures for uncertain control systems
- Recurrence of nonlinear control systems: entropy, bit rates, and finite alphabet controllers
- Dimension types of invariance entropies for uncertain control systems
- Recurrence of nonlinear control systems: entropy and bit rates
This page was built for publication: Numerical over-approximation of invariance entropy via finite abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2107631)
