Scientific and Technical Information Processing

, Volume 42, Issue 5, pp 367–374 | Cite as

Ontology-based organization of interactions between services in the smart space for hybrid system control

  • A. V. Smirnov
  • A. M. Kashevnik
  • A. V. Ponomarev
  • S. V. Savosin


An approach to the organization of interactions between services in the smart space (hybrid system control) is illustrated based on the example of a room cleaning scenario in the smart-home system. The smart-space technology is used to support interactions between system services, while the ontology-based approach is used to provide interoperability of the services. Hybrid automata are used to describe the behavior of each individual service, which enables both the automatic generation of the program code and the verification of system components.


hybrid systems hybrid automata smart spaces ontologies 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gavrilov, A.V., Artificial domovoi, Iskusstv. Intell. Prinyat. Reshen., 2012, no. 2, pp. 77–89.Google Scholar
  2. 2.
    Carreira, P., Resendes, S., and Santos, A., Towards automatic conflict detection in home and building automation systems, Perv. Mob. Comput., 2014, vol. 12, pp. 37–57.CrossRefGoogle Scholar
  3. 3.
    Belley, C., Gaboury, S., Bouchard, B., and Bouzouane, A., An efficient and inexpensive method for activity recognition within a smart home based on load signatures of appliances, Perv. Mob. Comput., 2014, vol. 12, pp. 58–78.CrossRefGoogle Scholar
  4. 4.
    Davoren, J.M. and Nerode, A., Logics for hybrid systems, Proc. IEEE, 2000, vol. 88, no. 7, pp. 985–1010.CrossRefGoogle Scholar
  5. 5.
    Lee, E.A. and Seshia, S.A., Introduction to Embedded Systems, A Cyber-Physical Systems Approach, 2011. ed. 1.5. http://LeeSeshiaorgGoogle Scholar
  6. 6.
    Kolesov, Yu.B., Senichenkov, Yu.B., and Inikhov, D.B., Them I have! (Simulation and research of complex dynamic systems in MvStudium), Comput. Instr. Edu., 2007, no. 3, pp. 33–39.Google Scholar
  7. 7.
    Henzinger, T.A., The theory of hybrid automata, 11th Annual IEEE Symposium on Logic in Computer Science, 1996. pp. 278–292.CrossRefGoogle Scholar
  8. 8.
    Deshpande, A., Gollu, A., and Semenzato, L., The SHIFT programming language and run-time system for dynamic networks of hybrid automata, IEEE Trans. Autom. Control, 1998, vol. 43, no. 4, pp. 584–587.CrossRefMathSciNetzbMATHGoogle Scholar
  9. 9.
    Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, L., and Lee, I., Modular specification of hybrid systems in CHARON, Proc. 3rd Int. Workshop on Hybrid Systems: Computation and Control, 2000. pp. 6–19.CrossRefGoogle Scholar
  10. 10.
    Kratz, F., Sokolsky, O., Pappas, G.J., and Lee, I., RCharon: A modeling language for reconfigurable hybrid systems, Lect. Notes Comput. Sci., 2006. pp. 392–406.Google Scholar
  11. 11.
    Henzinger, T.A., Masaccio: A formal model for embedded components, Proc. 1st IFIP International Conference on Theoretical Computer Science, LNCS 1872. 2000. pp. 549–563.Google Scholar
  12. 12.
    Broman, D. and Siek, J.G., Modelyze: A Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, Technical Report No. UCB/EECS2012-173, 2012. p. 52.Google Scholar
  13. 13.
    Fang, H., Zhu, H., and Shi, J., Apricot—An ObjectOriented Modeling Language for Hybrid Systems. http://arxivorg/pdf/1304.6498v1pdfGoogle Scholar
  14. 14.
    The AnyLogic Company. http://wwwanylogicru/Google Scholar
  15. 15.
    Shpakov, V.M., The prototype simulation environment for structured sets of interacting processes, Sbornik dokladov konferentsii “Imitatsionnoe modelirovanie. Teoriya i praktika” (Proc. Conf. Simulation. Theory and Practice), St. Petersburg, 2005, vol. 2, pp. 292–295.Google Scholar
  16. 16.
    Shpakov, V.M., On the use of transformation rules for computer realization of continuous processes, Tr. SPIIRAN, 2014, no. 33, pp. 99–116.Google Scholar
  17. 17.
    Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., and Sastry, S.S., Dynamical properties of hybrid automata, IEEE Trans. Autom. Control, 2003, vol. 48, no. 1, pp. 2–17.CrossRefMathSciNetGoogle Scholar
  18. 18.
    Lynch, N., Segala, R., Vaandrager, F., and Weinberg, H.B., Hybrid I/O automata, Lect. Notes Comput. Sci., 1996, no. 1066, pp. 496–510. 19. Scholar
  19. 19.
    Smart-M3. Scholar
  20. 20.
    Honkola, J., Laine, H., Brown, R., and Tyrkkö, O., Smart-M3 information sharing platform, 2010. IEEE Symposium on Computers and Communications (ISCC), 2010. pp. 1041–1046.CrossRefGoogle Scholar
  21. 21.
    Berners-Lee, T., Fielding, R., and Masinter, L., Uniform Resource Identifier (URI): Generic Syntax. Scholar
  22. 22.
    Resource Description Framework (RDF). Scholar

Copyright information

© Allerton Press, Inc. 2015

Authors and Affiliations

  • A. V. Smirnov
    • 1
    • 2
  • A. M. Kashevnik
    • 1
  • A. V. Ponomarev
    • 1
  • S. V. Savosin
    • 1
  1. 1.St. Petersburg Institute for Informatics and AutomationRussian Academy of SciencesSt. PetersburgRussia
  2. 2.ITMO UniversitySt. PetersburgRussia

Personalised recommendations