2. Diagnostic methods based on representation tools

2.1 Diagnostics based on state machines

State automata are a formal modeling tool based on language theory, adapted to describing the event-driven behavior of a process. They feature composition and projection operators, enabling us to move from a local to a global view of a process, and vice versa.

In order to take into account temporal information on the reception of events (delays between the observation of two events or their instants of occurrence), these automata are extended to include timed or temporal automata. These automata...