Synchronous Automata For Activity Recognition

Description

Activity recognition is important for security and safety in many domains, such as surveillanceand 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 synchronousparadigm 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 proposea 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 automaticallygenerate the corresponding recognition code.

Abstract (French)

La reconnaissance d'activité est devenue de plus en plus importante dans différents domainescomme la surveillance et la santé, pour sa sécurité et sûreté. Nous proposons de décrire les activités entant que série d'actions déclenchées et pilotées par des événements provenant de l'environnement, et nousutilisons les automates synchrones pour les représenter. Nous avons choisi le paradigme synchrone poursa sémantique bien fondée et parce qu'il assure le déterminisme et la composition parallèle. De plus, nousavons déjà développé des outils synchrones qui peuvent être adaptés à la reconnaissance d'activité. Nousproposons aussi un nouveau langage synchrone pour exprimer ces automates synchrones. Ce langage estbasé 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érerautomatiquement son code de reconnaissance correspondant.

Abstract

STARS,MCSOC

Additional details