RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Автомат. и телемех., 2001, выпуск 1, страницы 3–39 (Mi at1715)  

Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)

Обзоры

Алгоритмизация и программирование для систем логического управления и “реактивных” систем

А. А. Шалытоab

a Санкт-Петербургский институт точной механики и оптики
b Федеральный научно-производственный центр~-- Государственное унитарное предприятие "НПО "Аврора""

Аннотация: На основе обзора методов алгоритмизации и программирования для систем логического управления и “реактивных” систем сформулированы основные положения технологии алгоритмизации и программирования для этих классов систем, в рамках которой алгоритмы и программы рассматриваются как конечные автоматы. Дан обзор работ, посвященных применению конечных автоматов при программировании других классов задач.

Полный текст: PDF файл (220 kB)

Англоязычная версия:
Automation and Remote Control, 2001, 62:1, 1–29

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.714
Статья представлена к публикации членом редколлегии: О. П. Кузнецов
Поступила в редакцию: 13.06.1999

Образец цитирования: А. А. Шалыто, “Алгоритмизация и программирование для систем логического управления и “реактивных” систем”, Автомат. и телемех., 2001, № 1, 3–39; Autom. Remote Control, 62:1 (2001), 1–29

Цитирование в формате AMSBIB
\RBibitem{Sha01}
\by А.~А.~Шалыто
\paper Алгоритмизация и программирование для систем логического управления и ``реактивных'' систем
\jour Автомат. и телемех.
\yr 2001
\issue 1
\pages 3--39
\mathnet{http://mi.mathnet.ru/at1715}
\zmath{https://zbmath.org/?q=an:1093.93528}
\transl
\jour Autom. Remote Control
\yr 2001
\vol 62
\issue 1
\pages 1--29
\crossref{https://doi.org/10.1023/A:1002837232103}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000167251000001}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84904240030}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/at1715
  • http://mi.mathnet.ru/rus/at/y2001/i1/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Naumov L., Shalyto A., “Automata Theory for Multi-Agent Systems Implementation”, International Conference on Integration of Knowledge Intensive Multi-Agent Systems: Kimas'03: Modeling, Exploration, and Engineering, ed. Hexmoor H., IEEE, 2003, 65–70  crossref  isi
    2. Zvironiene A., Navickas Z., Rindzevicius R., “The Expression of the Telecommunication System with an Infinite Queue by the Convolution of Moore and Mealy Automata”, Iti 2005: Proceedings of the 27th International Conference on Information Technology Interfaces, eds. Luzar V., Dobric V., Srce Univ Computing Centre, Univ Zagreb, 2005, 669–672  isi
    3. Yartsev B., Korneev G., Shalyto A., Kotov V., “Automata-Based Programming of the Reactive Multi-Agent Control Systems”, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: Kimas'05: Modeling, Exploration, and Engineering, eds. Thompson C., Hexmoor H., IEEE, 2005, 449–453  crossref  isi
    4. К. А. Васильева, Е. В. Кузьмин, “Верификация автоматных программ с использованием LTL”, Модел. и анализ информ. систем, 14:1 (2007), 31–43  mathnet
    5. А. А. Клебанов, А. А. Шалыто, “Разработка корректных Java Card-программ на основе автоматного подхода”, Модел. и анализ информ. систем, 15:3 (2008), 47–55  mathnet
    6. Kuzmin E.V., Sokolov V.A., “Modeling, Specification, and Verification of Automaton Programs”, Program. Comput. Softw., 34:1 (2008), 27–43  crossref  mathscinet  zmath  isi  elib
    7. Rojc M., Hoege H., Kacic Z., “Ecess Platform for Web Based Tts Modules and Systems Evaluation”, Verbal and Nonverbal Features of Human-Human and Human-Machine Interactions, Lecture Notes in Artificial Intelligence, 5042, eds. Esposito A., Bourbakis N., Avouris N., Hatzilygeroudis I., Springer-Verlag Berlin, 2008, 149–157  isi
    8. Rojc M., Mlakar I., “Finite-State Machine Based Distributed Framework Data for Intelligent Ambience Systems”, Proceedings of the 8th Wseas International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics (Cimmacs `09), eds. Bulucea C., Mladenov V., Pop E., Leba M., Mastorakis N., World Scientific and Engineering Acad and Soc, 2009, 80–85  isi
    9. Rojc M., Hoege H., Kacic Z., “Remote-Based Text-to-Speech Modules' Evaluation Framework: the Res Framework”, Lang. Resour. Eval., 44:4 (2010), 371–386  crossref  isi  elib
    10. Антипова Е.В., “Влияние способа преобразования автоматных диаграмм на параметры сгенерированного программного кода”, Вестник волжского университета им. В.Н. Татищева, 2012, 111–123  elib
    11. Honcharov A.A., “About Complex Approach To Modelling of Technological Machines Functioning”, Sci. Tech., 2015, no. 4, 45–50  isi
    12. Yurievich K.V., Alekseevich L.A., Alexandrovich L.Yu., Alekseevich S.D., “a Software Implementation of Sequential State Machines To Manage Technical Means of Transport”, Mar. Intellect. Technol., 2:4 (2016), 20–24  isi
    13. Aniculaesei A., Arnsberger D., Howar F., Rausch A., “Towards the Verification of Safety-Critical Autonomous Systems in Dynamic Environments”, Electron. Proc. Theor. Comput. Sci., 2016, no. 232, 79–90  crossref  mathscinet  isi  scopus
  • Автоматика и телемеханика
    Просмотров:
    Эта страница:193
    Полный текст:71
    Первая стр.:2

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018