About
21
Publications
3,761
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
188
Citations
Introduction
My research focuses on the automatic control of wireless networked control systems, communication, computation, and control co-design, stochastic hybrid systems, formal methods, and cyber-physical security.
Skills and Expertise
Additional affiliations
June 2018 - February 2022
July 2017 - May 2018
Position
- Research collaborator
Description
- Formal verification for security in cyber-physical systems
February 2017 - July 2017
Position
- PhD Student
Description
- Investigation of correct-by-design fault detection, isolation & reconfiguration (FDIR) solutions for Markov jump systems, satisfying some probabilistic computation tree logic specifications on bisimilar abstractions preserving the properties of interest.
Education
November 2013 - October 2017
October 2008 - March 2012
Publications
Publications (21)
Technological advances in the telecommunications industry have brought significant advantages in the management and performance of communication networks. The railway industry, where signaling systems are now fully computerized, is among the ones that have benefited the most. These interconnected systems, however, have a wide area exposed to cybera...
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 dynamic...
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-actu...
The challenges in analysis and co-design of wireless networked control systems are well highlighted by considering wireless industrial control protocols. In this perspective, this paper addresses the modeling and design challenge by focusing on WirelessHART, which is a networking protocol stack widely adopted for wireless industrial automation. Spe...
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 optima...
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...
The transition probabilities of jumps between operational modes of discrete-time Markov(ian) jump linear systems (dtMJLSs) are generally considered to be time-invariant, certain, and often completely known in the majority of dedicated studies. Still, in most real cases the transition probability matrix (TPM) cannot be computed exactly and is time-v...
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 light on how security is actually addressed when dealing with cyber-physical...
![Fig. 1. Probability of the property P =? [G ≤k ¬c], with the...](profile/Yuriy-Zacchia-Lun/publication/324717240/figure/fig1/AS:618790349991936@1524542524227/Probability-of-the-property-P-G-k-c-with-the-negative-exponential-bound-on-error_Q320.jpg)
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 th...
Markov jump switched linear systems (MJSLSs) are switched linear systems, where a switching signal is governed by a Markov decision process. We consider a polytopic time-inhomogeneous setting, where the transition probabilities (between the operational modes of the system) associated to each discrete action are varying over time, with variations th...
In this work we derive necessary and sufficient conditions for robust mean square stability of discrete-time time-inhomogeneous Markov jump linear systems (MJLSs) affected by polytopic uncertainties on transition probabilities and bounded disturbances.
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-phy...
Wireless Sensor Networks (WSNs) are fostering pervasive healthcare applications, where people are remotely monitored, without the full time assistance of professional care-givers. A key enabling element is the possibility to locate people in indoor environments, especially in emergency situations. Framed within the WSN4QoL project, this paper propo...
Life expectancy is projected to increase significantly in the coming years. This fact has pushed the need for design-ing new and more pervasive healthcare systems. In this field, distributed and networked embedded systems, such as Wireless Sensor Networks (WSNs), are the most suitable technology to achieve continuous monitoring of aged people for t...
Projects
Project (1)
Developing and validating a Markov channel model that abstracts the WirelessHART radio link subject to channel impairments and interferernce.
Introducing link quality metrics in order to enable the accurate representation of the average and extreme behavior of the radio link.
Deriving a stationary Markov jump linear system model that captures the dynamics of a control loop closed over the radio link.
