Skip to main content
Top

2017 | OriginalPaper | Chapter

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

Author : Radosław Klimek

Published in: Artificial Intelligence and Soft Computing

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
1.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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
Metadata
Title
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers
Author
Radosław Klimek
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-59060-8_25

Premium Partner