An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
Fuente:
arXiv
Saved in:
| Main Authors: | Delimpaltadakis, Giannis, Gleizer, Gabriel |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026)
by: van Zutphen, Menno, et al.
Published: (2026)
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
by: Delimpaltadakis, Giannis, et al.
Published: (2020)
by: Delimpaltadakis, Giannis, et al.
Published: (2020)
On the relationship between control barrier functions and projected dynamical systems
by: Delimpaltadakis, Giannis, et al.
Published: (2023)
by: Delimpaltadakis, Giannis, et al.
Published: (2023)
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)
by: Delimpaltadakis, Giannis, et al.
Published: (2022)
Bowen's equations for invariance pressure of control systems
by: Yang, Rui, et al.
Published: (2023)
by: Yang, Rui, et al.
Published: (2023)
Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)
by: Delimpaltadakis, Giannis, et al.
Published: (2024)
An Information-Theoretic Analysis of Discrete-Time Control and Filtering Limitations by the I-MMSE Relationships
by: Wan, Neng, et al.
Published: (2023)
by: Wan, Neng, et al.
Published: (2023)
Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)
by: Haseli, Masih, et al.
Published: (2023)
Feedback Optimization with State Constraints through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2025)
by: Delimpaltadakis, Giannis, et al.
Published: (2025)
Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)
by: Delimpaltadakis, Giannis, et al.
Published: (2026)
An Information-Theoretic Analysis of Continuous-Time Control and Filtering Limitations by the I-MMSE Relationships
by: Wan, Neng, et al.
Published: (2022)
by: Wan, Neng, et al.
Published: (2022)
Two Roads to Koopman Operator Theory for Control: Infinite Input Sequences and Operator Families
by: Haseli, Masih, et al.
Published: (2025)
by: Haseli, Masih, et al.
Published: (2025)
Estimating True Beliefs in Opinion Dynamics with Social Pressure
by: Tang, Jennifer, et al.
Published: (2023)
by: Tang, Jennifer, et al.
Published: (2023)
Stochastic Opinion Dynamics under Social Pressure in Arbitrary Networks
by: Tang, Jennifer, et al.
Published: (2023)
by: Tang, Jennifer, et al.
Published: (2023)
RLS Framework with Segmentation of the Forgetting Profile and Low Rank Updates
by: Stotsky, Alexander
Published: (2025)
by: Stotsky, Alexander
Published: (2025)
Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)
by: Aspeel, Antoine, et al.
Published: (2025)
Tempering the Bayes Filter towards Improved Model-Based Estimation
by: van Zutphen, Menno, et al.
Published: (2025)
by: van Zutphen, Menno, et al.
Published: (2025)
Neuromorphic Realization of Best Response in Finite-Action Games
by: Sinhmar, Himani, et al.
Published: (2026)
by: Sinhmar, Himani, et al.
Published: (2026)
Scalable Computation of Energy Functions for Nonlinear Balanced Truncation
by: Kramer, Boris, et al.
Published: (2022)
by: Kramer, Boris, et al.
Published: (2022)
Synchronization of High-Dimensional Linear Networks over Finite Fields
by: Zou, Siyu, et al.
Published: (2024)
by: Zou, Siyu, et al.
Published: (2024)
On Convex Data-Driven Inverse Optimal Control for Nonlinear, Non-stationary and Stochastic Systems
by: Garrabe, Emiland, et al.
Published: (2023)
by: Garrabe, Emiland, et al.
Published: (2023)
Two Results for the Omega Limit Sets of Dynamical Systems
by: Karafyllis, Iasson
Published: (2024)
by: Karafyllis, Iasson
Published: (2024)
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)
by: Liu, Jun, et al.
Published: (2025)
Safe and Optimal N-Spacecraft Swarm Reconfiguration in Non-Keplerian Cislunar Orbits
by: Takubo, Yuji, et al.
Published: (2025)
by: Takubo, Yuji, et al.
Published: (2025)
Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)
by: Stella, Leonardo, et al.
Published: (2025)
Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)
by: Kumar, Saurabh, et al.
Published: (2025)
A generalized global Hartman-Grobman theorem for asymptotically stable semiflows
by: Jongeneel, Wouter
Published: (2025)
by: Jongeneel, Wouter
Published: (2025)
Linear time-and-space-invariant relaxation systems
by: Donchev, Tihol Ivanov, et al.
Published: (2025)
by: Donchev, Tihol Ivanov, et al.
Published: (2025)
Towards optimal control of ensembles of discrete-time systems
by: Fiedler, Christian, et al.
Published: (2025)
by: Fiedler, Christian, et al.
Published: (2025)
Long-Duration Station-Keeping Strategy for Cislunar Spacecraft Formations
by: Foss, Ethan, et al.
Published: (2025)
by: Foss, Ethan, et al.
Published: (2025)
Sufficient Conditions for String Stability
by: Karafyllis, Iasson, et al.
Published: (2025)
by: Karafyllis, Iasson, et al.
Published: (2025)
On topological properties of closed attractors
by: Jongeneel, Wouter
Published: (2025)
by: Jongeneel, Wouter
Published: (2025)
Geometric Stabilization of Virtual Nonlinear Nonholonomic Constraints
by: Stratoglou, Efstratios, et al.
Published: (2025)
by: Stratoglou, Efstratios, et al.
Published: (2025)
Modeling and stability analysis of live systems with time-varying dimension
by: Mironchenko, Andrii
Published: (2025)
by: Mironchenko, Andrii
Published: (2025)
Some remarks on stochastic converse Lyapunov theorems
by: Osinenko, Pavel, et al.
Published: (2025)
by: Osinenko, Pavel, et al.
Published: (2025)
A convex variational principle for the necessary conditions of classical optimal control
by: Acharya, Amit, et al.
Published: (2025)
by: Acharya, Amit, et al.
Published: (2025)
Automated algorithm design for convex optimization problems with linear equality constraints
by: Ozaslan, Ibrahim K., et al.
Published: (2025)
by: Ozaslan, Ibrahim K., et al.
Published: (2025)
Policy Optimization of Mixed H2/H-infinity Control: Benign Nonconvexity and Global Optimality
by: Pai, Chih-Fan, et al.
Published: (2026)
by: Pai, Chih-Fan, et al.
Published: (2026)
Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)
by: Kim, Jongrae
Published: (2023)
Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)
by: Nishimura, Yuki, et al.
Published: (2022)
Similar Items
-
Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026) -
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
by: Delimpaltadakis, Giannis, et al.
Published: (2020) -
On the relationship between control barrier functions and projected dynamical systems
by: Delimpaltadakis, Giannis, et al.
Published: (2023) -
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022) -
Bowen's equations for invariance pressure of control systems
by: Yang, Rui, et al.
Published: (2023)