A framework for inferential problems in DEDS. I. TTM based modeling

Presents a timed automata approach for modeling discrete event dynamic systems (DEDS) in the context of supervision and monitoring of industrial processes by extending the TTM (timed transition model) framework. First, we propose the notion of measurement, and the consequent measurability or distinguishability of the measurement equivalence of state maps and transitions. This framework can be used for solving inferential problems in the area of state estimation and fault diagnosis. The state observation problem using this framework is solved with an example in a companion paper. We also characterize a number of reachability relations that help to capture the uncertainty of the system for a given sequence of measurable transitions