Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Synchronous Automata For Activity Recognition

Abstract : 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.
Document type :
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Ines SARRAY Connect in order to contact the contributor
Submitted on : Wednesday, April 19, 2017 - 1:35:32 PM
Last modification on : Saturday, June 25, 2022 - 11:26:02 PM
Long-term archiving on: : Thursday, July 20, 2017 - 12:13:44 PM


Synchronous Automata For Activ...
Files produced by the author(s)




  • HAL Id : hal-01505754, version 1



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⟩



Record views


Files downloads