Critical observability is defined with respect to a critical set, and corresponds to the property of immediately detecting the belonging of the current state to ...

Abstract—In this paper, a general framework is proposed for the analysis and characterization of critical observability of finite state systems, ...

We propose a formal theory to make evidence of Digital Forensic more accurate, strong, satisfiable, trustable and dependable in court. We consider a specific ...

Jan 11, 2024 · Yan Y, Deng H, Chen Z. A new look at the critical observability of finite state machines from an algebraic viewpoint. Asian J Control, 2022 ...

Oct 22, 2024 · In this paper, we propose a new approach to analyze security and diagnosability of a Finite-state machine (FSM) under multiple attacks.

This study proposes a static matrix-based approach that revisits a finite state machine from its structure rather than its dynamic transition process, ...

The framework uses a detection module that attempts to deduce whether an unobservable attack action has happened based on the historical observable behaviour of ...

In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems.

Yan Y, Deng H, Chen Z. A new look at the critical observability of finite state machines from an algebraic viewpoint . Asian J Control , 2022 , 24: 3056 ...

This paper primarily focuses on the problem of how to utilize DP to enforce critical observability in DESs modeled with finite-state automata. Furthermore, we ...