Skip to main content

2017 | OriginalPaper | Buchkapitel

Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers

verfasst von : Radosław Klimek

Erschienen in: Artificial Intelligence and Soft Computing

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Intelligent environments provide people-centered computing to support people in their daily lifes. Understanding human behavior and context information is crucial to provide context-aware and pro-active services for all actors of smart spaces. On the other hand, mobile phone network data, collected by suppliers, provide valuable information about human locations and behaviors. This paper presents a unified approach comprising both informal (use cases) and more formal (algorithms) elements which enable obtaining a common framework that use information encoded into pervasive datasets to generate, through context-based reasoning, decisions which support actors operating in a smart space. The system is designed to support mountain rescuers. It provides pro-active decision taking or warning about dangerous situations on the mountain trails. In this way, the system supports rescuers and makes tourist staying in the mountains more safe.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. 43(3), 16:1–16:43 (2011)CrossRef Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. 43(3), 16:1–16:43 (2011)CrossRef
2.
Zurück zum Zitat Calabrese, F., Colonna, M., Lovisolo, P., Parata, D., Ratti, C.: Real-time urban monitoring using cell phones: A case study in rome. IEEE Trans. Intell. Transp. Syst. 12(1), 141–151 (2011)CrossRef Calabrese, F., Colonna, M., Lovisolo, P., Parata, D., Ratti, C.: Real-time urban monitoring using cell phones: A case study in rome. IEEE Trans. Intell. Transp. Syst. 12(1), 141–151 (2011)CrossRef
3.
Zurück zum Zitat Chen, S., Liu, J., Wang, H., Augusto, J.C.: A hierarchical human activity recognition framework based on automated reasoning. In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, 13–16 October 2013, pp. 3495–3499 (2013) Chen, S., Liu, J., Wang, H., Augusto, J.C.: A hierarchical human activity recognition framework based on automated reasoning. In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, 13–16 October 2013, pp. 3495–3499 (2013)
5.
Zurück zum Zitat Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, USA, 16–22 May 1999, pp. 411–420 (1999) Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, USA, 16–22 May 1999, pp. 411–420 (1999)
6.
Zurück zum Zitat Federation of Communication Services: UK Standard for CDRs. Standard CDR Format, January 2014 Federation of Communication Services: UK Standard for CDRs. Standard CDR Format, January 2014
7.
Zurück zum Zitat Gonzalez, M.C., Hidalgo, C.A., Barabasi, A.L.: Understanding individual human mobility patterns. Nature 453(7196), 779–782 (2008)CrossRef Gonzalez, M.C., Hidalgo, C.A., Barabasi, A.L.: Understanding individual human mobility patterns. Nature 453(7196), 779–782 (2008)CrossRef
8.
Zurück zum Zitat Grobelna, I., Grobelny, M., Adamski, M.: Model checking of UML activity diagrams in logic controllers design. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Proceedings of the Ninth International Conference DepCoS-RELCOMEX. AISC, vol. 286, pp. 233–242. Springer, Cham (2014). doi:10.1007/978-3-319-07013-1_22 Grobelna, I., Grobelny, M., Adamski, M.: Model checking of UML activity diagrams in logic controllers design. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Proceedings of the Ninth International Conference DepCoS-RELCOMEX. AISC, vol. 286, pp. 233–242. Springer, Cham (2014). doi:10.​1007/​978-3-319-07013-1_​22
9.
Zurück zum Zitat Klimek, R.: Towards formal and deduction-based analysis of business models for SOA processes. In: Filipe, J., Fred, A. (eds.) Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Vilamoura, Algarve, Portugal, 6–8 February 2012, vol. 2, pp. 325–330. SciTePress (2012) Klimek, R.: Towards formal and deduction-based analysis of business models for SOA processes. In: Filipe, J., Fred, A. (eds.) Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Vilamoura, Algarve, Portugal, 6–8 February 2012, vol. 2, pp. 325–330. SciTePress (2012)
10.
Zurück zum Zitat Klimek, R.: Behaviour recognition and analysis in smart environments for context-aware applications. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), City University of Hong Kong, Hong Kong, 9–12 October 2015, pp. 1949–1955. IEEE Computer Society (2015) Klimek, R.: Behaviour recognition and analysis in smart environments for context-aware applications. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), City University of Hong Kong, Hong Kong, 9–12 October 2015, pp. 1949–1955. IEEE Computer Society (2015)
11.
Zurück zum Zitat Klimek, R.: Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2016. LNCS, vol. 9692, pp. 683–694. Springer, Cham (2016). doi:10.1007/978-3-319-39378-0_58 Klimek, R.: Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2016. LNCS, vol. 9692, pp. 683–694. Springer, Cham (2016). doi:10.​1007/​978-3-319-39378-0_​58
12.
Zurück zum Zitat Klimek, R., Kotulski, L.: Proposal of a multiagent-based smart environment for the IoT. In: Augusto, J.C., Zhang, T. (eds.) Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, 30 June–1 July 2014. Ambient Intelligence and Smart Environments, vol. 18, pp. 37–44. IOS Press (2014) Klimek, R., Kotulski, L.: Proposal of a multiagent-based smart environment for the IoT. In: Augusto, J.C., Zhang, T. (eds.) Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, 30 June–1 July 2014. Ambient Intelligence and Smart Environments, vol. 18, pp. 37–44. IOS Press (2014)
13.
Zurück zum Zitat Klimek, R., Szwed, P.: Verification of archimate process specifications based on deductive temporal reasoning. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), Kraków, Poland, 8–11 September 2013, pp. 1131–1138. IEEE Xplore Digital Library (2013) Klimek, R., Szwed, P.: Verification of archimate process specifications based on deductive temporal reasoning. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), Kraków, Poland, 8–11 September 2013, pp. 1131–1138. IEEE Xplore Digital Library (2013)
14.
Zurück zum Zitat Zimmermann, A., Lorenz, A., Oppermann, R.: An operational definition of context. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds.) CONTEXT 2007. LNCS, vol. 4635, pp. 558–571. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74255-5_42 CrossRef Zimmermann, A., Lorenz, A., Oppermann, R.: An operational definition of context. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds.) CONTEXT 2007. LNCS, vol. 4635, pp. 558–571. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-74255-5_​42 CrossRef
Metadaten
Titel
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers
verfasst von
Radosław Klimek
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-59060-8_25