Continuously Ordered Hierarchies of Algorithmic Information in Digital Twinning and Signal Processing

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

We consider a fractional-calculus example of a continuous hierarchy of algorithmic information in the context of its potential applications in digital twinning. Digital twinning refers to different emerging methodologies in control engineering that involve the creation of a digital replica of some physical entity. From the perspective of computability theory, the problem of ensuring the digital twin's integrity - i.e., keeping it in a state where it matches its physical counterpart - entails a notion of algorithmic information that determines which of the physical system's properties we can reliably deduce by algorithmically analyzing its digital twin. The present work investigates the fractional calculus of periodic functions - particularly, we consider the Wiener algebra - as an exemplary application of the algorithmic-information concept. We establish a continuously ordered hierarchy of algorithmic information among spaces of periodic functions - depending on their fractional degree of smoothness - in which the ordering relation determines whether a certain representation of some function contains "more"or "less"information than another. Additionally, we establish an analogous hierarchy among ℓp-spaces, which form a cornerstone of (traditional) digital signal processing. Notably, both hierarchies are (mathematically) "dual"to each other. From a practical perspective, our approach ultimately falls into the category of formal verification and (general) formal methods.

Details

Original languageEnglish
Title of host publication2025 IEEE 64th Conference on Decision and Control, CDC 2025
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages7355-7362
Number of pages8
ISBN (electronic)979-8-3315-2627-6
ISBN (print)979-8-3315-2628-3
Publication statusE-pub ahead of print - Jan 2026
Peer-reviewedYes

Publication series

SeriesProceedings of the IEEE Conference on Decision and Control
ISSN0743-1546

Conference

Title64th IEEE Conference on Decision and Control
Abbreviated titleCDC 2025
Conference number64
Duration9 - 12 December 2025
Website
LocationWindsor Convention Center
CityRio de Janeiro
CountryBrazil

External IDs

ORCID /0000-0001-8469-9573/work/210352921