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 Subgradient Algorithm for Data-Rate Optimization in the Remote State Estimation Problem
- A note on topological feedback entropy and invariance entropy
- 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
- 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 Properties of Controlled Stochastic Nonlinear Systems Under Information Constraints
- Invariance entropy for deterministic control systems. An introduction
- Invariance feedback entropy of nondeterministic control systems
- 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. II: Restoration entropy and its estimates
- Observation of nonlinear systems via finite capacity channels: constructive data rate limits
- On Optimal Coding of Non-Linear Dynamical Systems
- On an asymptotic optimization problem in finite, directed, weighted graphs
- 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
- dtControl
Cited in
(5)- Equi-invariability and bounded invariance complexity for control systems
- Numerical over-approximation of invariance entropy via finite abstractions
- Invariance feedback entropy of nondeterministic control systems
- Invariance entropy for uncertain control systems
- Invariant cover: existence, cardinality bounds, and computation
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)
