This paper considers the problem of the identification of a faulty model for timed discrete event systems when the nominal model is known and a set of faulty observed timed sequences is given. The faulty behavior is modeled by adding fault transitions. The approach works with Time Petri net models and is based on the formulation of a Mixed-Integer Linear Programming Problem.
展开▼