?
Обзор применения формальных методов в робототехнике
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2016. № 1 (236). С. 84–107.
Мордвинов Д. А., Литвинов Ю. В.
This paper is a survey of applying formal methods in the robotics field. We consider a number of recent works on robotic behavior specification in terms of temporal logics and using the model checking approach. Formal analysis techniques for Petri nets and robotics systems modeling using those methods are also considered. Verification of hybrid systems, application of process algebras for concurrent systems and other approaches for synthesis and verification of robotics controllers are described. We survey both fundamental papers that lay a foundation for the entire branches of research and recent papers from the top conferences of the last five years hoping to cover most of the actively developed research topics.
Машков К. Ю., Бяков К. Е., Горелов В. А., М.: Издательство МГТУ им. Н.Э. Баумана, 2017.
Дана классификация робототехнических средств военного назначения. Перечислены задачи и цели роботизации войск. Рассмотрены структура и свойства робототехнических средств военного назначения. Для студентов МГТУ им. Н. Э. Баумана, изучающих дисциплину "Проектирование мобильных роботов". ...
Added: August 7, 2026
Корсунский В. А., Бяков К. Е., М.: Издательство МГТУ им. Н.Э. Баумана, 2025.
Описана методика выбора параметров энергетической установки и тяговых электродвигателей мобильного робота на этапе проектирования с использованием программного комплекса MatLab. Для студентов высших учебных заведений, обучающихся по специальностям 23.05.01 «Наземные транспортно-технологические средства», 23.05.02 «Транспортные средства специального назначения», и магистрантов 2 курса, обучающихся по направлению подготовки 23.05.04 «Наземные транспортно-технологические средства». ...
Added: August 7, 2026
IEEE, 2025.
Added: March 2, 2026
Leshakov P., 2025 № 1
В статье анализируется современное состояние и перспективы развития технологий искусственного интеллекта (ИИ) в КНДР. Ожидания того, что ИИ откроет дорогу новому технологическому укладу, предопределили жесткую конкуренцию стран мира за лидерство. С учетом «эффекта масштаба», в нынешних условиях догнать отстающим странам лидеров чрезвычайно сложно. В этом отношении определенный интерес представляет опыт КНДР в развитии технологий ИИ. ...
Added: February 6, 2026
Application Layer Protocol for a Heterogeneous Group of Mobile Robots in Search and Rescue Scenarios
Magid E., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 4 P. 1879–1891
Search and rescue (SaR) robotics is a fast-growing domain of academic research and field applications. Robots are widely used in various tasks before, during and after a disaster outbreak. SaR missions require fast hardware deployment, should rely on robust systems and tend employing groups of collaborating robots, which increase overall system performance and reliability. Heterogeneous ...
Added: November 25, 2025
Magid E., Abbyasov B., Lavrenov R. et al., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 5 P. 2382–2395
Urban Search and Rescue (USAR) robotics deals with emergent situations that occur in urban environments due to natural and human-made disasters. To support early stages of algorithms’ testing and evaluation, we developed an easy to use USAR simulation tool (LIRS-USim) that models typical USAR missions within the Gazebo simulator. The proposed robot operating system based ...
Added: November 25, 2025
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
In this paper, an imperative programming language considering some hardware limitations of a computer based on the RV32I instruction set is defined, including its syntax and semantics in a form of Hoare logic. The need for such language comes from the fact that formal proofs conducted for programs in languages not considering hardware limitations cannot ...
Added: November 5, 2025
Анташева М. С., Dimov G., В кн.: Саммиты БРИКС и ШОС: устойчивое развитие.: М.: Российский государственный гуманитарный университет, 2025. С. 13–25.
The article analyzes the level of publication activity in the field of industrial robotics worldwide. The digital technologies' rapid development influences on the software and hardware complex of industrial robots, providing in leading economies the expansion of their application and an increase in the level of industrial robotization. The Russian industrial robot market is characterized ...
Added: June 23, 2025
Ковалев Д. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XXIII Международной конференции, посвящённой 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2024. С. 74–78.
В работе определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время, проведение ...
Added: April 28, 2025
С. М. Авдошин, А. М. Литвиненко, Информационные технологии 2025 Т. 31 № 1 С. 42–55
Smart contracts are software algorithms that represent an agreement in digital form with a mechanism for forcing the parties to fulfill their obligations. Smart contracts are already firmly entrenched in the fields of finance, but this is not the only possible field of application. The disadvantage of such a digital agreement is that smart contracts ...
Added: January 23, 2025
Савельева М. В., Смушкин А. Б., Soldatkina O., Вестник Санкт-Петербургского университета. Серия 14. Право 2024 Т. 15 № 4 С. 1026–1042
The authors substantiate that in the conditions of modern digitalization of all spheres of ac-tivity, there is an urgent need to introduce a single digital system into the activities of law enforcement agencies, which would represent a certain structural subsystem of digital plat-forms of several departments, such as the court, police, prosecutor’s office, Investigating com-mittee, ...
Added: January 8, 2025
Томск: В-Спектр, 2023.
Сборник содержит материалы докладов, представленных на XIХ Международной научно-практической
конференции «Электронные средства и системы управления» (г. Томск, 15–17 ноября 2023 г.), по следующим направлениям: радиотехнические и телекоммуникационные системы; наноэлектроника СВЧ, интеллектуальные системы проектирования, автоматизация проектирования электронных устройств и систем; космические радиоэлектронные устройства; нанотехнологии в электронике; антенны и микроволновые устройства; приборы и методы контроля; нелинейная оптика; интеллектуальная ...
Added: February 10, 2024
Zagidullin L., Tsoy T., Hsia K. et al., , in: Frontiers in Robotics and Electromechanics.: Springer, 2023. Ch. 5 P. 61–75.
Humanoid robots target to remove human labor from multiple working environments including the ones that were initially constructed for a human. Robot limbs operation requires solving an inverse kinematics problem, and a standard solution could involve algebraic, geometric, or numerical approaches. This paper presents two brute-force off-line approaches for a Robotis OP2 humanoid upper limb ...
Added: November 25, 2023
Iskhakova A., Abbyasov B., Mironchuk T. et al., , in: Frontiers in Robotics and Electromechanics.: Springer, 2023. Ch. 10 P. 147–161.
Added: November 25, 2023
Springer, 2023.
This book introduces intellectual control systems and electromechanics of heterogeneous robots. The book uncovers fundamental principles of robot control and recent developments in software and hardware of robots. The book presents solutions and discusses problems of single robotic devices as well as heterogeneous robotic teams while performing technological tasks that require informational, physical or energetic ...
Added: November 25, 2023
Springer, 2023.
This book addresses many applications of artificial intelligence in robotics, namely AI using visual and motional input. Robotic technology has made significant contributions to daily living, industrial uses, and medicinal applications. Machine learning, in particular, is critical for intelligent robots or unmanned/autonomous systems such as UAVs, UGVs, UUVs, cooperative robots, and so on. Humans are ...
Added: November 25, 2023
Fedyunina A., Gorodnyi N., Simachev Y. V., ЭКО 2024 Т. 54 № 2 С. 91–107
As a result of the imposition of strict sanctions on the Russian economy, several Russian high-tech markets have faced significant challenges. One of them is the Russian industrial robotics market, from which leading foreign players have withdrawn, and imports from several top robot-producing countries have been prohibited. The situation is further complicated by the fact ...
Added: November 2, 2023
Староватова Д. А., Journal of New Economy 2023 Т. 24 № 1 С. 81–103
Scholarly literature on the economic consequences of robotisation at the microeconomic level often does not take into account the pronounced digital gap between small and medium-sized businesses and large ones. In this regard, theoretical and real estimates may differ for companies of different sizes. The article studies the relationship between robotisation and labour productivity in ...
Added: October 11, 2023
Ruzhanskaya L., Kuzyk M., Simachev Y. V. et al., Вопросы экономики 2023 № 9 С. 5–28
Despite clear progress in digitalization, Russia significantly lags behind global leaders in the use of digital technologies, including robots, artificial intelligence and 3D printing. In this study, we use the organizational characteristics of Russian industrial companies and the role of innovation diffusion channels to explain the digitalization factors of Russian industrial enterprises. The database is ...
Added: September 1, 2023
Тихонова А. А., Самойлов А. А., Ильина О. А. et al., Радиоактивные отходы 2022 № 4 (21) С. 90–102
Effective decommissioning of nuclear legacy facilities depends directly on the applied engineering methods providing decontamination, dismantlement and RW management. The effectiveness of widely known and commonly applied methods cannot be seen as a constant value since it is governed by multiple factors, including the specific characteristics of the considered facilities. Pre-decommissioning stage should also consider ...
Added: February 2, 2023
Товарищество научных изданий КМК, 2022.
Содержит тексты докладов сипозиума. ...
Added: September 1, 2022