arXiv subjects

Alessandro Borri

Publications and source records attributed to Alessandro Borri.

11 recordsLinked to original sources

arXiv2025

A Model-based Approach for Glucose Control via Physical Activity

The role played by physical activity in slowing down the progression of type-2 diabetes is well recognized. However, except for general clinical guidelines, quantitative real-time estimates of the recommended amount of physical activity, based on the evolving individual conditions, are {still missing} in the literature. The aim of this work is to provide a control-theoretical formulation of the exercise encoding all the exercise-related features (intensity, duration, period). Specifically, we design a feedback law in terms of recommended physical activity, following a model predictive control approach, based on a widespread compact diabetes progression model, suitably modified to account for the long-term effects of regular exercise. Preliminary simulations show promising results, well aligned with clinical evidence. These findings can be the basis for further validation of the control law on high-dimensional diabetes progression models to ultimately translate the predictions of the controller into meaningful recommendations.

eess.SY↗

arXiv2025

Closed-loop robust control of long-term diabetes progression via physical activity management

Large clinical evidence acknowledges the crucial role played by physical activity in delaying the progression of type-2 diabetes. However, the literature lacks control approaches that leverage exercise for type-2 diabetes control and more in general lacks a quantitative assessment of medical guidelines on the recommended amount of physical activity to be performed, mainly due to the absence of mathematical models that suitably estimate its benefits on diabetes progression. In this work, in order to provide a control-theoretical formulation of the exercise, we design a feedback law in terms of recommended physical activity, following a model predictive control approach, based on a widespread compact diabetes progression model, suitably modified to properly account for the long-term effect of the exercise. Moreover we illustrate how the proposed approach proves to show reliable robustness properties with respect to initial conditions and parameter perturbations, which may be used to reflect inter-patient variability. Results are encouraging in view of the validation of the control law on comprehensive high-dimensional models of diabetes progression, with the aim of translating the prediction of the controller into reasonable recommendations and to quantitatively support medical decision-making.

eess.SY↗

arXiv2025

A control system framework for counterfactuals: an optimization based approach

Counterfactuals are a concept inherited from the field of logic and in general attain to the existence of causal relations between sentences or events. In particular, this concept has been introduced also in the context of interpretability in artificial intelligence, where counterfactuals refer to the minimum change to the feature values that changes the prediction of a classification model. The artificial intelligence framework of counterfactuals is mostly focused on machine learning approaches, typically neglecting the physics of the variables that determine a change in class. However, a theoretical formulation of counterfactuals in a control system framework - i.e., able to account for the mechanisms underlying a change in class - is lacking. To fill this gap, in this work we propose an original control system, physics-informed, theoretical foundation for counterfactuals, by means of the formulation of an optimal control problem. We apply the proposed methodology to a general glucose-insulin regulation model and results appear promising and pave the way to the possible integration with artificial intelligence techniques, with the aim of feeding machine learning models with the physics knowledge acquired through the system framework.

eess.SY↗

arXiv2024

A novel mathematical model for predicting the benefits of physical activity on type 2 diabetes progression

Despite the well-acknowledged benefits of physical activity for type 2 diabetes (T2D) prevention, the literature surprisingly lacks validated models able to predict the long-term benefits of exercise on T2D progression and support personalized risk prediction and prevention. To bridge this gap, we developed a novel mathematical model that formalizes the link between exercise and short- and long-term glucose-insulin dynamics to predict the benefits of regular exercise on T2D progression. The model quantitatively captured the dose-response relationship (larger benefits with increasing intensity and/or duration of exercise), it consistently reproduced the benefits of clinical guidelines for diabetes prevention, and it accurately predicted persistent benefits following interruption of physical activity, in line with real-world evidence from the literature. These results are encouraging and can be the basis for future development of decision support tools able to assist patients and clinicians in tailoring preventive lifestyle interventions.

eess.SY↗

arXiv2017

Dynamical aspects of the total QSSA in Enzyme Kinetics

In this paper we prove that the well-known quasi-steady state approximations, commonly used in enzyme kinetics, which can be interpreted as the reduced system of a differential system depending on a perturbative parameter, according to Tihonov theory, are asymptotically equivalent to the center manifold of the system. This allows to give a mathematical foundation for the application of a mechanistic method to determine the center manifold of (at this moment, still simple) enzyme reactions.

math.DS↗

arXiv2014

Design of Symbolic Controllers for Networked Control Systems

Networked Control Systems (NCS) are distributed systems where plants, sensors, actuators and controllers communicate over shared networks. Non-ideal behaviors of the communication network include variable sampling/transmission intervals and communication delays, packet losses, communication constraints and quantization errors. NCS have been the object of intensive study in the last few years. However, due to the inherent complexity of NCS, current literature focuses on a subset of these non-idealities and mostly considers stability and stabilizability problems. Recent technology advances need different and more complex control objectives to be considered. In this paper we present first a general model of NCS, including most relevant non-idealities of the communication network; then, we propose a symbolic model approach to the control design with objectives expressed in terms of non-deterministic transition systems. The presented results are based on recent advances in symbolic control design of continuous and hybrid systems. An example in the context of robot motion planning with remote control is included, showing the effectiveness of the proposed approach.

eess.SY↗

arXiv2012

Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems

The research area of Networked Control Systems (NCS) has been the topic of intensive study in the last decade. In this paper we give a contribution to this research line by addressing symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata. We first derive symbolic models that are shown to approximate the given NCS in the sense of (alternating) approximate simulation. We then address symbolic control design with specifications expressed in terms of automata. We finally derive efficient algorithms for the synthesis of the proposed symbolic controllers that cope with the inherent computational complexity of the problem at hand.

eess.SY↗

arXiv2012

A Symbolic Approach to the Design of Nonlinear Networked Control Systems

Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important research results have been obtained. These results are in the area of stability and stabilizability. However, while important, these results must be complemented in different areas to be able to design effective NCS. In this paper we approach the control design of NCS using symbolic (finite) models. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. We consider a fairly general multiple-loop network architecture where plants communicate with digital controllers through a shared, non-ideal, communication network characterized by variable sampling and transmission intervals, variable communication delays, quantization errors, packet losses and limited bandwidth. We first derive a procedure to obtain symbolic models that are proven to approximate NCS in the sense of alternating approximate bisimulation. We then use these symbolic models to design symbolic controllers that realize specifications expressed in terms of automata on infinite strings. An example is provided where we address the control design of a pair of nonlinear control systems sharing a common communication network. The closed-loop NCS obtained is validated through the OMNeT++ network simulation framework.

eess.SY↗

arXiv2012

Symbolic models for nonlinear control systems affected by disturbances

In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.

math.OC↗

arXiv2011

Hide-and-Seek with Directional Sensing

We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher, who wishes to reach the object by querying sensors placed in the plane. The searcher is a mobile agent, and whenever it physically visits a sensor, the sensor returns a random direction, corresponding to a half-plane in which the hidden object is located. We first present a novel search heuristic and characterize bounds on the expected distance covered before reaching the object. Next, we model this game as a large-dimensional zero-sum dynamic game and we apply a recently introduced randomized sampling technique that provides a probabilistic level of security to the hider. We observe that, when the randomized sampling approach is only allowed to select a very small number of samples, the cost of the heuristic is comparable to the security level provided by the randomized procedure. However, as we allow the number of samples to increase, the randomized procedure provides a higher probabilistic security level.

cs.GT↗

arXiv2010

Integrated symbolic control design for nonlinear systems with infinite states specifications

Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because they provide a sound mathematical framework for analysing and controlling embedded systems. In this paper we give a further contribution to this research line, by addressing the problem of symbolic control design of nonlinear systems with infinite states specifications, modelled by differential equations. We first derive the symbolic controller solving the control design problem, given in terms of discrete abstractions of the plant and the specification systems. We then present an algorithm which integrates the construction of the discrete abstractions with the design of the symbolic controller. Space and time complexity analysis of the proposed algorithm is performed and a comparison with traditional approaches currently available in the literature for symbolic control design, is discussed. Some examples are included, which show the interest and applicability of our results.

math.OC↗