A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version)
[article]
2019
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2018
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1804.08554v1 fatcat:kqa4bsfpfjdhthyibvc2ys7rei
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
doi:10.1016/j.ifacol.2018.08.016
fatcat:fc4awe5safe3fdvjo73dwpdoye
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.
State of the art of cyber-physical systems security: An automatic control perspective
2019
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2103.08992v2 fatcat:3wg2udcmkrdcxhtgzdoubbwimeOther Versions
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
arXiv:2103.08992v3
fatcat:q5te72h7dralzfpurtt3rxp4yi
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.
The 15th IEEE International Workshop on Factory Communication Systems [Society News]
2019
IEEE Industrial Electronics Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Yuriy Zacchia Lun, Dr. ...
doi:10.13118/imtlucca/e-theses/342
fatcat:x3qgtp3dafgtjgbgk3q6m6xivq