由同济大学舒少龙等完成，获2022年度上海市科学技术奖-自然科学二等奖。

项目介绍：离散事件动态系统是一类广泛存在于智能建筑、交通、制造、网络等各类复杂工程系统中的典型动态系统，状态估计是其基础性关键科学问题。针对状态估计问题描述难、验证难和应用难等挑战，项目通过构建完整的模型集和创新地引入无序偶，从而找到了状态估计特性的抽象描述方法，首创可测性；通过丰富事件语义信息、利用无序偶的结构特征构建了观测器和判定器，找到了具有低复杂度的可测性验证方法；采用双参数对可测性进行扩展，提出带参可测性，为各种应用需求找到了统一的等价描述工具。构建了以可测性为核心的状态估计理论体系。