# Estimation and Verification of Partially-Observed Discrete-Event Systems

## TL;DR

This paper addresses state estimation and verification challenges in Discrete-Event Systems, a key class of cyber-physical systems, focusing on methods to improve their reliability and safety.

## Contribution

It introduces novel approaches for estimation and verification specifically tailored for partially-observed Discrete-Event Systems.

## Key findings

- Enhanced estimation accuracy in partially-observed DES
- Improved verification methods for system safety
- Framework applicable to complex cyber-physical systems

## Abstract

This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).