Systems and Control · Electrical Eng. & Systems
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin
2024-09-11
Cryptography and Security · Computer Science
Joint State Estimation Under Attack of Discrete Event Systems
Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua
2021-12-15
Systems and Control · Electrical Eng. & Systems
Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences
Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li
2025-08-18
Systems and Control · Computer Science
A Survey on State Estimation Techniques and Challenges in Smart Distribution Systems
Kaveh Dehghanpour, Zhaoyu Wang, Jianhui Wang, Yuxuan Yuan +1
2018-09-21
Systems and Control · Electrical Eng. & Systems
Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre
2025-05-22
Systems and Control · Electrical Eng. & Systems
A New Approach for Verification of Delay Coobservability of Discrete-Event Systems
Yunfeng Hou, Qingdu Li, Yunfeng Ji, Gang Wang +1
2022-05-20
Information Theory · Computer Science
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints
Yuting Li, Christoforos N. Hadjicostis, Naiqi Wu, Zhiwu Li
2020-11-04
Systems and Control · Electrical Eng. & Systems
Online State Estimation for Supervisor Synthesis in Discrete-Event Systems with Communication Delays and Losses
Yunfeng Hou, Yunfeng Ji, Gang Wang, Ching-Yen Weng +1
2022-10-07
Systems and Control · Electrical Eng. & Systems
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua
2022-04-01
Systems and Control · Electrical Eng. & Systems
Secure State Estimation and Attack Reconstruction in Cyber-Physical Systems: Sliding Mode Observer Approach
Shamila Nateghi, Yuri Shtessel, Christopher Edwards, Jean-Pierre Barbot
2019-11-11
Formal Languages and Automata Theory · Computer Science
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms
Weilin Deng, Daowen Qiu, Jingkai Yang
2023-07-11