Abstract:State-estimation-based properties are central properties in discrete-event systems modeled by labeled finite-state automata studied over the past 3 decades. Most existing results are based on a single agent who knows the structure of a system and can observe a subset of events and estimate the system's state based on the system's structure and the agent's observation to the system. The main tool used to do state estimation and verify state-estimation-based properties is called \emph{observer} which is the powerset construction originally proposed by Rabin and Scott in 1959, used to determinize a nondeterministic finite automaton with $\varepsilon$-transitions. In this paper, we consider labeled finite-state automata, extend the state-estimation-based properties from a single agent to a finite ordered set of agents and also extend the original observer to \emph{high-order observer} based on the original observer and our \emph{concurrent composition}. As a result, a general framework on high-order state-estimation-based properties have been built and a basic tool has also been built to verify such properties. This general framework contains many basic properties as its members such as state-based opacity, critical observability, determinism, high-order opacity, etc. Special cases for which verification can be done more efficiently are also discussed. In our general framework, the system's structure is publicly known to all agents $A_1,\dots,A_n$, each agent $A_i$ has its own observable event set $E_i$, and additionally knows all its preceding agents' observable events but can only observe its own observable events. The intuitive meaning of our high-order observer is what agent $A_n$ knows about what $A_{n-1}$ knows about \dots what $A_2$ knows about $A_1$'s state estimate of the system.

State Estimator Design of Event Graph with Unobservable Transitions

A PRACTICAL OBSERVABILITY ANALYSIS ALGORITHM FOR STATE ESTIMATION IN EMS OF GUANGDONG POWER SYSTEM

Least-cost Transition Sequence Estimation in Labelled Time Petri Net Systems with Unobservable Transitions.

Optimal Estimation Algorithm Design under Event-based Sensor Data Scheduling*

State Estimation with Event Sensors: Observability Analysis and Multi-sensor Fusion

State estimation for a class of complex networks with event-triggered transmission scheme

Event-triggered Distributed Dynamic State Estimation with Imperfect Measurements over a Finite Horizon

A Scalable Algorithm for Event-Triggered State Estimation With Unknown Parameters and Switching Topologies Over Sensor Networks

Algebraic approach to continuous event graphs without input

Event-triggered state estimator design for unknown input and noise-correlated random system

State Estimation in Partially Observable Power Systems via Graph Signal Processing Tools

Event-Triggered Robust Integrated Observer Design for Nonlinear Interconnected System Based On Multiple Intermediate Estimators

Event-triggered state estimation for a class of nonlinear stochastic systems with mixed time delays

Event-based State Estimation for Time-Varying Stochastic Coupling Networks with Missing Measurements under Uncertain Occurrence Probabilities

[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems

Dynamic‐event‐based state estimation of complex networks against attacks and innovation outliers: The probability constraint case

Event-triggered fault estimation for nonlinear systems with missing measurements

Event-triggered state estimation for time-delayed complex networks with gain variations based on partial nodes

Exploration into Optimal State Estimation with Event-triggered Communication

State Estimation in Labeled Time Petri Net Systems Using Observed Modified State Class Graph

Joint State Estimation Under Attack of Discrete Event Systems