Life Habits Modeling with Stochastic Timed Automata in Ambient Assisted Living.
Kevin FouquetGregory FarautJean-Jacques LesagePublished in: SMC (2020)
Keyphrases
- ambient assisted living
- timed automata
- ambient intelligence
- independent living
- model checking
- home environment
- human activities
- pervasive computing
- smart home
- computer vision
- daily activities
- daily life
- expert systems
- smart environments
- ubiquitous computing
- human computer interaction
- older adults
- management system
- artificial intelligence