175 citations · 250 across the 25 of their papers we have counts for
6 papers · 1 filter
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…
Optimal co-design of control, scheduling and routing in multi-hop control networks
F. Smarra, A. D'Innocenzo, M. D. Di Benedetto
A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication netw…
Feedback stabilization of dynamical systems with switched delays
Raphael M. Jungers, Alessandro D'Innocenzo, Maria D. Di Benedetto
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless…
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 and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
Giordano Pola, Maria D. Di Benedetto
Symbolic models have been recently used as a sound mathematical formalism for the formal verification and control design of purely continuous and hybrid systems. In this paper we p…
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…