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...
The Ultimate Scientific and Technical Reference
This article is included in
Design and production
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Diagnostic methods based on representation tools
Diagnostic methods by decision structure
Bibliography
The Ultimate Scientific and Technical Reference
