Abstraction des trajectoires d'un système continu en un automate temporisé S 3 : Surveillance, supervision, diagnostic des systèmes à événements discrets.
