6 Hits in 0.73 sec

Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version) [article]

Yuriy Zacchia Lun, Alessandro D'Innocenzo
2019 arXiv   pre-print
Zacchia Lun is with the IMT School for Advanced Studies Lucca, Italy. A.  ... 
arXiv:1907.12403v2 fatcat:yq7hjvck6zdrtffhcnpfip6n3a

Approximate Abstractions of Markov Chains with Interval Decision Processes

Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate
2018 IFAC-PapersOnLine  
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
more » ... 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.
doi:10.1016/j.ifacol.2018.08.016 fatcat:fc4awe5safe3fdvjo73dwpdoye

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

Yuriy Zacchia Lun, Alessandro D'Innocenzo, Francesco Smarra, Ivano Malavolta, Maria Domenica Di Benedetto
2019 Journal of Systems and Software  
After having solved the fundamental problems of stability and optimal control ( Zacchia Lun et al., 2016; , we are now approaching the issues of fault (and attack) detection and isolation.  ... 
doi:10.1016/j.jss.2018.12.006 fatcat:dv2hrhfhevfofgh57mvdq3gvbm

Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios (extended version) [article]

Anastasia Impicciatore, Yuriy Zacchia Lun, Pierdomenico Pepe, Alessandro D'Innocenzo
2021 arXiv   pre-print
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
more » ... timal 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.
arXiv:2103.08992v3 fatcat:q5te72h7dralzfpurtt3rxp4yi

The 15th IEEE International Workshop on Factory Communication Systems [Society News]

Eric Monmasson
2019 IEEE Industrial Electronics Magazine  
The Best WIP Award went to Amal Alrish, Yuriy Zacchia Lun, Alessandro D'Innocenzo, and Fortunato Santucci for "Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control."  ... 
doi:10.1109/mie.2019.2929334 fatcat:t5u7yroufzb6xggv25bxwt2e3i

Machine learning methods for control, identification, and estimation

Daniele Masti
Yuriy Zacchia Lun, Dr.  ... 
doi:10.13118/imtlucca/e-theses/342 fatcat:x3qgtp3dafgtjgbgk3q6m6xivq