175 citations · 269 across the 17 of their papers we have counts for
18 papers
Secure state estimation over Markov wireless communication channels (extended version)
Anastasia Impicciatore, Anastasios Tsiamis, Yuriy Zacchia Lun +2
This note studies state estimation in wireless networked control systems with secrecy against eavesdropping. Specifically, a sensor transmits a system state information to the esti…
Learning Markov models of fading channels in wireless control networks: a regression trees based approach
Luis Felipe Florenzan Reyes, Francesco Smarra, Yuriy Zacchia Lun +1
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 environm…
Sufficient Lyapunov conditions for exponential mean square stability of discrete-time systems with markovian delays (extended version)
Anastasia Impicciatore, Maria Teresa Grifa, Pierdomenico Pepe +1
This paper introduces sufficient Lyapunov conditions guaranteeing exponential mean square stability of discrete-time systems with markovian delays. We provide a transformation of t…
Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios (extended version)
Anastasia Impicciatore, Yuriy Zacchia Lun, Pierdomenico Pepe +1
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 a…
NeurOpt: Neural network based optimization for building energy management and climate control
Achin Jain, Francesco Smarra, Enrico Reticcioli +2
Model predictive control (MPC) can provide significant energy cost savings in building operations in the form of energy-efficient control with better occupant comfort, lower peak d…
Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version)
Yuriy Zacchia Lun, Alessandro D'Innocenzo
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 a…
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version)
Y. Zacchia Lun, A. Abate, A. D'Innocenzo
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 aspec…
Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)
Y. Zacchia Lun, J. Wheatley, A. D'Innocenzo +1
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 Ma…
Cyber-Physical Systems Security: a Systematic Mapping Study
Yuriy Zacchia Lun, Alessandro D'Innocenzo, Ivano Malavolta +1
Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences…
Co-design of controller and routing redundancy over a wireless network
G. D. Di Girolamo, A. D'Innocenzo, M. D. Di Benedetto
In this paper we investigate the exploitation of redundancy when routing actuation data to a discrete-time LTI system connected to the controller via a wireless network affected by…
A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays
Antonio Cicone, Alessandro D'Innocenzo, Nicola Guglielmi +1
We consider the optimal control design problem for discrete-time LTI systems with state feedback, when the actuation signal is subject to unmeasurable switching propagation delays,…
Modeling, analysis and design of linear systems with switching delays
R. M. Jungers, A. D'Innocenzo, M. D. Di Benedetto
We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching pro…
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks
A. D'Innocenzo, M. D. Di Benedetto, F. Smarra
A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-h…
Optimal co-design of control, scheduling and routing in multi-hop control networks
F. Smarra, A. D'Innocenzo, M. D. Di Benedetto
A Multi-hop Control Network consists of a plant where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication netw…
Feedback stabilization of dynamical systems with switched delays
Raphael M. Jungers, Alessandro D'Innocenzo, Maria D. Di Benedetto
We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless…
Link Failure Detection in Multi-hop Control Networks
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensors, actuators and computational unit is supported by a wireless multi-hop communication n…
Digital Self Triggered Robust Control of Nonlinear Systems
M. D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo
In this paper we develop novel results on self triggering control of nonlinear systems, subject to perturbations and actuation delays. First, considering an unperturbed nonlinear s…
Fault Tolerant Stabilizability of Multi-Hop Control Networks
Maria D. Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra
A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication net…