Faulty model identification in deterministic labeled Time Petri nets

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… CONTINUE READING