Estimation and Verification of Partially-Observed Discrete-Event Systems

For researchers and engineers working on cyber-physical systems, this work provides formal methods for state estimation and verification under partial observability, though it is an incremental extension of existing DES theory.

This paper addresses state estimation and verification in partially-observed discrete-event systems, proposing methods to handle unobservable events and uncertainties. The results include formal guarantees for state estimation accuracy and verification correctness.