Publications

Journal Articles

1. [J09]

   Output-feedback control with wireless channel state detection and actuation message dropout compensation

   Yuriy Zacchia Lun, Fortunato Santucci, and Alessandro D’Innocenzo

   Nonlinear Analysis: Hybrid Systems, Aug 2026

   DOI Abs PDF Bib

   This paper presents a framework for designing optimal output-feedback controllers that use wireless sensing and actuation links with imperfect channel-state information. Remote system state estimation is performed using a prediction–correction filter that resembles the traditional Kalman filter and incorporates current measurement inputs. The controller computes the current and tentative future control inputs based on the estimated remote system state and the detected wireless channel state. These control inputs are transmitted to actuators as messages. The message dropout compensation strategy for actuation involves scaling the most recent control input when no previously received tentative control inputs are available. We analytically solve finite- and infinite-horizon output-feedback control problems and prove the validity of the separation principle, assuming a reliable mechanism for acknowledging actuation message transmission. We validate the results using an illustrative numerical example that demonstrates the practicality and effectiveness of our framework.

   @article{zacchialun2026nahs,
     author = {Zacchia Lun, Yuriy and Santucci, Fortunato and D'Innocenzo, Alessandro},
     journal = {Nonlinear Analysis: Hybrid Systems},
     title = {Output-feedback control with wireless channel state detection and actuation message dropout compensation},
     year = {2026},
     volume = {61},
     month = aug,
     pages = {101742},
     doi = {10.1016/j.nahs.2026.101742},
   }

2. [J08]

   Wireless control with channel state detection and message dropout compensation

   Yuriy Zacchia Lun, Fortunato Santucci, and Alessandro D’Innocenzo

   IEEE Control Systems Letters, Jul 2025

   DOI Abs PDF Bib

   This letter presents a framework for designing optimal state-feedback control that uses a wireless actuation link with imperfect channel state information to transfer the current and future control inputs that actuators can apply if future control messages are lost. The dropout compensation strategy supports scaling inputs to actuators when necessary. We analytically solve finite- and infinite-horizon control problems and present a necessary and sufficient stability condition for any given infinite-horizon state-feedback control law. We validate the results using an illustrative example.

   @article{zacchialun2025lcss2,
     author = {Zacchia Lun, Yuriy and Santucci, Fortunato and D'Innocenzo, Alessandro},
     journal = {IEEE Control Systems Letters},
     title = {Wireless control with channel state detection and message dropout compensation},
     year = {2025},
     volume = {9},
     month = jul,
     pages = {1399--1404},
     doi = {10.1109/LCSYS.2025.3580048}
   }

3. [J07]

   Optimal control over Markovian wireless communication channels under generalized packet dropout compensation

   Yuriy Zacchia Lun, Francesco Smarra, and Alessandro D’Innocenzo

   Automatica, Jun 2025

   DOI Abs PDF Bib

   Control loops closed over wireless links greatly benefit from accurate estimates of the communication channel condition. To this end, the finite-state Markov channel model allows for reliable channel state estimation. This paper develops a Markov jump linear system representation for wireless networked control with persistent channel state observation, stochastic message losses, and generalized packet dropout compensation. With this model, we solve the finite- and infinite-horizon linear quadratic regulation problems and introduce an easy-to-test stability condition for any given infinite-horizon control law. We also thoroughly analyze the impact of a scalar general dropout compensation factor on the stability and closed-loop performance of a rotary inverted pendulum controlled remotely through a wireless link. Finally, we validate the results numerically via extensive Monte Carlo simulations, showing the benefits of the proposed control strategy.

   @article{zacchialun2025automatica,
     author = {Zacchia Lun, Yuriy and Smarra, Francesco and D'Innocenzo, Alessandro},
     journal = {Automatica},
     title = {Optimal control over {Markovian} wireless communication channels under generalized packet dropout compensation},
     year = {2025},
     volume = {176},
     pages = {112240},
     month = jun,
     doi = {10.1016/j.automatica.2025.112240}
   }

4. [J06]

   Robust linear quadratic regulation over polytopic time-inhomogeneous Markovian channels under generalized packet dropout compensation

   Yuriy Zacchia Lun, Fortunato Santucci, and Alessandro D’Innocenzo

   IEEE Control Systems Letters, Dec 2024

   DOI Abs PDF Bib

   This letter addresses a fundamental issue of time-varying parametric uncertainty affecting unreliable communication links that convey the control commands to actuators in wireless networked control systems. It introduces the polytopic time-inhomogeneous finite-state Markov channel model to account for significant changes in possible propagation channel characteristics and analytically solves the linear quadratic regulation problem under the generalized packet dropout compensation. An example validating the results is presented.

   @article{zacchialun2025lcss,
     author = {Zacchia Lun, Yuriy and Santucci, Fortunato and D'Innocenzo, Alessandro},
     journal = {IEEE Control Systems Letters},
     title = {Robust linear quadratic regulation over polytopic time-inhomogeneous {Markovian} channels under generalized packet dropout compensation},
     year = {2024},
     volume = {8},
     month = dec,
     pages = {3315--3320},
     doi = {10.1109/LCSYS.2024.3521656}
   }

5. [J05]

   Co-designing wireless networked control systems on IEEE 802.15.4-based links under Wi-Fi interference

   Yuriy Zacchia Lun, Claudia Rinaldi, Alessandro D’Innocenzo, and Fortunato Santucci

   IEEE Access, May 2024

   DOI Abs PDF Bib

   This paper proposes an analytical framework for co-designing wireless networked control systems (WNCSs) demonstrated in an industrial scenario. The framework allows us to quantitatively characterize the impact of wireless channel model accuracy when designing a controller to stabilize a WNCS. We consider a scenario consisting of two co-located wireless networks: the first connects the plant automation network backbone to field devices via WirelessHART, ISA-100.11a, or IEEE 802.15.4e, and the second uses IEEE 802.11 equipment to supply real-time multimedia data to the supervisory devices. First, we derive a parametric 802.11 interference characterization for an arbitrary number of active interfering devices and perform extensive parametric analysis. We then derive the message and packet error probability expressions necessary to develop an appropriate finite-state Markov channel model. Finally, we ran sizeable Monte Carlo simulations to evaluate the impact of our channel model on the control performance of a wireless closed-loop system and compared it with the performance obtained using a Bernoulli channel model.

   @article{zacchialun2024access,
     author = {Zacchia Lun, Yuriy and Rinaldi, Claudia and D'Innocenzo, Alessandro and Santucci, Fortunato},
     journal = {IEEE Access},
     title = {Co-designing wireless networked control systems on {IEEE} 802.15.4-based links under {Wi-Fi} interference},
     year = {2024},
     volume = {12},
     month = may,
     pages = {71157--71183},
     doi = {10.1109/ACCESS.2024.3402082}
   }

6. [J04]

   Optimal output-feedback control over Markov wireless communication channels

   Anastasia Impicciatore, Yuriy Zacchia Lun, Pierdomenico Pepe, and Alessandro D’Innocenzo

   IEEE Transactions on Automatic Control, Mar 2024

   DOI Abs PDF Bib

   The communication links connecting components of wireless control systems may be affected by packet losses due to time-varying fading and interference. We consider a wireless control network (WCN) with double-sided packet-losses: on the sensor-controller link (sensing link) and controller-actuator link (actuation link). We model the sensing and actuation links as finite-state Markov channels (FSMCs). One time-step delay affects the actuation link mode observation, while the sensing link mode observation is not affected by any delay. In this paper, we solve, as our main contribution, the optimal output-feedback control problem in this FSMC setting (under a TCP-like communication scheme) using two different state estimation techniques: Luenberger observer and current estimator, comparing the two methodologies and deriving a separation principle for both the cases. We also derive detectability conditions guaranteeing the existence of an optimal observer, either Luenberger or current.

   @article{impicciatore2024tac,
     author = {Impicciatore, Anastasia and Zacchia Lun, Yuriy and Pepe, Pierdomenico and D'Innocenzo, Alessandro},
     journal = {IEEE Transactions on Automatic Control},
     title = {Optimal output-feedback control over {Markov} wireless communication channels},
     year = {2024},
     volume = {69},
     number = {3},
     month = mar,
     pages = {1643--1658},
     doi = {10.1109/TAC.2023.3328268}
   }

7. [J03]

   Railway cyber-security in the era of interconnected systems: A survey

   Simone Soderi, Daniele Masti, and Yuriy Zacchia Lun

   IEEE Transactions on Intelligent Transportation Systems, Mar 2023

   DOI Abs PDF Bib

   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.

   @article{soderi2023tits,
     title = {Railway cyber-security in the era of interconnected systems: A survey},
     author = {Soderi, Simone and Masti, Daniele and Zacchia Lun, Yuriy},
     journal = {IEEE Transactions on Intelligent Transportation Systems},
     year = {2023},
     month = mar,
     publisher = {IEEE},
     doi = {10.1109/TITS.2023.3254442},
     pages = {6764--6779},
     volume = {24},
     number = {7},
   }

8. [J02]

   Robust stability of polytopic time-inhomogeneous Markov jump linear systems

   Yuriy Zacchia Lun, Alessandro D’Innocenzo, and Maria Domenica Di Benedetto

   Automatica, Apr 2019

   DOI Abs PDF Bib

   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-varying. In this article, we take into account the uncertainty and time-variance of the jump parameters by considering the underlying Markov chain as polytopic and time-inhomogeneous, i.e., its TPM is varying over time with variations that are arbitrary within a polytopic set of stochastic matrices. We show that the conditions used for time-homogeneous dtMJLSs are not enough to ensure the stability of the time-inhomogeneous system, and that perturbations on values of the TPM can make a stable system unstable. We present necessary and sufficient conditions for mean square stability (MSS) of polytopic time-inhomogeneous dtMJLSs, prove that deciding MSS on such systems is NP-hard and that MSS is equivalent to exponential MSS and to stochastic stability. We also derive necessary and sufficient conditions for robust MSS of dtMJLSs affected by polytopic uncertainties on transition probabilities and bounded disturbances.

   @article{zacchialun2019automatica,
     title = {Robust stability of polytopic time-inhomogeneous {Markov} jump linear systems},
     author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Di Benedetto, Maria Domenica},
     journal = {Automatica},
     volume = {105},
     pages = {286--297},
     year = {2019},
     month = apr,
     publisher = {Elsevier},
     doi = {10.1016/j.automatica.2019.03.031},
   }

9. [J01]

   State of the art of cyber-physical systems security: An automatic control perspective

   Yuriy Zacchia Lun, Alessandro D’Innocenzo, Francesco Smarra, Ivano Malavolta, and Maria Domenica Di Benedetto

   Journal of Systems and Software, Mar 2019

   DOI Abs PDF Bib

   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 systems from an automatic control perspective. The provided map of 138 selected studies is defined empirically and 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.

   @article{zacchialun2019jss,
     title = {State of the art of cyber-physical systems security: An automatic control perspective},
     author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Smarra, Francesco and Malavolta, Ivano and Di Benedetto, Maria Domenica},
     journal = {Journal of Systems and Software},
     volume = {149},
     pages = {174--216},
     year = {2019},
     month = mar,
     doi = {10.1016/j.jss.2018.12.006},
     organization = {Elsevier}
   }

Conference Articles

1. [C18]

   Data driven finite abstractions by simulation relations with probabilistic guarantees using regression trees

   Alessandro D’Innocenzo, Khalil Ul Rehman, and Yuriy Zacchia Lun

   In 64th IEEE Conference on Decision and Control (CDC), Dec 2025

   DOI Abs PDF Bib

   In this paper we propose a novel methodology to construct, given trajectories measured from a dynamical system, a finite abstraction by means of a transition system. We prove that our abstraction is a simulation of the original dynamical system, providing quantified probabilistic guarantees derived using the scenario approach. We test our methodology on a benchmark on hybrid systems showing that it strongly reduces the cardinality of the abstraction states with respect to a uniform grid, and is thus very promising for handling abstractions of large dimensional systems.

   @inproceedings{dinnocenzo2025cdc,
     author = {D'Innocenzo, Alessandro and Rehman, Khalil Ul and Zacchia Lun, Yuriy},
     booktitle = {64th IEEE Conference on Decision and Control (CDC)},
     title = {Data driven finite abstractions by simulation relations with probabilistic guarantees using regression trees},
     year = {2025},
     pages = {7044--7049},
     doi = {10.1109/CDC57313.2025.11312108},
     month = dec,
     organization = {IEEE},
   }

2. [C17]

   Model predictive control for speed regulation of autonomous vehicles at road intersections and performance evaluation in a V2X communication scenario

   Angelo Fasciani, Yuriy Zacchia Lun, Francesco Smarra, and Alessandro D’Innocenzo

   In 21st IEEE International Conference on Automation Science and Engineering (CASE), Aug 2025

   DOI Abs PDF Bib

   The paper aims at evaluating the performance of a centralised control strategy, based on a scheduling procedure and MPC (model predictive control), that regulates the crossing of a four-way intersection by autonomous vehicles avoiding collisions in a V2X (vehicle-to-everything) communication scenario. In particular, we evaluate the performance considering different communication channel gain conditions, with packet loss process implemented through a Bernoullian probabilistic model based on the V2X communication protocol, as well as the impact of transmitting to the vehicles control aggregated commands of multiple future time horizons.

   @inproceedings{faciani2025case,
     title = {Model predictive control for speed regulation of autonomous vehicles at road intersections and performance evaluation in a {V2X} communication scenario},
     author = {Fasciani, Angelo and Zacchia Lun, Yuriy and Smarra, Francesco and D'Innocenzo, Alessandro},
     booktitle = {21st IEEE International Conference on Automation Science and Engineering (CASE)},
     year = {2025},
     month = aug,
     organization = {IEEE},
     pages = {2710--2715},
     doi = {10.1109/CASE58245.2025.11164147}
   }

3. [C16]

   Analysis of communication and control performance of multi-hop IEEE 802.15.4-based WNCSs under Wi-Fi interference

   Muhammad Azeem Khan, Yuriy Zacchia Lun, Piergiuseppe Di Marco, Aamir Mahmood, Fortunato Santucci, and Mikael Gidlund

   In 21st IEEE International Conference on Factory Communication Systems (WFCS), Jun 2025

   DOI Abs PDF Bib

   This paper investigates a co-design framework for wireless networked control systems (WNCSs) that integrates multi-hop IEEE 802.15.4-based links under Wi-Fi interference, addressing the challenges of signal-to-interference-plus-noise ratio (SINR) degradation in adverse industrial environments. Multi-hop configurations are essential for extending the operational range and improving SINR in harsh propagation conditions, but they introduce trade-offs in control stability, latency, and computational complexity. We investigate the impact of multi-hop communication on system performance, comparing Bernoulli and Markovian control strategies. Our results demonstrate that multi-hop links effectively extend the operational range and mitigate SINR degradation, but at the cost of increased latency and computational cost. We analyze the spectral radius of the system stability verification matrix and control costs for Bernoulli and Markovian control strategies, illustrating that network latency and hop counts can be balanced while maintaining the stability of the multi-hop WNCS. Markovian strategy, although more computationally intensive, outperforms Bernoulli strategy under high interference, offering a robust solution for industrial WNCSs. The proposed framework provides a practical approach for deploying reliable WNCSs in interference-prone environments.

   @inproceedings{khan2025wfcs,
     title = {Analysis of communication and control performance of multi-hop {IEEE} 802.15.4-based {WNCSs} under {Wi-Fi} interference},
     author = {Khan, Muhammad Azeem and Zacchia Lun, Yuriy and Di Marco, Piergiuseppe and Mahmood, Aamir and Santucci, Fortunato and Gidlund, Mikael},
     booktitle = {21st IEEE International Conference on Factory Communication Systems (WFCS)},
     pages = {1--8},
     year = {2025},
     month = jun,
     organization = {IEEE},
     doi = {10.1109/WFCS63373.2025.11077614}
   }

4. [C15]

   Wireless networked control over lossy uplinks abstracted by finite-state Markov channels

   Yuriy Zacchia Lun, Claudia Rinaldi, Fortunato Santucci, and Alessandro D’Innocenzo

   In 22nd IFAC World Congress: IFAC-PapersOnLine (56) 2, Jul 2023

   DOI Abs PDF Bib

   Networked control systems using wireless links to convey information among sensors, controllers, and actuators greatly benefit from having an accurate estimate of the communication channel condition. To this end, the finite-state Markov channel abstraction allows for reliable channel state estimation. This paper develops a Markov jump linear system representation for wireless networked control with intermittent channel state observation, message losses, and generalized hold-input dropout compensation. Furthermore, it exploits the emerging structural properties of the system to solve the finite-horizon linear quadratic regulation problem efficiently.

   @inproceedings{zacchialun2023ifac,
     title = {Wireless networked control over lossy uplinks abstracted by finite-state {Markov} channels},
     author = {Zacchia Lun, Yuriy and Rinaldi, Claudia and Santucci, Fortunato and D'Innocenzo, Alessandro},
     booktitle = {22nd IFAC World Congress: IFAC-PapersOnLine (56) 2},
     pages = {3041--3047},
     year = {2023},
     month = jul,
     organization = {Elsevier},
     doi = {10.1016/j.ifacol.2023.10.1432}
   }

5. [C14]

   Secure state estimation over Markov wireless communication channels

   Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun, Alessandro D’Innocenzo, and George J. Pappas

   In 61st IEEE Conference on Decision and Control (CDC), Dec 2022

   DOI Abs PDF Bib

   This note studies state estimation in wireless networked control systems with secrecy against eavesdropping. 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.

   @inproceedings{impicciatore2022cdc,
     title = {Secure state estimation over {Markov} wireless communication channels},
     author = {Impicciatore, Anastasia and Tsiamis, Anastasios and Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Pappas, George J.},
     booktitle = {61st IEEE Conference on Decision and Control (CDC)},
     pages = {2935--2940},
     year = {2022},
     month = dec,
     organization = {IEEE},
     doi = {10.1109/CDC51059.2022.9992668},
   }

6. [C13]

   Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios

   Anastasia Impicciatore, Yuriy Zacchia Lun, Pierdomennico Pepe, and Alessandro D’Innocenzo

   In 2021 American Control Conference (ACC), May 2021

   DOI Abs PDF Bib

   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.

   @inproceedings{impicciatore2021acc,
     title = {Optimal output-feedback control and separation principle for {Markov} jump linear systems modeling wireless networked control scenarios},
     author = {Impicciatore, Anastasia and Zacchia Lun, Yuriy and Pepe, Pierdomennico and D'Innocenzo, Alessandro},
     booktitle = {2021 American Control Conference (ACC)},
     pages = {2700--2706},
     year = {2021},
     month = may,
     organization = {IEEE},
     doi = {10.23919/ACC50511.2021.9482674},
   }

7. [C12]

   Learning Markov models of fading channels in wireless control networks: a regression trees based approach

   Luis Felipe Florenzan Reyes, Francesco Smarra, Yuriy Zacchia Lun, and Alessandro D’Innocenzo

   In 29th Mediterranean Conference on Control and Automation (MED), Jun 2021

   DOI Abs PDF Bib

   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.

   @inproceedings{florenzan2021med,
     title = {Learning {Markov} models of fading channels in wireless control networks: a regression trees based approach},
     author = {Florenzan Reyes, Luis Felipe and Smarra, Francesco and Zacchia Lun, Yuriy and D'Innocenzo, Alessandro},
     booktitle = {29th Mediterranean Conference on Control and Automation (MED)},
     pages = {232--237},
     year = {2021},
     month = jun,
     organization = {IEEE},
     doi = {10.1109/MED51440.2021.9480310},
   }

8. [C11]

   On the impact of accurate radio link modeling on the performance of WirelessHART control networks

   Yuriy Zacchia Lun, Claudia Rinaldi, Amal Alrish, Alessandro D’Innocenzo, and Fortunato Santucci

   In 39th IEEE Conference on Computer Communications (INFOCOM), Jul 2020

   DOI Abs PDF Bib

   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. Specifically, we first develop and validate a Markov channel model that abstracts the WirelessHART radio link subject to channel impairments and interference. The link quality metrics introduced in the theoretical framework are validated in order to enable the accurate representation of the average and extreme behavior of the radio link. By adopting these metrics, it is straightforward to handle a consistent finite-state abstraction. On the basis of such a model, we then derive a stationary Markov jump linear system model that captures the dynamics of a control loop closed over the radio link. Subsequently, we show that our modeling framework is able to discover and manage the challenging subtleties arising from bursty behavior. A relevant theoretical outcome consists in designing a controller that guarantees stability and improves control performance of the closed-loop system, where other approaches based on a simplified channel model fail.

   @inproceedings{zacchialun2020infocom,
     title = {On the impact of accurate radio link modeling on the performance of {WirelessHART} control networks},
     author = {Zacchia Lun, Yuriy and Rinaldi, Claudia and Alrish, Amal and D'Innocenzo, Alessandro and Santucci, Fortunato},
     booktitle = {39th IEEE Conference on Computer Communications (INFOCOM)},
     pages = {2430--2439},
     year = {2020},
     month = jul,
     organization = {IEEE},
     doi = {10.1109/INFOCOM41043.2020.9155285},
   }

9. [C10]

   Stabilizability of Markov jump linear systems modeling wireless networked control scenarios

   Yuriy Zacchia Lun and Alessandro D’Innocenzo

   In 58th IEEE Conference on Decision and Control (CDC), Dec 2019

   DOI Abs PDF Bib

   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.

   @inproceedings{zacchialun2019cdc,
     title = {Stabilizability of {Markov} jump linear systems modeling wireless networked control scenarios},
     author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro},
     booktitle = {58th IEEE Conference on Decision and Control (CDC)},
     pages = {5766--5772},
     year = {2019},
     month = dec,
     organization = {IEEE},
     doi = {10.1109/CDC40024.2019.9029202},
   }

10. [C09]

    Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems

    Yuriy Zacchia Lun, Alessandro Abate, and Alessandro D’Innocenzo

    In 17th European Control Conference (ECC), Jun 2019

    DOI Abs PDF Bib

    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.

    @inproceedings{zacchialun2019ecc,
      title = {Linear quadratic regulation of polytopic time-inhomogeneous {Markov} jump linear systems},
      author = {Zacchia Lun, Yuriy and {Abate}, Alessandro and D'Innocenzo, Alessandro},
      booktitle = {17th European Control Conference (ECC)},
      pages = {4094--4099},
      year = {2019},
      month = jun,
      organization = {IEEE},
      doi = {10.23919/ECC.2019.8796279},
    }

11. [C08]

    Work in progress: Systematic derivation of accurate analytic Markov channel models for industrial control

    Amal Alrish, Yuriy Zacchia Lun, Alessandro D’Innocenzo, and Fortunato Santucci

    In 15th IEEE International Workshop on Factory Communication Systems (WFCS), May 2019

    DOI Abs PDF Bib Award

    BWiP_award_WFCS_2019.pdf

    The motivation of this work is to systematically derive an accurate Markov channel model suitable to represent any industrial communication protocol. This model accounts for both channel and control dynamics. Our analytic model is derived by taking into account multiple interferers and physical phenomena characterizing a communication link. Our finite-state Markov channel model matches both average packet error probability and worst case bursty behavior of the accurate analytic model of the channel.

    @inproceedings{alrish2019wfcs,
      title = {Work in progress: Systematic derivation of accurate analytic {Markov} channel models for industrial control},
      author = {Alrish, Amal and Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Santucci, Fortunato},
      booktitle = {15th IEEE International Workshop on Factory Communication Systems (WFCS)},
      pages = {1--4},
      year = {2019},
      month = may,
      organization = {IEEE},
      doi = {10.1109/WFCS.2019.8757917},
    }

12. [C07]

    Approximate abstractions of Markov chains with interval decision processes

    Yuriy Zacchia Lun, Jack Wheatley, Alessandro D’Innocenzo, and Alessandro Abate

    In 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS): IFAC-PapersOnLine (51) 16, Jul 2018

    DOI Abs PDF Bib

    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.

    @inproceedings{zacchialun2018adhs,
      title = {Approximate abstractions of {Markov} chains with interval decision processes},
      author = {Zacchia Lun, Yuriy and Wheatley, Jack and D'Innocenzo, Alessandro and Abate, Alessandro},
      booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS): IFAC-PapersOnLine (51) 16},
      pages = {91--96},
      year = {2018},
      month = jul,
      organization = {Elsevier},
      doi = {10.1016/j.ifacol.2018.08.016},
    }

13. [C06]

    Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems

    Yuriy Zacchia Lun, Alessandro D’Innocenzo, Alessandro Abate, and Maria Domenica Di Benedetto

    In 56th IEEE Conference on Decision and Control (CDC), Dec 2017

    DOI Abs PDF Bib

    Markov-jump linear systems (MJLSs) allow representing linear systems subject to abrupt parameter changes modeled as a Markov chain, and are useful in many application domains. In most real cases the transition probabilities between operational modes of such systems cannot be computed exactly and are time-varying. We take into account this aspect by considering MJLSs 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 finite horizon optimal control and filtering problems. In particular, we show that the optimal controller having only partial information on the continuous state can be obtained from two types of coupled Riccati difference equations (CRDEs), one associated to the control problem, and the other one associated to the filtering problem.

    @inproceedings{zacchialun2017cdc,
      title = {Optimal robust control and a separation principle for polytopic time-inhomogeneous {Markov} jump linear systems},
      author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Abate, Alessandro and Di Benedetto, Maria Domenica},
      booktitle = {56th IEEE Conference on Decision and Control (CDC)},
      pages = {6525--6530},
      year = {2017},
      month = dec,
      organization = {IEEE},
      doi = {10.1109/CDC.2017.8264642},
    }

14. [C05]

    Robust LQR for time-inhomogeneous Markov jump switched linear systems

    Yuriy Zacchia Lun, Alessandro D’Innocenzo, and Maria Domenica Di Benedetto

    In 20th IFAC World Congress: IFAC-PapersOnLine (50) 1, Jul 2017

    DOI Abs PDF Bib

    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 that are arbitrary within a polytopic set. We present and solve for this class of systems the finite horizon optimal control problem.

    @inproceedings{zacchialun2017ifac1,
      title = {Robust {LQR} for time-inhomogeneous {Markov} jump switched linear systems},
      author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and {Di Benedetto}, Maria Domenica},
      booktitle = {20th IFAC World Congress: IFAC-PapersOnLine (50) 1},
      pages = {2199--2204},
      year = {2017},
      month = jul,
      organization = {Elsevier},
      doi = {10.1016/j.ifacol.2017.08.281},
    }

15. [C04]

    Robust stability of time-inhomogeneous Markov jump linear systems

    Yuriy Zacchia Lun, Alessandro D’Innocenzo, and Maria Domenica Di Benedetto

    In 20th IFAC World Congress: IFAC-PapersOnLine (50) 1, Jul 2017

    DOI Abs PDF Bib

    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.

    @inproceedings{zacchialun2017ifac2,
      title = {Robust stability of time-inhomogeneous {Markov} jump linear systems},
      author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Di Benedetto, Maria Domenica},
      booktitle = {20th IFAC World Congress: IFAC-PapersOnLine (50) 1},
      pages = {3418--3423},
      year = {2017},
      month = jul,
      organization = {Elsevier},
      doi = {10.1016/j.ifacol.2017.08.838},
    }

16. [C03]

    On stability of time-inhomogeneous Markov jump linear systems

    Yuriy Zacchia Lun, Alessandro D’Innocenzo, and Maria Domenica Di Benedetto

    In 55th IEEE Conference on Decision and Control (CDC), Dec 2016

    DOI Abs PDF Bib

    In this work we present necessary and sufficient conditions for mean square stability (MSS) of discrete-time time-inhomogeneous Markov jump linear systems (MJLS) affected by polytopic uncertainties on transition probabilities. We also prove that deciding MSS on such systems is NP-hard and that MSS is equivalent to exponential mean square stability (EMSS) and to stochastic stability (SS).

    @inproceedings{zacchialun2016cdc,
      title = {On stability of time-inhomogeneous {Markov} jump linear systems},
      author = {Zacchia Lun, Yuriy and D'Innocenzo, Alessandro and Di Benedetto, Maria Domenica},
      booktitle = {55th IEEE Conference on Decision and Control (CDC)},
      year = {2016},
      month = dec,
      pages = {5527--5532},
      organization = {IEEE},
      doi = {10.1109/CDC.2016.7799118},
    }

17. [C02]

    WSN-aided people localization: A ray tracing network planning and performance analysis tool

    Yuriy Zacchia Lun, Stefano Tennina, Marco Di Renzo, Fabio Graziosi, and Christos Verikoukist

    In 11th ACM Conference on Embedded Networked Sensor Systems (SenSys), Nov 2013

    DOI Abs Bib

    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 proposes the use of a ray tracing model for network planning, to support efficient people localization and performance analysis. Preliminary results show accurate radio coverage estimations, with a minimal calibration effort.

    @inproceedings{zacchialun2013wsn,
      title = {{WSN}-aided people localization: A ray tracing network planning and performance analysis tool},
      author = {Zacchia Lun, Yuriy and Tennina, Stefano and Di Renzo, Marco and Graziosi, Fabio and Verikoukist, Christos},
      booktitle = {11th ACM Conference on Embedded Networked Sensor Systems (SenSys)},
      year = {2013},
      month = nov,
      organization = {ACM},
      publisher = {ACM},
      doi = {10.1145/2517351.2517406},
    }

18. [C01]

    WSN4QoL: Wireless sensor networks for quality of life

    Stefano Tennina, Elli Kartsakli, Aristeidis Lalos, Angelos Antonopoulos, P-V Mekikis, Marco Di Renzo, Yuriy Zacchia Lun, Fabio Graziosi, Luis Alonso, and Christos Verikoukis

    In 15th IEEE International Conference on e-Health Networking, Applications and Services (HealthCom), Oct 2013

    DOI Abs Bib

    Life expectancy is projected to increase significantly in the coming years. This fact has pushed the need for designing 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 their own safety, without affecting their daily activities. This paper proposes recent advancements in this field by introducing WSN4QoL, a Marie Curie project which involves academic and industrial partners from three EU countries. The project aims to propose new WSN-based technologies to meet the specific requirements of pervasive healthcare applications. In particular, in this paper, a Network Coding (NC) mechanism and a distributed localization solution are presented. They have been implemented on WSN testbeds to achieve efficiency in the communications and to enable indoor people tracking. Preliminary results in a real environment show good system performance that meet our expectations.

    @inproceedings{tennina2013wsn4qol,
      title = {{WSN4QoL}: Wireless sensor networks for quality of life},
      author = {Tennina, Stefano and Kartsakli, Elli and Lalos, Aristeidis and Antonopoulos, Angelos and Mekikis, P-V and Di Renzo, Marco and Zacchia Lun, Yuriy and Graziosi, Fabio and Alonso, Luis and Verikoukis, Christos},
      booktitle = {15th IEEE International Conference on e-Health Networking, Applications and Services (HealthCom)},
      pages = {277--279},
      year = {2013},
      month = oct,
      organization = {IEEE},
      doi = {10.1109/HealthCom.2013.6720683},
    }

Theses

1. [T01]

   Stability and optimal control of polytopic time-inhomogeneous Markov jump linear systems

   Yuriy Zacchia Lun

   Gran Sasso Science Institute (GSSI), Oct 2017

   Advisors: Maria Domenica Di Benedetto and Alessandro D’Innocenzo

   HTML PDF Bib

   @phdthesis{zacchialun2017thesis,
     title = {Stability and optimal control of polytopic time-inhomogeneous {Markov} jump linear systems},
     author = {Zacchia Lun, Yuriy},
     key_show = {PhD dissertation},
     school = {Gran Sasso Science Institute (GSSI)},
     address = {L'Aquila, Italy},
     year = {2017},
     month = oct,
     note = {Advisors: Maria Domenica Di Benedetto and Alessandro D'Innocenzo},
   }