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
Zacchia Lun is with the IMT School for Advanced Studies Lucca, Italy. A. ...arXiv:1907.12403v2 fatcat:yq7hjvck6zdrtffhcnpfip6n3a
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 isdoi: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.
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
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 feedbackarXiv: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 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