摘要：AbstractThis paper proposes a method to build an identified model from an observed sequence of input/output vectors and a model of knowledge on the system to identify. This method comprises two steps. The first one starts by checking whether the knowledge model is compatible with the observed sequence; when this is the case, the identified model is built automatically. From this result, the observed and unobserved behaviors of the knowledge model are then explicitly determined, in a second step.
关键词：KeywordsSystem identificationSignal Interpreted Petri NetsBoolean functionsReachability graphProgrammable Logic Controller
