{"id":"arxiv/2603.05021","url":"https://arxiv.org/abs/2603.05021","tags":["eess.SY","cs.IT","math.DS","math.OC"],"score":0,"title":"Formal Entropy-Regularized Control of Stochastic Systems","domain":"eess.SY","source":"arxiv","authors":["Menno van Zutphen","Giannis Delimpaltadakis","Duarte J. Antunes"],"reviews":0,"subject":"eess.SY","summary":"Analyzing and controlling system entropy is a powerful tool for regulating predictability of control systems. Applications benefiting from such approaches range from reinforcement learning and data security to human-robot collaboration. In continuous-state stochastic systems, accurate entropy analysis and control remains a challenge. In recent years, finite-state abstractions of continuous systems have enabled control synthesis with formal performance guarantees on objectives such as stage costs. However, these results do not extend to entropy-based performance measures. We solve this…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-03-05","reactions":{}}