-
Secure state estimation over Markov wireless communication channels (extended version)
Authors:
Anastasia Impicciatore,
Anastasios Tsiamis,
Yuriy Zacchia Lun,
Alessandro D'Innocenzo,
George J. Pappas
Abstract:
This note studies state estimation in wireless networked control systems with secrecy against eavesdrop**. Specifically, a sensor transmits a system state information to the estimator over a legitimate user link, and an eavesdropper overhears these data over its link independent of the user link. Each connection may be affected by packet losses and is modeled by a finite-state Markov channel (FS…
▽ More
This note studies state estimation in wireless networked control systems with secrecy against eavesdrop**. Specifically, a sensor transmits a system state information to the estimator over a legitimate user link, and an eavesdropper overhears these data over its link independent of the user link. Each connection may be affected by packet losses and is modeled by a finite-state Markov channel (FSMC), an abstraction widely used to design wireless communication systems. This paper presents a novel concept of optimal mean square expected secrecy over FSMCs and delineates the design of a secrecy parameter requiring the user mean square estimation error (MSE) to be bounded and eavesdropper MSE unbounded. We illustrate the developed results on an example of an inverted pendulum on a cart whose parameters are estimated remotely over a wireless link exposed to an eavesdropper.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Railway cyber-security in the era of interconnected systems: a survey
Authors:
Simone Soderi,
Daniele Masti,
Yuriy Zacchia Lun
Abstract:
Technological advances in the telecommunications industry have brought significant advantages in the management and performance of communication networks. The railway industry is among the ones that have benefited the most. These interconnected systems, however, have a wide area exposed to cyberattacks. This survey examines the cybersecurity aspects of railway systems by considering the standards,…
▽ More
Technological advances in the telecommunications industry have brought significant advantages in the management and performance of communication networks. The railway industry is among the ones that have benefited the most. These interconnected systems, however, have a wide area exposed to cyberattacks. This survey examines the cybersecurity aspects of railway systems by considering the standards, guidelines, frameworks, and technologies used in the industry to assess and mitigate cybersecurity risks, particularly regarding the relationship between safety and security. To do so, we dedicate specific attention to signaling, which fundamental reliance on computer and communication technologies allows us to explore better the multifaceted nature of the security of modern hyperconnected railway systems. With this in mind, we then move on to analyzing the approaches and tools that practitioners can use to facilitate the cyber security process. In detail, we present a view on cyber ranges as an enabling technology to model and emulate computer networks and attack-defense scenarios, study vulnerabilities' impact, and finally devise countermeasures. We also discuss several possible use cases strongly connected to the railway industry reality.
△ Less
Submitted 15 May, 2023; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Learning Markov models of fading channels in wireless control networks: a regression trees based approach
Authors:
Luis Felipe Florenzan Reyes,
Francesco Smarra,
Yuriy Zacchia Lun,
Alessandro D'Innocenzo
Abstract:
Finite-state Markov models are widely used for modeling wireless channels affected by a variety of non-idealities, ranging from shadowing to interference. In an industrial environment, the derivation of a Markov model based on the wireless communication physics can be prohibitive as it requires a complete knowledge of both the communication dynamics parameters and of the disturbances/interferers.…
▽ More
Finite-state Markov models are widely used for modeling wireless channels affected by a variety of non-idealities, ranging from shadowing to interference. In an industrial environment, the derivation of a Markov model based on the wireless communication physics can be prohibitive as it requires a complete knowledge of both the communication dynamics parameters and of the disturbances/interferers. In this work, a novel methodology is proposed to learn a Markov model of a fading channel via historical data of the signal-to-interference-plus-noise-ratio (SINR). Such methodology can be used to derive a Markov jump model of a wireless control network, and thus to design a stochastic optimal controller that takes into account the interdependence between the plant and the wireless channel dynamics. The proposed method is validated by comparing its prediction accuracy and control performance with those of a stationary finite-state Markov chain derived assuming perfect knowledge of the physical channel model and parameters of a WirelessHART point-to-point communication based on the IEEE-802.15.4 standard.
△ Less
Submitted 29 April, 2021; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios (extended version)
Authors:
Anastasia Impicciatore,
Yuriy Zacchia Lun,
Pierdomenico Pepe,
Alessandro D'Innocenzo
Abstract:
The communication channels used to convey information between the components of wireless networked control systems (WNCSs) are subject to packet losses due to time-varying fading and interference. We consider a wireless networked control scenario, where the packet loss occurs in both the sensor-controller link (sensing link) and the controller-actuator link (actuation link). Moreover, we consider…
▽ More
The communication channels used to convey information between the components of wireless networked control systems (WNCSs) are subject to packet losses due to time-varying fading and interference. We consider a wireless networked control scenario, where the packet loss occurs in both the sensor-controller link (sensing link) and the controller-actuator link (actuation link). Moreover, we consider one time-step delay mode observations of the actuation link. While the problems of state feedback optimal control and stabilizability conditions for systems with one time-step delay mode observations of the actuation link have been already solved, we study the optimal output feedback control problem, and we derive a separation principle for the aforementioned wireless networked control scenario. Particularly, we show that the optimal control problem (with one time-step delay in the mode observation of actuation link state) and the optimal filtering problem can be solved independently under a TCP-like communication scheme.
△ Less
Submitted 22 March, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version)
Authors:
Yuriy Zacchia Lun,
Alessandro D'Innocenzo
Abstract:
The communication channels used to convey information between the components of wireless networked control systems (WNCSs) are subject to packet losses due to time-varying fading and interference. The WNCSs with missing packets can be modeled as Markov jump linear systems with one time-step delayed mode observations. While the problem of the optimal linear quadratic regulation for such systems has…
▽ More
The communication channels used to convey information between the components of wireless networked control systems (WNCSs) are subject to packet losses due to time-varying fading and interference. The WNCSs with missing packets can be modeled as Markov jump linear systems with one time-step delayed mode observations. While the problem of the optimal linear quadratic regulation for such systems has been already solved, we derive the necessary and sufficient conditions for stabilizability. We also show, with an example considering a communication channel model based on WirelessHART (a on-the-market wireless communication standard specifically designed for process automation), that such conditions are essential to the analysis of WNCSs where packet losses are modeled with Bernoulli random variables representing the expected value of the real random process governing the channel.
△ Less
Submitted 4 September, 2019; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)
Authors:
Y. Zacchia Lun,
A. Abate,
A. D'Innocenzo
Abstract:
In most real cases transition probabilities between operational modes of Markov jump linear systems cannot be computed exactly and are time-varying. We take into account this aspect by considering Markov jump linear systems where the underlying Markov chain is polytopic and time-inhomogeneous, i.e. its transition probability matrix is varying over time, with variations that are arbitrary within a…
▽ More
In most real cases transition probabilities between operational modes of Markov jump linear systems cannot be computed exactly and are time-varying. We take into account this aspect by considering Markov jump linear systems where the underlying Markov chain is polytopic and time-inhomogeneous, i.e. its transition probability matrix is varying over time, with variations that are arbitrary within a polytopic set of stochastic matrices. We address and solve for this class of systems the infinite-horizon optimal control problem. In particular, we show that the optimal controller can be obtained from a set of coupled algebraic Riccati equations, and that for mean square stabilizable systems the optimal finite-horizon cost corresponding to the solution to a parsimonious set of coupled difference Riccati equations converges exponentially fast to the optimal infinite-horizon cost related to the set of coupled algebraic Riccati equations. All the presented concepts are illustrated on a numerical example showing the efficiency of the provided solution.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)
Authors:
Y. Zacchia Lun,
J. Wheatley,
A. D'Innocenzo,
A. Abate
Abstract:
This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Markov decision processes and the existing notion of approximate probabilistic bisimulation. Whilst standard abstractions make use of abstract points that are taken from the state space of the concrete model and which serv…
▽ More
This work introduces a new abstraction technique for reducing the state space of large, discrete-time labelled Markov chains. The abstraction leverages the semantics of interval Markov decision processes and the existing notion of approximate probabilistic bisimulation. Whilst standard abstractions make use of abstract points that are taken from the state space of the concrete model and which serve as representatives for sets of concrete states, in this work the abstract structure is constructed considering abstract points that are not necessarily selected from the states of the concrete model, rather they are a function of these states. The resulting model presents a smaller one-step bisimulation error, when compared to a like-sized, standard Markov chain abstraction. We outline a method to perform probabilistic model checking, and show that the computational complexity of the new method is comparable to that of standard abstractions based on approximate probabilistic bisimulations.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Cyber-Physical Systems Security: a Systematic Map** Study
Authors:
Yuriy Zacchia Lun,
Alessandro D'Innocenzo,
Ivano Malavolta,
Maria Domenica Di Benedetto
Abstract:
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 map** study sheds some light on how security is actually addressed when dealing with cyber-physical systems. The provided systematic map of 118…
▽ More
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 map** 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.
△ Less
Submitted 31 May, 2016;
originally announced May 2016.