Synchronous Automata For Activity Recognition

Résumé : La reconnaissance d’activité est devenue de plus en plus importante dans différents domaines comme la surveillance et la santé, pour sa sécurité et sûreté. Nous proposons de décrire les activités en tant que série d’actions déclenchées et pilotées par des événements provenant de l’environnement, et nous utilisons les automates synchrones pour les représenter. Nous avons choisi le paradigme synchrone pour sa sémantique bien fondée et parce qu’il assure le déterminisme et la composition parallèle. De plus, nous avons déjà développé des outils synchrones qui peuvent être adaptés à la reconnaissance d’activité. Nous proposons aussi un nouveau langage synchrone pour exprimer ces automates synchrones. Ce langage est basé sur une sémantique formelle qui permet de vérifier et valider nos modèles d’activités à reconnaitre à l’aide des preuves du model-checking, de les compiler dans des systèmes d’équations, et de générer automatiquement son code de reconnaissance correspondant.
Type de document :
Rapport
[Research Report] RR-9059, Inria Sophia Antipolis. 2017
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01505754
Contributeur : Ines Sarray <>
Soumis le : mercredi 19 avril 2017 - 13:35:32
Dernière modification le : lundi 15 janvier 2018 - 13:06:03
Document(s) archivé(s) le : jeudi 20 juillet 2017 - 12:13:44

Fichier

Synchronous Automata For Activ...
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01505754, version 1

Collections

Citation

Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé. Synchronous Automata For Activity Recognition. [Research Report] RR-9059, Inria Sophia Antipolis. 2017. 〈hal-01505754〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

51