Outil dédié à l'analyse et à la correspondance de motifs temporels paramétriques. Il permet d'identifier et d'extraire des motifs complexes dans des données temporisées en utilisant des expressions régulières paramétriques. Utilisé principalement pour l'analyse de signaux et la détection de motifs dans des séries temporelles, il s'appuie sur des théories avancées en logique temporelle et en traitement du signal.