activity
20112022
most citedCyber-Physical Systems Security: a Systematic Mapping Study

175 citations · 269 across the 17 of their papers we have counts for

collaborators

18 papers

eess.SY2022★ 1 cited

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…

eess.SY2021

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…

eess.SY2021★ 1 cited

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…

math.OC2021★ 1 cited

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…

eess.SY2020★ 12 cited

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…

eess.SY2019★ 16 cited

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…

eess.SY2019★ 3 cited

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…

eess.SY2018★ 6 cited

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…

eess.SY2016★ 175 cited

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…

math.OC2015★ 4 cited

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…

eess.SY2015

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,…

math.OC2014★ 2 cited

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…

math.OC2013★ 10 cited

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…

math.OC2012★ 21 cited

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…

math.OC2012★ 5 cited

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…

math.OC2011★ 3 cited

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…

math.OC2011★ 1 cited

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…

math.OC2011★ 8 cited

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…