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 :
Reports
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-01505754
Contributor : Ines Sarray <>
Submitted on : Wednesday, April 19, 2017 - 1:35:32 PM
Last modification on : Tuesday, April 2, 2019 - 9:54:05 PM
Long-term archiving on : Thursday, July 20, 2017 - 12:13:44 PM

File

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

Licence


Copyright

Identifiers

  • HAL Id : hal-01505754, version 1

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⟩

Share

Metrics

Record views

309

Files downloads

115