Periodic Sparse Control to Prevent Undetectable Attacks on Over-Actuated Systems

Over-actuated systems, namely systems with more inputs than outputs, can increase control performance, yet are susceptible to model-based undetectable attacks if the actuator channel is compromised. In this paper, we show how implementing a sparse actuator schedule can introduce security by rendering these attacks ineffective. We formulate a novel methodology whereby a periodic sparse schedule, implemented at the actuators, secures the system by ensuring that a malicious adversary cannot exploit actuator redundancy to deploy undetectable attacks. The schedule is designed offline and repeats periodically at the actuators, so that the adversary is constrained to only tamper with the active actuators. We devise a degeneracyaware greedy selection procedure with low computational complexity to design an actuator schedule that renders undetectable attacks ineffective, whilst simultaneously providing relatively small performance degradation. We illustrate the effectiveness of our approach using a reference tracking model predictive controller on the IEEE-39 bus power network employing the designed sparse schedule.

Authors

Institutions

Publication Details

Journal
IEEE Control Systems Letters
Published
2025-01-01
DOI
https://doi.org/10.1109/lcsys.2025.3581865
Citations
1
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
1.50
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Periodic Sparse Control to Prevent Undetectable Attacks on Over-Actuated Systems

Alexander J. Gallo, Luca Ballotta, Riccardo Ferrari, Ivo van Straalen et al.
1 citations
IEEE Control Systems Letters
Formal Methods in Verification
1.50
article

Periodic Sparse Control to Prevent Undetectable Attacks on Over-Actuated Systems

Alexander J. Gallo, Luca Ballotta, Riccardo Ferrari, Ivo van Straalen, Bart Wolleswinkel
article en
1 citations

Abstract

Over-actuated systems, namely systems with more inputs than outputs, can increase control performance, yet are susceptible to model-based undetectable attacks if the actuator channel is compromised. In this paper, we show how implementing a sparse actuator schedule can introduce security by rendering these attacks ineffective. We formulate a novel methodology whereby a periodic sparse schedule, implemented at the actuators, secures the system by ensuring that a malicious adversary cannot exploit actuator redundancy to deploy undetectable attacks. The schedule is designed offline and repeats periodically at the actuators, so that the adversary is constrained to only tamper with the active actuators. We devise a degeneracyaware greedy selection procedure with low computational complexity to design an actuator schedule that renders undetectable attacks ineffective, whilst simultaneously providing relatively small performance degradation. We illustrate the effectiveness of our approach using a reference tracking model predictive controller on the IEEE-39 bus power network employing the designed sparse schedule.

IEEE Control Systems LettersVol. 9
Politecnico di Milano (IT), Delft University of Technology (NL)
Climate action
Openalex Percentile: Top 16%
Formal Methods in Verification
1.50
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Periodic Sparse Control to Prevent Undetectable Attacks on Over-Actuated Systems — Alexander J. Gallo, Luca Ballotta, et al. · IEEE Control Systems Letters (2025) | TGRS Research Map | TGRS