Maria Domenica Di Benedetto

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 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.

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 initial discrete state of a switching system, when only the continuous output is measurable, and the discrete output signal is not available. In particular, assuming that the continuous input and output signals may be corrupted by additive malicious attacks, we provide conditions for the secure mode distinguishability for linear switching systems. As illustrative example, we consider the hybrid model of a DC/DC boost converter.

Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra

A Multi-hop Control Network (MCN) consists of a plant where the communication between sensors, actuators and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We characterize the problem of detecting the failure of links of the radio connectivity graph and provide necessary and sufficient conditions on the plant dynamics and on the communication protocol. We also provide a methodology to \emph{explicitly} design the network topology, scheduling and routing of a communication protocol in order to satisfy the above conditions.

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 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.

Alessio Iovine, Francesco Valentini, Elena De Santis et al.

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 Cruise Control. A control law is proposed with the design goal of replacing and imitating the behaviour of a human driver in a car-following situation where lane changes are possible. First, a microscopic hybrid automaton model is presented, based on human psycho-physical behavior, for both longitudinal and lateral vehicle control. Then a rule for changing time headway on the basis of macroscopic quantities is used to describe the interaction among next vehicles and their impact on driver performance. Simulation results show the advantages of the mesoscopic model. A feasibility analysis of the needed communication network is also presented.

Yuriy Zacchia Lun, Alessandro D'Innocenzo, Ivano Malavolta et al.

Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences of failures, security here is one of the primary concerns. Our systematic mapping study sheds some light on how security is actually addressed when dealing with cyber-physical systems. The provided systematic map of 118 selected studies is based on, for instance, application fields, various system components, related algorithms and models, attacks characteristics and defense strategies. It presents a powerful comparison framework for existing and future research on this hot topic, important for both industry and academia.