ISSN 2071-8594

Российская академия наук

Главный редактор

Академик С. В. Емельянов

А.В. Смирнов, А.М. Кашевник, А.В. Пономарев, С.В. Савосин "Онтологический подход к организации взаимодействия сервисов интеллектуального пространства при управлении гибридными системами"

Аннотация.

В статье представлен подход к организации взаимодействия сервисов интеллектуального пространства при управлении гибридными системами на примере сценария уборки помещения в системе «умный дом». Технология интеллектуальных пространств используется для поддержки взаимодействия сервисов системы, а для обеспечения интероперабельности при их взаимодействии используется онтологический подход. Для описания поведения каждого отдельно взятого сервиса используется их описание с помощью гибридных автоматов, что позволяет как автоматизировать генерацию программного кода, так и осуществлять верификацию элементов системы.

Ключевые слова:

гибридные системы, гибридные автоматы, интеллектуальные пространства, онтологии.

Стр. 42-51.

Полная версия статьи в формате pdf.

REFERENCES

1. Gavrilov A.V., Iskusstvennyy Domovoy, Iskusstvennyy intellekt i prinyatie resheniy, vyp. 2, 2012, s. 77–89.

2. Carreira P., Resendes S., Santos A., Towards automatic conflict detection in home and building automation systems, Pervasive and Mobile Computing, vol. 12, 2014, pp. 37–57.
3. Belley C., Gaboury S., Bouchard B., Bouzouane A., An efficient and inexpensive method for activity recognition within a smart home based on load signatures of appliances, Pervasive and Mobile Computing, vol. 12, 2014, pp. 58–78.
4. Davoren, J.M., Nerode, A. Logics for hybrid systems, Proceedings of the IEEE, vol. 88, issue 7, 2000, pp. 985–1010.
5. Lee E.A., Seshia S.A. Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
6. Kolesov Yu.B., Senichenkov Yu.B., Inikhov D.B. Ikh est u menya! (Modelirovanie i issledovanie slozhnykh dinamicheskikh sistem v MvStudium), Kompyuternye instrumenty v obrazovanii, №3, S.-Pb.: Izd-vo TsPO "Informatizatsiya obrazovaniya", 2007, s.33–39.
7. Henzinger, T.A. The Theory of Hybrid Automata, Eleventh Annual IEEE Symposium on Logic in Computer Science, July 1996, pp. 278–292.
8. Deshpande A., Göllü A., Semenzato L. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata, IEEE Transactions on Automatic Control, vol. 43, issue 4, 1998, pp. 584–587.
9. Alur R., Grosu R., Hur Y., Kumar V., Lee L., Lee I. Modular Specification of Hybrid Systems in CHARON, Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control, 2000, pp. 6–19.
10. Kratz F., Sokolsky O., Lee I. R-Charon: a modeling language for reconfigurable hybrid systems, Hybrid Systems: Computation and Control, LNCS 3927, 2006, pp. 392–406.
11. Henzinger T.A. Masaccio: A formal model for embedded components, Proceedings of the First IFIP International Conference on Theoretical Computer Science, LNCS
1872, 2000, pp. 549–563.
12. Broman D., Siek J.G. Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, Technical Report No. UCB/EECS-2012-173,2012, P.52.
13. Fang H., Zhu H., Shi J. Apricot – An Object-Oriented
Modeling Language for Hybrid Systems, http://arxiv.org/pdf/1304.6498v1.pdf.
14. URL: http://www.anylogic.ru/
15. Shpakov V. M. Prototip sredy modelirovaniya strukturirovannykh sovokupnostey vzaimodeystvuyushchikh protsessov // Sbornik dokladov konferentsii «Imitatsionnoe modelirovanie. Teoriya i praktika». Sankt-Peterburg, 19 – 21 oktyabrya 2005. T. 2. S. 292–295.
16. Shpakov V.M. Ob ispolzovanii transformatsionnykh pravil dlya kompyuternoy realizatsii nepreryvnykh protsessov // Trudy SPIIRAN. 2014. Vyp. 33. S. 99-116.
17. Lygeros J., Johansson K.H., Simic S.N., Zhang J., Sastry S.S. Dynamical Properties of Hybrid Automata, IEEE Transactions on Automatic Control, vol. 48, no. 1, January 2003, pp. 2–17.
18. Lynch N., Segala R., Vaandrager F., Weinberg H.B. Hy- brid I/O Automata, In Hybrid Systems III, no. 1066 in LNCS, Springer Verlag, 1996, pp. 496–510.
19. Smart-M3. Wikipedia. URL:
http://en.wikipedia.org/wiki/Smart-M3.
20. Honkola J., Laine H., Brown R., Tyrkkö O. Smart-M3 Information Sharing Platform, 2010 IEEE Symposium on Computers and Communications (ISCC), Italy 2010, pp. 1041–1046.
21. Berners-Lee T., Fielding R., Masinter L. RFC 3986 – Uniform Resource Identifier (URI): Generic Syntax, URL: http://tools.ietf.org/html/rfc3986.
22. Resource Description Framework (RDF), URL:
http://www.w3.org/RDF.

 

Журнал