A relative identification method for reactive systems

Clément Galetta (1) , Jean-Marc Roussel (1) , Jean-Marc Faure (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

This 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.

Mots clés: Programmable Logic Controller; Signal Interpreted Petri Nets; System identification; Reachability graph; Boolean functions

Domaines: Informatique [cs]; Automatique

Clément Galetta, Jean-Marc Roussel, Jean-Marc Faure. A relative identification method for reactive systems. 14th IFAC - IEEE International Workshop on Discrete Event Systems (WODES), May 2019, Sorrento Coast, Italy. ⟨hal-01736975⟩