4 citations · 7 across the 6 of their papers we have counts for
8 papers
A novel mathematical model for predicting the benefits of physical activity on type 2 diabetes progression
Pierluigi Francesco De Paola, Alessandro Borri, Fabrizio Dabbene +3
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 b…
Dynamical aspects of the total QSSA in Enzyme Kinetics
Alberto Maria Bersani, Enrico Bersani, Alessandro Borri +1
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 sys…
Design of Symbolic Controllers for Networked Control Systems
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
Networked Control Systems (NCS) are distributed systems where plants, sensors, actuators and controllers communicate over shared networks. Non-ideal behaviors of the communication…
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems
Alessandro Borri, Giordano Pola, Maria D. Di Benedetto
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 address…
A Symbolic Approach to the Design of Nonlinear Networked Control Systems
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS…
Symbolic models for nonlinear control systems affected by disturbances
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
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. Symboli…
Hide-and-Seek with Directional Sensing
Alessandro Borri, Shaunak D. Bopardikar, Joao P. Hespanha +1
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…
Integrated symbolic control design for nonlinear systems with infinite states specifications
Giordano Pola, Alessandro Borri, Maria D. Di Benedetto
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 th…