System identification of discrete event systems

Abstract

System identification (SI) for discrete event systems (DES) addresses the issue of identifying system dynamics from externally observed sample paths. To that end, we propose a new mathematical framework in the context of a Mealy machine and language theory. Without any a priori modeling information regarding the identification target, the objective of SI is to derive minimal valid automata that duplicate the input-output relation in the observed sample paths, while ensuring minimal realization. An algorithm to compute minimal valid automata and special properties regarding SI are explained with illustrative examples.

Minimal Valid Automata of Sample Sequences for Discrete Event Systems

“…Compare each NB k with all B k , and classify it according to the condition (a, b or c) it meets. Renumber the resultant blocks of and B −l : [2,6,7]; [3,8] →B…”

“…Collectively, L(M) is the collection of all possible sample paths from the Mealy machine M. In [2], system identification problem of DES is defined as the solution of valid function defined below. …”

“…System identification problems for discrete event systems (DES), defined in [2], refer to the inference of system model for an unknown system based on an externally observed input-output sequence. Figure 1 illustrates the basic system diagram of system identification for DEDS.…”

“…The research was supported in part by the grant NSC90-2213-E-011-020 by the National Science Council, Taiwan. To best characterize the input-output relation of the observed sample path, [2] has proposed a new mathematical modeling paradigm, where the unknown target is modeled by a Mealy machine. The observed input-output sequence can then be considered as a sample path from the language generated by the underlying Mealy machine.…”

The identification of discrete-event dynamic systems based on the evolutionary programming

“…An identification algorithm which allows setting the accuracy of the identified model is presented. In [10] they propose a new mathematical framework in the context of a Mealy machine and language theory, for system identification (SI) for DES. They part of the idea of identifying system dynamics from externally observed sample paths.…”