Synchronous Automata For Activity Recognition

Les automates synchrones pour la reconnaissance d'activités

Ines Sarray (1) , Annie Ressouche (1) , Sabine Moisan (1) , Jean-Paul Rigault (1) , Daniel Gaffé (2)

1 STARS - Spatio-Temporal Activity Recognition Systems
2 LEAT - Laboratoire d'Electronique, Antennes et Télécommunications

Activity recognition is important for security and safety in many domains, such as surveillance and health care. We propose to describe activities as a series of actions, triggered and driven by environmental events. We rely on synchronous automata to describe such activities. We chose the synchronous paradigm because it has a well-founded semantics and it ensures determinism and parallel composition. Moreover, we already developed tools that can be adapted to activity recognition. In this report we propose a new synchronous language to express synchronous automata, that relies on a formal semantics and that al- lows us to perform model-checking proofs, to compile activities into equation systems, and to automatically generate the corresponding recognition code.

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.

Mots clés: formal semantics; algebra; activity recognition; synchronous automata; synchronous language

Domaines: Informatique [cs]

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⟩