This paper studies a secure iterative interval estimation approach for cyber-physical systems subject to stealthy deception attacks. Under the hypothesis that the system is accessed by a stealthy attack, an iteration scheme integrating the T-N-L observer framework is employed to reconstruct the system state. With the help of a structure separation method, a sufficient condition in terms of linear matrix inequality is provided to obtain convergent observation errors under deception attacks. Resorting to the reachability analysis, a secure state interval is built by means of the analyzed attack bounds and the observation error interval. Simulation studies verify the effectiveness of the proposed method for attack and attack-free cases.
AlamoTBravoJMCamachoEF (2005) Guaranteed state estimation by zonotopes. Automatica41(6): 1035–1043.
2.
BoydSEl GhaouiLFeronE, et al. (1994) Linear Matrix Inequalities in System and Control Theory. Philadelphia, PA: Society for Industrial and Applied Mathematics.
3.
ChattopadhyayAMitraU (2019) Security against false data-injection attack in cyber-physical systems. IEEE Transactions on Control of Network Systems7(2): 1015–1027.
4.
ChongMSSandbergHTeixeiraAM (2019) A tutorial introduction to security and privacy for cyber-physical systems. In: 2019 18th European control conference (ECC), Naples, 25–28 June, pp. 968–978. New York: IEEE.
5.
CintugluMHMohammedOAAkkayaK, et al. (2016) A survey on smart grid cyber-physical system testbeds. IEEE Communications Surveys and Tutorials19(1): 446–464.
6.
CombastelC (2015) Zonotopes and Kalman observers: Gain optimality under distinct uncertainty paradigms and robust convergence. Automatica55: 265–273.
7.
DegueKHEfimovDLe NyJ, et al. (2018) Interval observers for secure estimation in cyber-physical systems. In: 2018 IEEE conference on decision and control (CDC), Miami, FL, 17–19 December, pp. 4559–4564. New York: IEEE.
DibajiSMPiraniMFlamholzDB, et al. (2019) A systems and control perspective of CPS security. Annual Reviews in Control47: 394–411.
10.
DingDHanQLXiangY, et al. (2018) A survey on security control and attack detection for industrial cyber-physical systems. Neurocomputing275: 1674–1683.
11.
DuDChenRLiX, et al. (2019) Malicious data deception attacks against power systems: A new case and its detection method. Transactions of the Institute of Measurement and Control41(6): 1590–1599.
12.
EfimovDPerruquettiWRaïssiT, et al. (2013) Interval observers for time-varying discrete-time systems. IEEE Transactions on Automatic Control58(12): 3218–3224.
13.
FanJHuangJZhaoX (2021) Improved interval estimation method for cyber-physical systems under stealthy deception attacks. IEEE Transactions on Signal and Information Processing Over Networks8: 1–11.
14.
GirardALe GuernicCMalerO (2006) Efficient computation of reachable sets of linear time-invariant systems with inputs. In: HespanhaJPTiwariA (eds) International Workshop on Hybrid Systems: Computation and Control. Berlin: Springer, pp. 257–271.
HuangJFanJDinhTN, et al. (2023) Event-triggered interval estimation method for cyber–physical systems with unknown inputs. ISA Transactions135: 1–12.
17.
KühnW (1998) Rigorously computed orbits of dynamical systems without the wrapping effect. Computing61(1): 47–67.
18.
LeeEASeshiaSA (2016) Introduction to Embedded Systems: A Cyber-Physical Systems Approach. Cambridge, MA: MIT Press.
19.
LiJWangZShenY, et al. (2023) Attack detection for cyber-physical systems: A zonotopic approach. IEEE Transactions on Automatic Control.
20.
LiWQianHZhangM, et al. (2022) Stealthy replay attack detection of 3-DOF helicopter benchmark system using dynamic watermarking approach. Transactions of the Institute of Measurement and Control. Epub ahead of print 19December. DOI: 10.1177/01423312221134326.
21.
LiWShiYLiY (2019) Research on secure control and communication for cyber-physical systems under cyber-attacks. Transactions of the Institute of Measurement and Control41(12): 3421–3437.
22.
LiXWeiGDingD (2020) Interval observer design under stealthy attacks and improved event-triggered protocols. IEEE Transactions on Signal and Information Processing Over Networks6: 570–579.
23.
LiuHNiuBQinJ (2021) Reachability analysis for linear discrete-time systems under stealthy cyber attacks. IEEE Transactions on Automatic Control66(9): 4444–4451.
24.
LiuJYinTShenM, et al. (2020) State estimation for cyber–physical systems with limited communication resources, sensor saturation and denial-of-service attacks. ISA Transactions104: 101–114.
25.
LuAYYangGH (2018) Secure luenberger-like observers for cyber–physical systems under sparse actuator and sensor attacks. Automatica98: 124–129.
26.
LuoXLiYWangX, et al. (2020) Interval observer-based detection and localization against false data injection attack in smart grids. IEEE Internet of Things Journal8(2): 657–671.
27.
MiaoFZhuQPajicM, et al. (2016) Coding schemes for securing cyber-physical systems against stealthy data injection attacks. IEEE Transactions on Control of Network Systems4(1): 106–117.
28.
MishraSShoukryYKaramchandaniN, et al. (2016) Secure state estimation against sensor attacks in the presence of noise. IEEE Transactions on Control of Network Systems4(1): 49–59.
29.
MooreRLodwickW (2003) Interval analysis and fuzzy set theory. Fuzzy Sets and Systems135(1): 5–9.
30.
PasqualettiFDörflerFBulloF (2013) Attack detection and identification in cyber-physical systems. IEEE Transactions on Automatic Control58(11): 2715–2729.
31.
SchweppeF (1968) Recursive state estimation: Unknown but bounded errors and system inputs. IEEE Transactions on Automatic Control13(1): 22–28.
32.
ShenMZhangTParkJH, et al. (2023) Iterative proportional-integral interval estimation of linear discrete-time systems. IEEE Transactions on Automatic Control68(7): 4249–4256.
33.
SuiTMoYMarelliD, et al. (2020) The vulnerability of cyber-physical system under stealthy attacks. IEEE Transactions on Automatic Control66(2): 637–650.
34.
TangWWangZShenY (2019) Interval estimation for discrete-time linear systems: A two-step method. Systems & Control Letters123: 69–74.
35.
WangZRodriguesMTheilliolD, et al. (2015) Actuator fault estimation observer design for discrete-time linear parameter-varying descriptor systems. International Journal of Adaptive Control and Signal Processing29(2): 242–258.
36.
WengPChenBLiuS, et al. (2023) Secure nonlinear fusion estimation for cyber–physical systems under FDI attacks. Automatica148: 110759.
37.
WuCYaoWPanW, et al. (2021) Secure control for cyber-physical systems under malicious attacks. IEEE Transactions on Control of Network Systems9(2): 775–788.
38.
XieCHYangGH (2018) Secure estimation for cyber-physical systems with adversarial attacks and unknown inputs: An L2 -gain method. International Journal of Robust and Nonlinear Control28(6): 2131–2143.
39.
XieJZhuSZhangD (2022) Distributed interval state estimation with i∞-gain optimization for cyber–physical systems subject to bounded disturbance and random stealthy attacks. ISA Transactions127: 22–31.
40.
XuJXYanR (2005) On initial conditions in iterative learning control. IEEE Transactions on Automatic Control50(9): 1349–1354.
41.
XuSLamJ (2006) Robust Control and Filtering of Singular Systems. Berlin: Springer.
42.
YanJJYangGH (2023) Secure state estimation of nonlinear cyber-physical systems against DoS attacks: A multiobserver approach. IEEE Transactions on Cybernetics53(3): 1447–1459.
43.
ZhangHChengPShiL, et al. (2015) Optimal denial-of-service attack scheduling with energy constraint. IEEE Transactions on Automatic Control60(11): 3023–3028.
44.
ZhangLNguangSKYanS (2021) Event-triggered H∞ control for networked control systems under denial-of-service attacks. Transactions of the Institute of Measurement and Control43(5): 1077–1087.
45.
ZhouJChenBYuL (2020) Intermediate-variable-based estimation for FDI attacks in cyber-physical systems. IEEE Transactions on Circuits and Systems II: Express Briefs67(11): 2762–2766.
46.
ZhouYMoZXiaoQ, et al. (2015) Privacy-preserving transportation traffic measurement in intelligent cyber-physical road systems. IEEE Transactions on Vehicular Technology65(5): 3749–3759.
