Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations (2401.09110v2)
Abstract: We investigate decentralized state estimation for a discrete event system in a setting where the information received at a coordinator may be corrupted or tampered by a malicious attacker. Specifically, a system is observed by a set of (local) observation sites (OSs) which occasionally send their recorded sequences of observations to the coordinator that is in charge of estimating the system state. The malfunctions and attacks, referred to as errors in this paper, include symbol deletions, insertions and replacements, each of which bears a positive cost. Two types of errors, global errors and local errors, are proposed to describe the impact of errors on decentralized information processing. Global errors occur when all OSs record the same error, while local errors occur when different OSs record different errors. Distinguishing these types of errors is important for a proper design of decentralized information processing (so as to be more resilient and better equipped to handle attacks and failures). For each type of error, we propose two methods to efficiently perform state estimation: one based on appropriately modifying the original system and the other based on inferring the matching behavior of the original system. For each method, we adopt an estimation-by-release methodology to design an algorithm for constructing a corresponding synchronizer for state estimation.
- P. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete event processes,” SIAM Journal on Control and Optimization, vol. 25, no. 1, pp. 206–230, 1987.
- F. Lin and W. M. Wonham, “On observability of discrete-event systems,” Information Sciences, vol. 44, no. 3, pp. 173–198, 1988.
- F. Lin, “Diagnosability of discrete event systems and its applications,” Discrete Event Dynamic Systems, vol. 4, pp. 197–212, 1994.
- M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, “Diagnosability of discrete-event systems,” IEEE Transactions on Automatic Control, vol. 40, no. 9, pp. 1555–1575, 1995.
- R. Debouk, S. Lafortune, and D. Teneketzis, “On the effect of communication delays in failure diagnosis of decentralized discrete event systems,” Discrete Event Dynamic Systems, vol. 13, no. 3, pp. 263–289, 2003.
- A. Saboori and C. N. Hadjicostis, “Notions of security and opacity in discrete event systems,” in Proceedings of 46th IEEE Conference on Decision and Control (CDC), 2007, pp. 5056–5061.
- L. Sweeney, “k-anonymity: A model for protecting privacy,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 10, no. 5, pp. 557–570, 2002.
- X. Yin and S. Lafortune, “Synthesis of maximally permissive supervisors for partially-observed discrete-event systems,” IEEE Transactions on Automatic Control, vol. 61, no. 5, pp. 1239–1254, 2016.
- X. Yin and S. Lafortune, “Synthesis of maximally-permissive supervisors for the range control problem,” IEEE Transactions on Automatic Control,vol. 62, no. 8, pp. 3914–3929, 2016.
- F. Lin, W. Wang, L. Han, and B. Shen, “State estimation of multichannel networked discrete event systems,” IEEE Transactions on Control of Network Systems, vol. 7, no. 1, pp. 53–63, 2020.
- A. W. Lai, S. Lahaye, and A. Giua,“State estimation of max-plus automata with unobservable events,” Automatica, vol. 105, pp. 36–42, 2019.
- D. Sears and K. Rudie, “On computing indistinguishable states of nondeterministic finite automata with partially observable transitions,” in Proceedings of 53rd Conference on Decision and Control (CDC), pp. 6731–6746, 2014.
- Y. T. Li, C. N. Hadjicostis, and Z. W. Li, “Error-and tamper-tolerant state estimation for discrete event systems under cost constraints,” IEEE Transactions on Automatic Control, vol. 68, no. 11, pp. 6743–6750, 2023.
- X. Yin, “Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures,” Automatica, vol. 80, pp. 127–134, 2017.
- L. K. Carvalho, Y. C. Wu, R. Kwong, and S. Lafortune, “Detection and mitigation of classes of attacks in supervisory control systems,” Automatica, vol. 97, pp. 121–133, 2018.
- R. Su, “ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations,” Automatica, vol. 94, pp. 35–44, 2018.
- R. Meira-Góes, H. Marchand, and S. Lafortune, “Towards resilient supervisors against sensor deception attacks,” in Proceedings of 58th Conference on Decision and Control (CDC), pp. 5144–5149, 2019.
- M. Wakaiki, P. Tabuada, and J. P. Hespanha, “Supervisory control of discrete-event systems under attacks,” Dynamic Games and Applications, vol. 9, pp. 965–983, 2019.
- R. Ammour, S. Amari, L. Brenner, I. Demongodin, and D. Lefebvre, “Robust stealthy attacks based on uncertain costs and labeled finite automata with inputs,” IEEE Robotics and Automation Letters, vol. 8, no. 5, pp. 2732–2739, 2023.
- W. L. Duo, M. C. Zhou, and A. Abusorrah, “A survey of cyber attacks on cyber physical systems: recent advances and challenges,” IEEE/CAA Journal of Automatica Sinica, vol. 9, no. 5, pp. 784–800, 2022.
- K. Z. Zhang, “How attacks affect detectability in discrete-event systems?” in Proceedings of American Control Conference (ACC), 2022, pp. 3728–3733.
- R. Debouk, S. Lafortune, and D. Teneketzis, “Coordinated decentralized protocols for failure diagnosis of discrete event systems,” Discrete Event Dynamic Systems, vol. 10, no. 1, pp. 33–86, 2000.
- S. Tripakis, “Undecidable problems of decentralized observation and control on regular languages,” Information Processing Letters, vol. 90, no, 1, pp. 21–28, 2004.
- D. J. Sun, C. N. Hadjicostis, and Z. W. Li, “Decentralized state estimation via breadth-first search through partially ordered observation sequences,” in Proceedings of 62nd IEEE Conference on Decision and Control (CDC), 2023.