Xavier Pucel

Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems

State tracking, i.e. estimating the state over time, is always an important problem in autonomous dynamic systems. Run-time requirements advocate for incremental estimation and memory limitations lead us to consider an estimation strategy that retains only one state out of the set of candidate estim…