Abstract
This paper discusses integration of corporate information infrastructure components to develop an enterprise smart space that uses available resources to achieve the common goals of users. The paper proposes formalization for the smart space functioning scenarios on the basis of the temporal logic of actions, describes a multilevel model of corporate service integration and discusses the architecture of the Multimodal Information and Navigation Cloud System (MINOS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kopacek, T.: Development trends in robotics. In: International Federation of Automatic Control Conference Paper, pp. 36–41 (2016)
Toro, C., Barandiaran, I., Posada, J.: A perspective on knowledge based and intelligent systems implementation in industrie 4.0. In: 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems, Procedia Computer Science, vol. 60, pp. 362–370 (2015)
Lillo, I., Niebles, J.C., Soto, A.: Sparse composition of body poses and atomic actions for human activity recognition in RGB-D videos. Image Vis. Comput. 59, 63–75 (2017)
Singh, D., Mohan, C.K.: Graph formulation of video activities for abnormal activity recognition. Pattern Recogn. 65, 265–272 (2017)
Batchuluun, G., Kim, J.H., Hong, H.G.: Fuzzy system based human behavior recognition by combining behavior prediction and recognition. Expert Syst. Appl. 81, 108–133 (2017)
Glazkov, S.V., Ronzhin, A.L.: Context-dependent methods of automatic generation of multimodal user web-interfaces. SPIIRAS Proc. 21(2), 170–183 (2012)
Karpov, A., Ronzhin, A.: A universal assistive technology with multimodal input and multimedia output interfaces. In: Stephanidis, C., Antona, M. (eds.) UAHCI 2014. LNCS, vol. 8513, pp. 369–378. Springer, Cham (2014). doi:10.1007/978-3-319-07437-5_35
Osipov, V.Y.: Neyrosetevoe prognozirovanie sobytiy dlya intellektual’nyh robotov. Mehatronika, avtomatizatsiya upravlenie 12, 836–840 (2015). (in Russian)
Encyclopedia on automatic control systems for technological processes, Chapter 1.3. http://www.bookasutp.ru/
Di Flora, C., Gurp, J.C., Prehofer, C.: Towards effective smart space application development: impediments and research challenges. In: Proceedings of International Conference on Pervasive Computing: Common Models and Patterns for Pervasive Computing Workshop, pp. 1–2 (2007)
Langeheinrich, M.: Privacy by design – principles of privacy aware ubiquitous system. In: Proceedings of UBICOMP Conference, pp. 273–291 (2011)
Nixon, P.A., Wagealla, W., English, C., Terzis, S.: Chapter 11. Security, privacy and trust issues in smart environments. In: Smart Environments: Technologies, Protocols, and Applications. Wiley, New York (2005)
Levonevskiy, D.K., Vatamaniuk, I.V., Saveliev, A.I.: Multimodal information and navigation cloud system (“MINOS”) for the corporate cyber-physical smart space. Programmnaya Inzheneriya 3, 120–128 (2017). (In Russian)
Demri, S., Gastin, P.: Specification and verification using temporal logics. In: Modern applications of automata theory. IIsc Research Monographs, vol. 2. World Scientific, Singapore (2009)
Fainekos, G.E., Girard, A., Pappas, G.J.: Temporal logic verification using simulation. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 171–186. Springer, Heidelberg (2006). doi:10.1007/11867340_13
Liu, C., Orgun, M.A.: Verification of reactive systems using temporal logic with clocks. Theoret. Comput. Sci. 220(2), 277–408 (1999)
Saveliev, A.I., Ronzhin, A.L.: Algorithms and software tools for distribution of multimedia data streams in client server videoconferencing applications. Pattern Recognition and Image Analysis 25(3), 517–525 (2015)
Kanev, K. et al.: A human computer interactions framework for biometric user identification. In: JJAP Conference Proceedings. The Japan Society of Applied Physics, vol. 4 (2015)
Ivanov D., Sokolov B., Dashevsky V. RFID-based Adaptive feedbacks between supply chain scheduling and execution control. In: Proceedings of 18th IFAC World Congress, Milano (Italy), 28 August–2 September 2011 [CD]. International Federation of Automatic Control, Prague, pp. 435–440 (2011)
Ronzhin, A.L., Karpov, A.A., Lobanov, B.M., Tsirulnik, L.I., Jokisch, O.: Phonetic-morphological mapping of speech corpora for recognition and synthesis of Russian speech. Informacionno-upravljajushhie sistemy 25(6), 24–34 (2006). (in Russian)
Kashevnik, A.M., Ponomarev, A.V., Savosin, S.V.: Hybrid systems control based on smart space technology. SPIIRAS Proc. 35(4), 212–226 (2014)
Vatamaniuk, I.V., Ronzhin, A.L.: Application of digital images blur estimation methods for audiovisual monitoring. Informacionno-upravljajushhie sistemy 4, 16–23 (2014). (in Russian)
Acknowledgements
The presented work was supported by the Russian Science Foundation (grant No. 16-19-00044).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Levonevskiy, D., Vatamaniuk, I., Saveliev, A. (2017). Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions. In: Ronzhin, A., Rigoll, G., Meshcheryakov, R. (eds) Interactive Collaborative Robotics. ICR 2017. Lecture Notes in Computer Science(), vol 10459. Springer, Cham. https://doi.org/10.1007/978-3-319-66471-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-66471-2_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66470-5
Online ISBN: 978-3-319-66471-2
eBook Packages: Computer ScienceComputer Science (R0)