175 citations · 250 across the 25 of their papers we have counts for
31 papers
String Stability of a Vehicular Platoon with the use of Macroscopic Information
Marco Mirabilio, Alessio Iovine, Elena De Santis +2
We investigate the possibility to use macroscopic information to improve control performance of a vehicular platoon composed of autonomous vehicles. A general mesoscopic traffic mo…
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon
Marco Mirabilio, Alessio Iovine, Elena De Santis +2
The use of macroscopic information for the control of a vehicular platoon composed of autonomous vehicles is investigated. A mesoscopic control law is provided, and String Stabilit…
Secure Mode Distinguishability for Switching Systems Subject to Sparse Attacks
Gabriella Fiore, Elena De Santis, Maria Domenica Di Benedetto
Switching systems are an important mathematical formalism when dealing with Cyber-Physical Systems (CPSs). In this paper we provide conditions for the exact reconstruction of the i…
On Approximate Diagnosability of Nonlinear Systems
Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto
This paper deals with diagnosability of discrete-time nonlinear systems with unknown inputs and quantized outputs. We propose a novel notion of diagnosability that we term approxim…
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems
Giordano Pola, Costanzo Manes, Arjan J. van der Schaft +1
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear…
Safe Human-Inspired Mesoscopic Hybrid Automaton for Autonomous Vehicles
Alessio Iovine, Francesco Valentini, Elena De Santis +2
In this paper a mesoscopic hybrid model, i.e. a microscopic hybrid model that takes into account macroscopic parameters, is introduced for designing a human-inspired Adaptive Cruis…
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels
Alessio Iovine, Sabah Benamane Siad, Gilney Damm +2
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from re…
Nonlinear Control of an AC-connected DC MicroGrid
Alessio Iovine, Sabah Benamane Siad, Gilney Damm +2
New connection constraints for the power network (Grid Codes) require more flexible and reliable systems, with robust solutions to cope with uncertainties and intermittence from re…
Observability and diagnosability of finite state systems: a unifying framework
Elena De Santis, Maria Domenica Di Benedetto
In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the r…
Cyber-Physical Systems Security: a Systematic Mapping Study
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Ivano Malavolta +1
Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences…
Co-design of controller and routing redundancy over a wireless network
G. D. Di Girolamo, A. D'Innocenzo, M. D. Di Benedetto
In this paper we investigate the exploitation of redundancy when routing actuation data to a discrete-time LTI system connected to the controller via a wireless network affected by…
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control
Alessio Iovine, Francesco Valentini, Elena De Santis +2
In this paper a mesoscopic hybrid automaton is introduced in order to obtain a human-inspired based adaptive cruise control.
Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction
Davide Pezzuti, Giordano Pola, Elena De Santis +1
Motivated by safety-critical applications in cyber-physical systems, in this paper we study the notion of critical observability and design of observers for networks of Finite Stat…
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…
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems.…
Modeling, analysis and design of linear systems with switching delays
R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto
We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching pro…
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks
A. D'Innocenzo, M. D. Di Benedetto, F. Smarra
A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-h…
Networked Embedded Control Systems: from Modelling to Implementation
Maria Domenica Di Benedetto, Giordano Pola
Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared network. They have be…
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…