Faulty model identification in deterministic labeled Time Petri nets

Abstract

In a previous paper we presented an approach to identify a faulty model for timed discrete event systems when the nominal model is known, given a set of observed timed sequences. The approach works with Time Petri net models and is based on the formulation of a Mixed-Integer Linear Programming Problem derived from a set of logical predicates. The faulty behavior is modeled by adding fault transitions. In this paper we extend this approach by allowing that two transitions may share the same event label. The nominal model is a deterministic labeled Time Petri net system. The identification problem can still be solved via a Mixed-Integer Linear Programming Problem but the constraint set previously determined is modified.