5 papers
Formal Entropy-Regularized Control of Stochastic Systems
Menno van Zutphen, Giannis Delimpaltadakis, Duarte J. Antunes
Analyzing and controlling system entropy is a powerful tool for regulating predictability of control systems. Applications benefiting from such approaches range from reinforcement…
Safe Feedback Optimization through Control Barrier Functions
Giannis Delimpaltadakis, Pol Mestres, Jorge Cortés +1
Feedback optimization refers to a class of methods that steer a control system to a steady state that solves an optimization problem. Despite tremendous progress on the topic, an i…
Tempering the Bayes Filter towards Improved Model-Based Estimation
Menno van Zutphen, Domagoj Herceg, Giannis Delimpaltadakis +1
Model-based filtering is often carried out while subject to an imperfect model, as learning partially-observable stochastic systems remains a challenge. Recent work on Bayesian inf…
Feedback Optimization with State Constraints through Control Barrier Functions
Giannis Delimpaltadakis, Pol Mestres, Jorge Cortés +1
Recently, there has been a surge of research on a class of methods called feedback optimization. These are methods to steer the state of a control system to an equilibrium that ari…
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti +2
With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods for formal verification of stochast…