Yuriy Zacchia Lun

Yuriy Zacchia Lun
Università degli Studi dell'Aquila | Università dell'Aquila · Department of Information Engineering, Computer Science and Mathematics

PhD

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.
Additional affiliations
June 2018 - February 2022
IMT School for Advanced Studies Lucca
Position
  • Research collaborator
July 2017 - May 2018
Università degli Studi dell'Aquila
Position
  • Research collaborator
Description
  • Formal verification for security in cyber-physical systems
February 2017 - July 2017
University of Oxford
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
Gran Sasso Science Institute
Field of study
  • Computer Science
October 2008 - March 2012
Università degli Studi dell'Aquila
Field of study
  • Telecommunications Engineering

Publications

Publications (21)
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Conference Paper
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...
Preprint
Full-text available
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...
Preprint
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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.
Article
Full-text available
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...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...

Network

Cited By

Projects

Project (1)
Project
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.