On-Line Identification of Discrete Event Systems: a Case Study

The paper analyses an on-line identification strategy for discrete event systems (DES) using interpreted Petri nets (IPN). The identifier stores a sequence of events and the corresponding output symbols and applies a recursive algorithm providing an IPN modeling the DES. Moreover, the identification procedure is based on the solution of an integer linear programming problem. In addition, we investigate on the conditions that lead to determine an IPN modeling the DES dynamics without error. Finally, simulation and analysis of a case study show the efficiency of the strategy