An Information Theory of Finite Abstractions and their Fundamental Scalability Limits

Giannis Delimpaltadakis, Gabriel Gleizer

Finite abstractions are discrete models of dynamical systems, such that the set of abstraction trajectories contains all system trajectories. There is a consensus that abstractions…