Stealthy deception attacks on water SCADA systems

DOI10.1145/1755952.1755976zbMath1360.93315OpenAlexW4298286346MaRDI QIDQ2985877

Saurabh Amin, Alexandre M. Bayen, Xavier Litrico, Shankar S. Sastry

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1755952.1755976

zbMATH Keywords

water managementsecure control systemsswitching PDEs

Mathematics Subject Classification ID

Control/observation systems governed by partial differential equations (93C20) Automated systems (robots, etc.) in control theory (93C85) Hierarchical systems (93A13) Water waves, gravity waves; dispersion and scattering, nonlinear interaction (76B15) Adaptive or robust stabilization (93D21)

Related Items (11)

Resilient decentralized sampled-data \(H_\infty\) filter design for linear interconnected systems subject to denial-of-service attacks ⋮ A safety preserving control architecture for cyber‐physical systems ⋮ Regret bounds for online-learning-based linear quadratic control under database attacks ⋮ Synthesis of covert actuator attackers for free ⋮ A game-theoretic method for cross-layer stochastic resilient control design in CPS ⋮ Stochastic coding detection scheme in cyber-physical systems against replay attack ⋮ Towards quantifying the impact of randomly occurred attacks on a class of networked control systems ⋮ Antagonistic control ⋮ Distributed event-triggered control for multi-agent systems under intermittently random denial-of-service attacks ⋮ On the computational complexity of the secure state-reconstruction problem ⋮ A secure control framework for resource-limited adversaries

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Stealthy deception attacks on water SCADA systems