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...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Diagnostic methods based on representation tools
Diagnostic methods by decision structure
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Article included in this offer
"Design and production"
(
149 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
